Saturday, May 23, 2026

New best story on Hacker News: Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark

Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark
412 by jetter | 156 comments on Hacker News.


New best story on Hacker News: Formalizing Fermat's Last Theorem

Formalizing Fermat's Last Theorem 426 by jlebar | 275 comments on Hacker News. https://ift.tt/6bWPz07...