About CV Git Now gunduzc.r20y.net
I'm just another enthusiast of foundational mathematics. And free software, sometimes.
There are exactly 0 words generated by LLMs on this site.
gunduzc@r20y.net
lobste.rs/~gunduzc
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.r20y.net is marked with CC0.
"Simplicity is a prerequisite for reliability."
- Edsger W. Dijkstra