January 19, 2026
Building Languages to Solve Problems
When a problem is complex enough, the right move is to build a language for that problem. SICP's most powerful idea.
Programming Languages
Browse posts by category
December 16, 2025
Rerum: Pattern Matching and Term Rewriting in Python
A Python library for symbolic computation with a readable DSL, pattern matching, and a security model that separates rules from computation.
July 15, 2025
chop: When Every Command Returns the Same Kind of Thing
27 image commands, one constraint: read JSON, write JSON. The closure property as a generative design principle.
November 20, 2024
JSL: A Functional Language Where Code Is JSON
A Lisp-like functional language designed for network transmission. JSL makes JSON serialization a first-class design principle, so closures, continuations, and entire computation states can travel over the wire.
April 1, 2024
Apertures: A Language with Holes
When the problem is coordinating computation across parties who can't share data, the SICP move is to build a language for it. Apertures adds one primitive — holes — to a Lisp, and gets pausable, resumable evaluation for free.