Automated edits - OpenStreetMap Wiki

Changeset: 28959614

OpenStreetMap is a map of the world, created by people like you and free to use under an open license.

Changeset: 152201259

OpenStreetMap is a map of the world, created by people like you and free to use under an open license.

Changeset: 148876233

OpenStreetMap is a map of the world, created by people like you and free to use under an open license.

Edit lenses

A lens is a bidirectional transformation between a pair of connected data structures, capable of translating an edit on one structure into an appropriate edit on the other. Many varieties of lenses have been studied, but none, to date, has offered a satisfactory treatment of how edits are represented. Many foundational accounts only consider edits of the form "overwrite the whole structure," leading to poor behavior in many situations by failing to track the associations between corresponding parts of the structures when elements are inserted and deleted in ordered lists, for example. Other theories of lenses do maintain these associations, either by annotating the structures themselves with change information or using auxiliary data structures, but every extant theory assumes that the entire original source structure is part of the information passed to the lens.We offer a general theory of edit lenses, which work with descriptions of changes to structures, rather than with the structures themselves. We identify a simple notion of "editable structure"--a set of states plus a monoid of edits with a partial monoid action on the states--and construct a semantic space of lenses between such structures, with natural laws governing their behavior. We show how a range of constructions from earlier papers on "state-based" lenses can be carried out in this space, including composition, products, sums, list operations, etc. Further, we show how to construct edit lenses for arbitrary containers in the sense of Abbott, Altenkirch, and Ghani. Finally, we show that edit lenses refine a well-known formulation of state-based lenses, in the sense that every state-based lens gives rise to an edit lens over structures with a simple overwrite-only edit language, and conversely every edit lens on such structures gives rise to a state-based lens.

GitHub - hmans/beans: A CLI-based, flat-file issue tracker for humans and robots. 🤖

A CLI-based, flat-file issue tracker for humans and robots. 🤖 - hmans/beans

EpicGames/lore

Lore is a next-generation, open source revision control system

Rapid - OpenStreetMap Wiki

Fast PixiJS based renderer developed and maintained by a professional team featuring AI-generated data and authoritative open map dataset catalog for users to validate.

J Wiki

Welcome to the J wiki. See About for an overview of the wiki and how to edit the pages.

Creating “Edit” Links That Open Plain-Text Source Files in a Native App

Writing about the big beautiful mess that is making things for the world wide web.

Zed now predicts your next edit with Zeta, our new open model

From the Zed Blog: A tool that predicts your next move. Powered by Zeta, our new open-source, open-data language model.

Lies I was Told About Collaborative Editing, Part 2: Why we don't use Yjs / Moment devlog

In part 1 of this series, we found that users generally view the most popular collaborative text editing algorithms (including the most popular library, Yjs) as silently corrupting their documents when the algorithms resolve direct editing conflicts. We argued that, while this is potentially ok for live collaborative editing (since presence cursors help users to avoid direct editing conflicts), this property makes them generally wholly inappropriate for the offline case, as users will have no ability to avoid such conflicts.

FacilMap

A fully-featured OpenStreetMap-based map where markers and lines can be added with live collaboration.

Nenex: A Neural Personal Wiki Idea

Proposal for a personal wiki built on neural nets: all edits are logged & used to finetune a NN assistant in realtime.