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.
I'm Ian, a software engineer and entrepreneur based in The Netherlands. I'm an engineer at Mercury, a financial technology company that develops bank products for startups of all sizes. I write about engineering, cooking, and life.
Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.
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.
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.
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.
When you salt matters as much as how much you salt. Understanding the timing changes everything.
A look at the Trump administration\
An exploration of how institutional decisions and systemic policies can cause widespread harm with less accountability than direct violence, examining cases from healthcare to education where bureaucratic choices have life-altering consequences despite being treated as mere business decisions.
A poem
A collection of memories