Hacker News – Telegram
The IA Client – The Swiss Army Knife of Internet Archive
Article, Comments
Writing a formally-verified image browser in Coq and Haskell (2017)
Article, Comments
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure
Article, Comments
Web Programming with Continuations (2002) [pdf]
Article, Comments