Barely typed
arrdem.com
A personal blog focused on programming, type theory, and related technical topics with a dry, playful tone.
A personal site that wears its type theory on its sleeve, with a title that reads like a theorem about bottom. It likely collects essays or notes on programming and formal logic, written with a dry, technical humor. Readers who enjoy independent technical blogs will find a like-minded corner of the small web.
Checked with Google Web Risk · 2 hours ago
- language
- EN
- here since
- August 2026