The Nerve Blog

To be a better programmer, write little proofs in your head

Baking the Y Combinator from scratch, Part 2: Recursion and its consequences

Quick, stable, self-contained: how we think about CI at Nerve

Learning from video games

Baking the Y Combinator from scratch, Part 1

A crash course in package management, Node, and Yarn v2

A brief meditation on formal systems and lying goblins