Hacker News – Telegram
TorchLean: Formalizing Neural Networks in Lean
Article, Comments
💩53🌭2
Textadept
Article, Comments
2🌭2
California's Digital Age Assurance Act, and FOSS
Article, Comments
💩13🖕8🌭2🤔1