Hacker News – Telegram
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
Schools Are Deploying Digital Surveillance Systems. The Results Are Alarming
Article, Comments
Joyent Public Cloud EOL
Article, Comments