2196
GPT-6 Astra
2013
openai.com
1833
Discovery of a new OpenAI agent message board
1402
collusion.wiki
663
Formalizing Fermat's Last Theorem
415
anthropic.com
610
Actively exploited sandbox RCE in all Chromium versions
335
nvd.nist.gov
381
Shutting down our public encrypted DNS
177
mullvad.net
373
Nitter has more working instances than before the takedowns
139
codeberg.org
350
Statichost.eu – European static site hosting
155
statichost.eu
325
Show HN: Open-Source eInk Bike Computer
108
opentrailpaper.com
296
IBM Bob
305
bob.ibm.com
295
Can AI design circuit boards yet?
177
eebench.org
259
GPT-6 Astra on OpenRouter
164
openrouter.ai
232
AI handles incidents, engineers lose touch with their systems
205
sylvainkalache.com
178
Portal by Spotify cut my Claude Code token usage by 90%
89
engineering.atspotify.com
165
Ask HN: Resources to get good at soldering?
95
news.ycombinator.com
157
Show HN: TERMy – A fast terminal assistant that does not use LLMs
41
github.com
154
The Rust React Compiler is now native in Vite
40
blog.master.dev
144
Netherlands pulls gold out of the US for fears of 'geopolitical unrest'
89
abc.net.au
138
Git hosting that never leaves Europe
78
pushin.eu
130
Artificial Analysis Intelligence Index v4.2
54
artificialanalysis.ai
128
Fermat's Last Theorem in Lean 4
25
github.com
104
Government Rails Site Hit Hours After CVE Patch
35
rietta.com
103
An open DNS recursive service for free security and high privacy
31
quad9.net
102
Can guitar frets perform multiplication?
28
charlespetzold.com
70
Git Submodules as a Package Manager
11
nesbitt.io
45
Pentagon rescinds new testosterone screening policy without explanation
23
arstechnica.com
34
Kale: A Transformation-Safe Spreadsheet System
11
arxiv.org
30
Pointing at the error: compiler-style diagnostics in uutils coreutils
3
uutils.org
26
Sky Map 2000 – Star Atlas and Planetarium
4
skymap2000.com
16
Terpstra Keyboard
5
terpstrakeyboard.com
13
The "$60 Gaming PC" – AMD BC-250 (2025)
5
devquasar.com