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
💩11🖕7🌭2