-
391
Formalizing Fermat's Last Theorem
(anthropic.com)
-
116
Statichost.eu – European static site hosting
(statichost.eu)
-
47
Actively exploited sandbox RCE in all Chromium versions
(nvd.nist.gov)
-
1397
Discovery of a new OpenAI agent message board
(collusion.wiki)
-
36
GPT-6 Astra on OpenRouter
(openrouter.ai)
-
108
Can AI design circuit boards yet?
(eebench.org)
-
196
Shutting down our public encrypted DNS
(mullvad.net)
-
202
Show HN: Open-Source eInk Bike Computer
(opentrailpaper.com)
-
38
An open DNS recursive service for free security and high privacy
(quad9.net)
-
60
Government Rails Site Hit Hours After CVE Patch
(rietta.com)
-
30
RSA-260 Factorized
(twitter.com)
-
40
Fermat's Last Theorem in Lean 4
(github.com)
-
92
The Rust React Compiler is now native in Vite
(blog.master.dev)
-
14
Digital Sovereignty Is Written in PHP
(thephp.foundation)
-
9
Updates on HEIR, the Homomorphic Encryption Compiler Project
(jeremykun.com)
-
25
How to Create a Tor Exit Node
(madpsy.uk)
-
206
IBM Bob
(bob.ibm.com)
-
95
deSEC – Free Secure DNS
(desec.io)
-
373
Solving the Jane Street reverse engineering challenge
(jestoph.com)
-
19
The Wormhole Hall of Shame
(rznicolet.com)
-
20
Fomu An FPGA board that fits inside your USB port
(crowdsupply.com)
-
287
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
(torrentfreak.com)
-
55
Project HydraFusion: Frontier quality via multi-model orchestration
(github.blog)
-
22
Deadpan Photography: Enjoying the Pretence
(photoni.st)
-
21
Record-High 89% in U.S. Say Government Corruption Widespread
(news.gallup.com)
-
6
Some more thoughts on random_page_cost
(vondra.me)
-
51
"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 -
80
Show HN: TERMy – A fast terminal assistant that does not use LLMs
(github.com)
-
3
Icons as a Service
(nravic.com)