I'm just another enthusiast of foundational mathematics. And free software, sometimes.
There are exactly 0 words generated by LLMs on this site.
How to Remember Anything Forever-ish
Recommended to anyone who would like to learn anything
Software Foundations
Programming Language Foundations in Agda
Programming languages, and how to prove things with them
Cryptopals
Discover why most crypto is fatally broken
smolweb
Websites that are worth building
gunduzc.com is marked with CC0.
"Simplicity is a prerequisite for reliability."
- Edsger W. Dijkstra