-
277
Formalizing Fermat's Last Theorem
(anthropic.com)
-
1298
Discovery of a new OpenAI agent message board
(collusion.wiki)
-
53
Can AI design circuit boards yet?
(eebench.org)
-
142
Shutting down our public encrypted DNS
(mullvad.net)
-
171
Show HN: Open-Source eInk Bike Computer
(opentrailpaper.com)
-
38
Government Rails Site Hit Hours After CVE Patch
(rietta.com)
-
19
Statichost.eu – 100% European static site hosting
(statichost.eu)
-
15
An open DNS recursive service for free security and high privacy
(quad9.net)
-
72
The Rust React Compiler is now native in Vite
(blog.master.dev)
-
4
Fermat's Last Theorem: Anthropic has beaten me to it
(xenaproject.wordpress.com)
-
84
deSEC – Free Secure DNS
(desec.io)
-
187
IBM Bob
(bob.ibm.com)
-
354
Solving the Jane Street reverse engineering challenge
(jestoph.com)
-
234
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
(torrentfreak.com)
-
9
How to Create a Tor Exit Node
(madpsy.uk)
-
45
Project HydraFusion: Frontier quality via multi-model orchestration
(github.blog)
-
65
Show HN: TERMy – A fast terminal assistant that does not use LLMs
(github.com)
-
15
Fermat's Last Theorem in Lean 4
(github.com)
-
4
The Wormhole Hall of Shame
(rznicolet.com)
-
35
People that worked on the same idea for decades
(nityasnotes.com)
-
221
Corporate America is getting hooked on open-source AI
(nytimes.com)
-
131
Elevator of the Year: Modernization of the Metropolis Trust Building
(starelevator.com)
-
8
Deadpan Photography: Enjoying the Pretence
(photoni.st)
-
SubImage (YC W25) Is Hiring a Founding Engineer in SF
(ycombinator.com)
job -
64
Getting Started with AT Protocol
(bnb.im)
-
99
Ok, but does it scale?
(spacetimedb.com)
-
93
The Two Abstractions of System Design: Hide or Reduce
(muratbuffalo.blogspot.com)
-
2132
GPT-6 Astra
(openai.com)
-
15
Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'
(millersbookreview.com)
-
30
"Next-token predictor" is the wrong mental model for LLMs
(gmcgoldr.github.io)