Hacker News with Generative AI

Formalizing Fermat's Last Theorem (anthropic.com)

269 points by jlebar 2 hours ago | 153 comments

Discovery of a new OpenAI agent message board (collusion.wiki)

1289 points by moultano 9 hours ago | 1038 comments

Shutting down our public encrypted DNS (mullvad.net)

133 points by mywacaday 2 hours ago | 33 comments

Can AI design circuit boards yet? (eebench.org)

44 points by iopapa 1 hour ago | 29 comments

Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)

165 points by stingrae 4 hours ago | 54 comments

Government Rails Site Hit Hours After CVE Patch (rietta.com)

37 points by rietta 2 hours ago | 9 comments

An open DNS recursive service for free security and high privacy (quad9.net)

13 points by mooreds 51 minutes ago | 2 comments

The Rust React Compiler is now native in Vite (master.dev)

68 points by acusti 3 hours ago | 12 comments

IBM Bob (bob.ibm.com)

187 points by artpar 8 hours ago | 223 comments

deSEC – Free Secure DNS (desec.io)

81 points by gurjeet 5 hours ago | 30 comments

Solving the Jane Street reverse engineering challenge (jestoph.com)

354 points by anitil 11 hours ago | 81 comments

Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)

223 points by speckx 4 hours ago | 125 comments

Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)

44 points by qainsights 5 hours ago | 26 comments

Statichost.eu – 100% European static site hosting (statichost.eu)

5 points by p4bl0 29 minutes ago | 0 comments

Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)

64 points by gioscarab 12 hours ago | 23 comments

People that worked on the same idea for decades (nityasnotes.com)

34 points by sebg 2 days ago | 16 comments

Corporate America is getting hooked on open-source AI (nytimes.com)

218 points by aaraujo002 5 hours ago | 201 comments

How to Create a Tor Exit Node (madpsy.uk)

6 points by Eridanus2 47 minutes ago | 0 comments

Bin Laden's "Letter to America" (ceu.su)

5 points by kome 53 minutes ago | 0 comments

Deadpan Photography: Enjoying the Pretence (photoni.st)

8 points by NaOH 4 days ago | 4 comments

Elevator of the Year: Modernization of the Metropolis Trust Building (starelevator.com)

131 points by palashawas 4 days ago | 47 comments

Fermat's Last Theorem in Lean 4 (github.com/anthropics)

11 points by aaraujo002 2 hours ago | 3 comments

Getting Started with AT Protocol (bnb.im)

64 points by evakhoury 3 days ago | 23 comments

Ok, but does it scale? (spacetimedb.com)

98 points by theanonymousone 8 hours ago | 61 comments

The Two Abstractions of System Design: Hide or Reduce (blogspot.com)

92 points by ubolonton_ 2 days ago | 10 comments

Qwen 3.8 27B available on Cerebras at 1500 tokens/s (cerebras.ai)

675 points by altertable 1 day ago | 222 comments

GPT-6 Astra (openai.com)

2128 points by kibae 1 day ago | 1935 comments

Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express' (millersbookreview.com)

14 points by benbreen 1 day ago | 4 comments

Resources to Get Good at Soldering? (ycombinator.com)

62 points by tosmatos 2 days ago | 40 comments