Hacker News – Telegram
D compilation is too slow and I am forking the compiler
Article, Comments
XDP: 1.5 years in production [pdf]
Article, Comments
CakeML – A Verified Implementation of ML
Article, Comments
An Analysis of the ProtonMail Cryptographic Architecture [pdf]
Article, Comments