Engineering
Technical writing on software engineering, programming languages, distributed systems, and building reliable software.
2026
-
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 -
Your Best Thinking Is Wasted on the Wrong Decisions
Some engineering decisions punish you for being wrong. Most don't. Learning to tell the difference and calibrate your deliberation accordingly might be the most valuable skill your team never explicitly develops.
stable -
No, Really, Bash Is Not Enough: Why Large-Scale CI Needs an Orchestrator
A deeper dive into why shell scripts cannot replace a proper CI control plane, drawn from years of building and operating CI systems at scale.
stable -
GitHub Actions Is Slowly Killing Your Engineering Team
Why GitHub Actions is the Internet Explorer of CI, and why Buildkite offers a better path forward for teams that care about developer experience.
stable
2025
-
Punycode: My New Favorite Algorithm
A deep dive into how Punycode works, and why I think it's so neat.
stable -
The CRDT Dictionary: A Field Guide to Conflict-Free Replicated Data Types
A comprehensive guide to CRDTs and their tradeoffs, from counters to sequences. Written in the spirit of the Typeclassopedia, exploring how different CRDTs solve the distributed consensus puzzle.
stable -
JSON Schema Demystified: Understanding Schemas, Dialects, Vocabularies, and Metaschemas
An accessible guide to understanding the confusing terminology around JSON Schema. What are schemas, dialects, vocabularies, and metaschemas, and how do they all fit together?
stable -
Event Design for Streaming Systems: A Primer
How to use event streams in an effective, scalable, future-proof way.
stable -
Accidental or Essential? Understanding Complexity in Software Design
Understanding the difference between essential and accidental complexity in software design.
stable
2024
-
Embracing Flexibility in Haskell Libraries: The Power of Records of Functions
Improve the robustness and flexibility of your Haskell apps by changing how you design your libraries.
stable -
Hi, Barbie! Higher kinded records made easy(er)
We often need to make and manipulate derived types that are similar to each other, but not quite the same. Higher-kinded records provide a way to do this in a generic way, but are clunky. We\
stable
2023
-
Haskell Best Practices– Wildcards aren\
An argument for using really exhaustive pattern matching.
stable -
There and Back Again: Turning Haskell functions into RPC calls- Part 2
In the last post, we figured out an interface for the RPC caller to invoke remote Haskell functions. In this post, we\
stable -
There and Back Again: Turning Haskell functions into RPC calls- Part 1
In
stable -
Integrating a large Tokio-based Rust library with Haskell
A lot of the Rust <-> Haskell interop examples out there are for small, synchronous libraries. They also tend to omit how to actually package the Rust library. We\
stable -
One Serialization Class to Rule Them All
Typical serialization libraries in the Haskell ecosystem target a single format. We explore how to provide composite serialization for data types that chooses the best format for each data type.
stable -
OpenTelemetry Gotchas– Phantom Spans
We struggled for several months with a mysterious tracing issue in our production environment. Unrelated web requests were being linked together in the same trace, but we could never see the root trace span. This is the story of how we found and fixed root cause.
stable