Type-safe state machines using type-state
Use type-state in OCaml to make invalid state-machine transitions impossible while keeping the API approachable.
software design
HashSets with zero boilerplate
Make Rust HashSet literals easier to write with array conversions and a small set! macro.
Solving for them vs Solving for us
A reflection on the tension between building tools for your own problems and solving problems that matter to other people.
Structuring large ReScript projects
Lessons from a large ReScript codebase on standard libraries, bindings, package interfaces, and maintainable project structure.
The Best OCaml is the Worst OCaml
An OCaml command-line library shows how powerful abstractions can become difficult to use without approachable APIs and documentation.
Code Evolution: Organic & Artificial
A comparison of organically grown systems and planned architectures, and the tradeoffs between immediate value and long-term design.
An Imaginary Compiler
A short story about a programmer who learns to carry a critical, constructive compiler into every code review.
Easy-to-Write Code Considered Harmful
Code that is easy to write can burden future readers unless its hidden context and assumptions are made explicit.
Why Most Prototypes Suck
Fast prototypes can still be maintainable when their domain concepts are explicit and implementation details stay behind clear boundaries.
On Tolerating Complexity
A hands-on journey from Markdown to a live-updating website argues for understanding and managing complexity rather than hiding it.
Engineering Knowledge: Identity
Global, durable identifiers can help knowledge systems keep their data meaningful as software and ownership change.
Building WebApps Like It's 1972
Revisit older computing ideas to rethink web applications around failure isolation, asynchronous work, and parallel execution.
Designing an Unobtrusive Development Process
A proposal for a lightweight development process that connects code changes, deployment, planning, and team communication.