Hacker News – Telegram
New Foundations is consistent – a difficult mathematical proof proved using Lean
Article, Comments
🌭1
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
Article, Comments
🥰2🌭1
The Beautiful Dissociation of the Japanese Language
Article, Comments
🗿6🔥1🌭1
Rabbit R1 source code [part 1]
Article, Comments
😁13🤯3👍1🌭1
FTC Announces Rule Banning Noncompetes
Article, Comments
🔥21🥰3🤔2👍1🌭1
Reverse engineering a software crack
Article, Comments
🌭85
Google fires more workers who protested its deal with Israel
Article, Comments
🤣33🤬32🔥3🆒2👾2👎1👏1😁1🌭1🖕1