A locally owned place for conversation, memory, knowledge and planning—and how a question about a Mac chat client brought years of separate work into the same design.
Read the essay →Recent
-
AI Engineering 0.5.0: A Knowledge Library Built for Reuse
Reworking our engineering framework into composable skills and focused guides, then comparing it with 0.4.1 through real planning, Rust implementation and code audits.
-
Designing Supervision Trees for Recovery
How process dependencies, restart policies and state reconstruction determine whether an Erlang service can recover from a crash.
-
Bringing Types to LFE: Lessons from Haskell, the Typed Lisps, and Gleam
Why we started building a gradual type system for Lisp Flavoured Erlang — a tour through how Haskell, Go, Rust, Typed Racket, Coalton, and Typed Clojure each spell the same small idea, the ergonomic quibbles that pushed us, and the strategic moves we borrowed from Gleam.
-
Graph Theory in LFE: A Knowledge Graph of Erlang Itself
A deep, hands-on tour of graph theory in LFE — built on a real corpus of 1,664 Erlang concept cards, driven by the graffeo library, and unfolded slowly enough to teach the mathematics underneath each query.
Earlier writing