Formalizing Fermat's Last Theorem
677
about 21 hours ago
Actively exploited sandbox RCE in all Chromium versions
630
about 18 hours ago
Shutting down our public encrypted DNS
397
about 21 hours ago
Statichost.eu – European static site hosting
370
about 19 hours ago
Show HN: Open-Source eInk Bike Computer
336
about 22 hours ago
IBM Bob
303
1 day ago
Can AI design circuit boards yet?
303
about 20 hours ago
GPT-6 Astra on OpenRouter
268
about 18 hours ago
Portal by Spotify cut my Claude Code token usage by 90%
192
about 16 hours ago
Git hosting that never leaves Europe
169
about 9 hours ago
Global warming will exceed 1.5-degree limit, UN says
155
about 3 hours ago
The "$60 Gaming PC" – AMD BC-250 (2025)
73
about 2 hours ago
There's No Limit to How Bad Code Can Get
65
about 1 hour ago
Terpstra Keyboard
42
about 5 hours ago