Hacker News – Telegram
That's Not an Abstraction, That's Just a Layer of Indirection
Article, Comments
👍11👎2🤓2🥱1🌭1
Ada's Dependent Types, and Its Types as a Whole
Article, Comments
🤯2🌭2🙈2🤮1
PQConnect: Automated Post-Quantum End-to-End Tunnels
Article, Comments
🌭5
CCC 2024 Videos Index
Article, Comments
🎅6👍3🌭1
Machine-Assisted Proof by Terence Tao [pdf]
Article, Comments
👍2🌭2
Free Software Needs Free Tools (2010)
Article, Comments
👍6🌭1