Sneezecount (2018) 6 by NaOH | 0 comments on Hacker News.
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura 33 by…
Tree-mounted machines connect to web app to let users knock on wood remotely 68 by su…
Opus 5.5 causing an identity crisis is real 11 by stared | 4 comments on Hacker News…
Wealth Inequality in America drawn to scale 162 by haraball | 102 comments on Hacker…
Spain train crash: 'At least 10 dead' in high-speed collision 18 by ultral | …
Gforth 1.0 10 by joshcsimmons | 0 comments on Hacker News.
Social Plugin