computational semanticist. into modular synths and rum. aaronstevenwhite.io
computational semanticist. into modular synths and rum. aaronstevenwhite.io
Version control, structured merge, and CRDTs
Patch theory and structured-merge VCS (Roundy Darcs, Mimram-Di Giusto categorical patches, Angiuli-Morehouse-Licata-Harper homotopical patch theory, JDime, GumTree, Schürr triple graph grammars, Git); CRDTs and local-first sync (Shapiro et al., Kleppmann JSON-CRDT, Cambria 2020/2021, Kleppmann Local-First, Designing Data-Intensive Applications); content-addressed storage and distributed databases (Merkle, Dynamo, Cassandra, Dremel, PRISM).
21 cards
1mo
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
2mo
Parsing, structured data, and schema languages
Parser generators and incremental parsing (tree-sitter, packrat, Spoofax, Wagner-Graham); format-preserving round-tripping (Augeas, BiYacc, resugaring, de Jonge-Visser layout preservation); wire-format and configuration-language specs (ATProto Lexicon, FHIR, GraphQL, OpenAPI, JSON Schema, Protocol Buffers, Avro, Parquet, MessagePack, WebAssembly, CUE, Dhall, Nickel, Starlark).
24 cards
2mo
MathSciNet
www.moment.dev
Lies I was Told About Collaborative Editing, Part 2: Why we don't use Yjs / Moment devlog
idiolect.dev
idiolect
panproto.dev
panproto | schematic version control
doi.org
Specification of graph translators with triple graph grammars
doi.org
Fine-grained and accurate source code differencing | Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
doi.org
Structured merge with auto-tuning: balancing precision and performance
idiolect.dev
idiolect
panproto.dev
panproto | schematic version control
github.com
bazelbuild/starlark
nickel-lang.org
Nickel
dhall-lang.org
The Dhall configuration language
cuelang.org
CUE
doi.org
A formulation of the simple theory of types | The Journal of Symbolic Logic | Cambridge Core
doi.org
Principal type-schemes for functional programs | Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
doi.org
Internal type theory
prl.khoury.northeastern.edu
www.cs.cmu.edu
Practical Foundations for Programming Languages
doi.org
The Principal Type-Scheme of an Object in Combinatory Logic on JSTOR