-
325
Formalizing Fermat's Last Theorem
(anthropic.com)
-
56
Statichost.eu – 100% European static site hosting
(statichost.eu)
-
1348
Discovery of a new OpenAI agent message board
(collusion.wiki)
-
74
Can AI design circuit boards yet?
(eebench.org)
-
168
Shutting down our public encrypted DNS
(mullvad.net)
-
24
An open DNS recursive service for free security and high privacy
(quad9.net)
-
184
Show HN: Open-Source eInk Bike Computer
(opentrailpaper.com)
-
49
Government Rails Site Hit Hours After CVE Patch
(rietta.com)
-
81
The Rust React Compiler is now native in Vite
(blog.master.dev)
-
27
Fermat's Last Theorem in Lean 4
(github.com)
-
89
deSEC – Free Secure DNS
(desec.io)
-
197
IBM Bob
(bob.ibm.com)
-
10
Fomu An FPGA board that fits inside your USB port
(crowdsupply.com)
-
363
Solving the Jane Street reverse engineering challenge
(jestoph.com)
-
16
How to Create a Tor Exit Node
(madpsy.uk)
-
259
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
(torrentfreak.com)
-
11
The Wormhole Hall of Shame
(rznicolet.com)
-
16
Deadpan Photography: Enjoying the Pretence
(photoni.st)
-
49
Project HydraFusion: Frontier quality via multi-model orchestration
(github.blog)
-
40
People that worked on the same idea for decades
(nityasnotes.com)
-
72
Show HN: TERMy – A fast terminal assistant that does not use LLMs
(github.com)
-
233
Corporate America is getting hooked on open-source AI
(nytimes.com)
-
69
Getting Started with AT Protocol
(bnb.im)
-
134
Elevator of the Year: Modernization of the Metropolis Trust Building
(starelevator.com)
-
36
"Next-token predictor" is the wrong mental model for LLMs
(gmcgoldr.github.io)
-
SubImage (YC W25) Is Hiring a Founding Engineer in SF
(ycombinator.com)
job -
94
The Two Abstractions of System Design: Hide or Reduce
(muratbuffalo.blogspot.com)
-
101
Ok, but does it scale?
(spacetimedb.com)
-
2138
GPT-6 Astra
(openai.com)
-
16
Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'
(millersbookreview.com)