Essays
Longer-form, opinionated writing across engineering (25), personal (5), and cooking (1).
-
What's in the Box? A Field Guide to AI Models
A beginner-friendly tour of parameters, quantization, MoE, context windows, and other LLM jargon.
stable -
Stealing from Biologists to Compile Haskell Faster
The trick that makes GHC’s ApplicativeDo optimization faster is structurally identical to how biologists predict RNA folding.
stable -
Making Haskell Talk to PostgreSQL Without Suffering
How to eliminate the three performance taxes that make database queries slow: encoding overhead, round-trip latency, and N+1 query patterns.
stable -
Archive: Automatic Optimal Pipelining of Redis Commands
Archived from Informatikr (originally published January 18, 2012). Describes how the Haskell Redis client Hedis achieves automatic and optimal pipelining by combining lazy I/O with a synchronous-looking API, getting the best of both synchronous and asynchronous approaches.
stable -
TIL: HTTP/3 Is Not Always Faster Than HTTP/2
Local benchmarks revealed HTTP/3 can be 50-100x slower than HTTP/2. QUIC's userspace implementation loses to decades of kernel TCP optimizations on high-bandwidth, low-latency networks.
stable -
What Functional Programmers Get Wrong About Systems
Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.
stable -
In Praise of Control Planes, or: Why You Need a Place to Stand
The control plane pattern (a coordinator that tells workers what to do) shows up everywhere good infrastructure exists. The concept is simple. Naming it is useful.
stable
Notes
All notes →Loose, unpolished thinking from my knowledge base. Working with the garage door open.
Workbench
All projects →Tools and libraries under active development.
RFC Browser
An annotated reader for IETF RFCs with enhanced typography and relationship graphs.
GHC Memory Layout Visualizer
Interactive visualization of how GHC lays out Haskell data types on the heap.
Temporal.io Haskell Client
Durable execution for Haskell, in the face of failure.
Haskell OpenTelemetry SDK
Primary author and maintainer of the Haskell OpenTelemetry ecosystem.