02 May 25


The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

by struanr 7 months ago

A collection of resources for learning type theory and type theory adjacent fields.

by struanr 7 months ago

25 Mar 25

23 Jul 24

In this essay, we’ll explore this coincidence and what that means for us as programmers. We’ll follow the path all the way to calculus.

by eli 1 year ago saved 2 times