██FR█████ █INTELL███████████

code-readability

What Sequent Calculus Teaches Us About Computation

July 9, 2025
What Codata, Control Flow, and Logic Teach Us About Programming

July 9, 2025
Sequent Calculus vs CPS: A Compiler’s Perspective on Consumers and Evaluation Strategies

July 9, 2025
Taming the Methodcentipede: Strategies for Writing Simple, Maintainable Code

August 26, 2024
Dev Diary #2: Run Away from Nesting Functions in Your Code

August 24, 2024