Software Engineer · PhD Student TU Dortmund University Conflict-tolerant versioning & local-first collaboration jonas-schuermann.name
Software Engineer · PhD Student TU Dortmund University Conflict-tolerant versioning & local-first collaboration jonas-schuermann.name
Algebraic data, bidirectional transformations, and structured merge
An annotated bibliography across five adjacent lines of research: 1. schemas as algebraic theories; 2. bidirectional lenses and profunctor optics; 3. format-preserving parsing and unparsing; 4. structured-merge version control; and 5. data exchange + cross-protocol translation
130 cards · 3mo
🌬️ ATmosphere projects
Apps, services, and tools built on ATproto. #ATmosphereConf
452 cards · 20h
Cuckoo Logs
Vantage
Takibi from TOKIMEKI
atmoBB Forums
croft.click
Malachite
Tom Seeley: Honeybee Democracy
Power to the edge
cooperative/Formation Documents at main · NorthskySocial/cooperative
Northsky Update #2: Our Cooperative Structure
Vision
Timeline0 - Timeline0
A formulation of the simple theory of types | The Journal of Symbolic Logic | Cambridge Core
Principal type-schemes for functional programs | Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Internal type theory
prl.khoury.northeastern.edu
Practical Foundations for Programming Languages
The Principal Type-Scheme of an Object in Combinatory Logic on JSTOR
