An Introduction to Dependent Types in Lean
Dependent Types and the Curry-Howard Correspondence.
December 24, 2025
A Lambda Calculus Interpreter in Rust
Notes on functional programming and Rust's ownership system.
July 8, 2025
Notes on Anton Chekhov
Reflections from reading a volume of Chekhov's short stories.
March 25, 2025