My interests include reading, writing, math/mathematical thinking, logic, philosophy, software engineering, functional programming, distributed systems, etc.

posts

• Copium, metacognition, and isolating myself — 9 October, 2026
• Is Data Struct about memory? — 27 July, 2026
• Introduction to the Untyped Lambda Calculus (β-reduction and α-conversion) — 4 November, 2025
• Introduction to Machine Code — 3 November, 2024
• Proving natural numbers are infinity in Coq — 13 August, 2023