1539
Discovery of a new OpenAI agent message board
1229
collusion.wiki
531
Formalizing Fermat's Last Theorem
332
anthropic.com
323
Actively exploited sandbox RCE in all Chromium versions
181
nvd.nist.gov
275
Shutting down our public encrypted DNS
122
mullvad.net
255
Record-High 89% in U.S. Say Government Corruption Widespread
197
news.gallup.com
251
Show HN: Open-Source eInk Bike Computer
87
opentrailpaper.com
239
IBM Bob
272
bob.ibm.com
188
Statichost.eu – European static site hosting
63
statichost.eu
187
Can AI design circuit boards yet?
121
eebench.org
147
GPT-6 Astra on OpenRouter
77
openrouter.ai
123
The Rust React Compiler is now native in Vite
24
blog.master.dev
120
deSEC – Free Secure DNS
42
desec.io
100
Show HN: TERMy – A fast terminal assistant that does not use LLMs
29
github.com
81
RSA-260 Factorized
36
twitter.com
79
Government Rails Site Hit Hours After CVE Patch
24
rietta.com
76
Artificial Analysis Intelligence Index v4.2
19
artificialanalysis.ai
75
Ask HN: Resources to get good at soldering?
53
news.ycombinator.com
75
Fermat's Last Theorem in Lean 4
15
github.com
69
An open DNS recursive service for free security and high privacy
19
quad9.net
55
Portal by Spotify cut my Claude Code token usage by 90%
23
engineering.atspotify.com
47
Decompiler Explorer
1
dogbolt.org
43
Can guitar frets perform multiplication?
12
charlespetzold.com
31
Nitter has more working instances than before the takedowns
8
codeberg.org
30
Icons as a Service
2
nravic.com
30
Updates on HEIR, the Homomorphic Encryption Compiler Project
0
jeremykun.com
22
ExactTex. A gradually-typed superset of LaTeX
2
github.com
20
Show HN: Moadim.io – A scheduler for agents
11
moadim.io
20
Connecting every app to every other app
2
blog.val.town
14
Git Submodules as a Package Manager
3
nesbitt.io
14
Bugs happen: The easy way to compare solo PQ to ECC+PQ
5
blog.cr.yp.to