Reason Under Pressure
Essays on software development, logic and mathematics.
Building a Proof Assistant - Part I
January 9th, 2025
Post description
The Essence of Abstraction
January 28th, 2024
A deep dive in one of the most important concepts in software development.