1482
Discovery of a new OpenAI agent message board
1191
collusion.wiki
493
Formalizing Fermat's Last Theorem
319
anthropic.com
394
Solving the Jane Street reverse engineering challenge
87
jestoph.com
252
Shutting down our public encrypted DNS
100
mullvad.net
236
Actively exploited sandbox RCE in all Chromium versions
136
nvd.nist.gov
232
Show HN: Open-Source eInk Bike Computer
78
opentrailpaper.com
226
IBM Bob
261
bob.ibm.com
189
Record-High 89% in U.S. Say Government Corruption Widespread
118
news.gallup.com
174
Statichost.eu – European static site hosting
54
statichost.eu
164
Can AI design circuit boards yet?
107
eebench.org
121
GPT-6 Astra on OpenRouter
64
openrouter.ai
112
The Rust React Compiler is now native in Vite
22
blog.master.dev
112
deSEC – Free Secure DNS
40
desec.io
75
Government Rails Site Hit Hours After CVE Patch
22
rietta.com
65
Fermat's Last Theorem in Lean 4
15
github.com
63
An open DNS recursive service for free security and high privacy
14
quad9.net
61
RSA-260 Factorized
26
twitter.com
47
Artificial Analysis Intelligence Index v4.2
14
artificialanalysis.ai
42
How to Create a Tor Exit Node (2015)
18
madpsy.uk
36
Portal by Spotify cut my Claude Code token usage by 90%
9
engineering.atspotify.com
33
Decompiler Explorer
1
dogbolt.org
27
Can guitar frets perform multiplication?
6
charlespetzold.com
24
Updates on HEIR, the Homomorphic Encryption Compiler Project
0
jeremykun.com
21
Icons as a Service
0
nravic.com
15
Reversing MikroTik's Silent Patch: The RouterOS 7.23.4 Fix They Wouldn't Explain
2
npratley.net
12
ExactTex. A gradually-typed superset of LaTeX
0
github.com
10
When declaring an incident becomes everyone's favorite workaround
0
greatcircle.com
10
Connecting every app to every other app
0
blog.val.town
9
Show HN: Moadim.io – A scheduler for agents
4
moadim.io
8
Nitter has more working instances than before the takedowns
0
codeberg.org