https://willmcpherson2.substack.com/p/inline-your-runtime/comments
Comments - Inline Your Runtime - willmcpherson2
Inlining is the mother of all optimisations
commentsinlineruntime
https://willmcpherson2.substack.com/p/curry-howard-denialism/comments
Comments - Curry-Howard Denialism - willmcpherson2
The Curry-Howard correspondence is the observation that writing a computer program is equivalent to writing a mathematical proof.
commentscurryhowarddenialism