Discovery of a new OpenAI agent message board
1730
about 23 hours ago
Formalizing Fermat's Last Theorem
619
about 16 hours ago
Actively exploited sandbox RCE in all Chromium versions
508
about 13 hours ago
Shutting down our public encrypted DNS
350
about 16 hours ago
Statichost.eu – European static site hosting
297
about 14 hours ago
Show HN: Open-Source eInk Bike Computer
289
about 17 hours ago
IBM Bob
271
about 22 hours ago
Can AI design circuit boards yet?
263
about 15 hours ago
GPT-6 Astra on OpenRouter
231
about 13 hours ago
Portal by Spotify cut my Claude Code token usage by 90%
142
about 11 hours ago
The Rust React Compiler is now native in Vite
140
about 17 hours ago
deSEC – Free Secure DNS
135
about 19 hours ago
Artificial Analysis Intelligence Index v4.2
120
about 10 hours ago
RSA-260 Factorized
116
2 days ago
Fermat's Last Theorem in Lean 4
111
about 16 hours ago