Tech News

Fermat's Last Theorem in Lean 4

Score: 126 | Comments: 25

hackernews Sep 04, 2026 Read more →

Shutting down our public encrypted DNS

Score: 375 | Comments: 173

hackernews Sep 04, 2026 Read more →

Formalizing Fermat's Last Theorem

Score: 653 | Comments: 413

hackernews Sep 04, 2026 Read more →

The Rust React Compiler is now native in Vite

Score: 152 | Comments: 39

hackernews Sep 04, 2026 Read more →

Show HN: Open-Source eInk Bike Computer

Score: 313 | Comments: 106

hackernews Sep 04, 2026 Read more →

IBM Bob

Score: 7 | Comments: 7

hackernews Sep 04, 2026 Read more →

Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region

Score: 10 | Comments: 2

hackernews Sep 04, 2026 Read more →

Nearly impossible? How Fairphone built the ethical, repairable Fairphone Gen 6+

Score: 11 | Comments: 8

hackernews Sep 04, 2026 Read more →

Ok, but Does It Scale?

Score: 9 | Comments: 0

hackernews Sep 04, 2026 Read more →

Discovery of a new OpenAI agent message board

Score: 191 | Comments: 106

hackernews Sep 04, 2026 Read more →

Smolts: A pedagogical IDE for a teaching language

Score: 5 | Comments: 0

hackernews Sep 04, 2026 Read more →

O&O ShutUp10 – The antispy tool for Windows 10 and 11

Score: 38 | Comments: 14

hackernews Sep 04, 2026 Read more →

Solving the Jane Street Reverse Engineering Challenge

Score: 145 | Comments: 45

hackernews Sep 04, 2026 Read more →

Show HN: TERMy – A fast terminal assistant that does not use LLMs

Score: 155 | Comments: 40

hackernews Sep 04, 2026 Read more →

Carbon-aware electricity pricing, measured daily on 38 grids

Score: 67 | Comments: 47

hackernews Sep 04, 2026 Read more →

Hackers Had a Live Feed of Every ID Verification Company Scanned for over a Year

Score: 300 | Comments: 115

hackernews Sep 04, 2026 Read more →

John Margolies' photographs of roadside America

Score: 99 | Comments: 31

hackernews Sep 04, 2026 Read more →

Project Xanadu: Even More Hindsight (2025)

Score: 96 | Comments: 27

hackernews Sep 04, 2026 Read more →

Which tools do Claude, Codex and Cursor choose? We measured 17k runs to find out

Score: 251 | Comments: 117

hackernews Sep 03, 2026 Read more →

GPT-6 Astra

Score: 1926 | Comments: 1735

hackernews Sep 03, 2026 Read more →