2138
GPT-6 Astra
1944
openai.com
1354
Discovery of a new OpenAI agent message board
1099
collusion.wiki
363
Solving the Jane Street reverse engineering challenge
82
jestoph.com
336
Formalizing Fermat's Last Theorem
215
anthropic.com
267
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
154
torrentfreak.com
235
Corporate America is getting hooked on open-source AI
223
nytimes.com
197
IBM Bob
233
bob.ibm.com
186
Show HN: Open-Source eInk Bike Computer
60
opentrailpaper.com
171
Shutting down our public encrypted DNS
60
mullvad.net
135
Elevator of the Year: Modernization of the Metropolis Trust Building
49
starelevator.com
102
Ok, but does it scale?
63
spacetimedb.com
94
The Two Abstractions of System Design: Hide or Reduce
10
muratbuffalo.blogspot.com
90
deSEC – Free Secure DNS
34
desec.io
81
The Rust React Compiler is now native in Vite
15
blog.master.dev
78
Can AI design circuit boards yet?
57
eebench.org
75
Show HN: TERMy – A fast terminal assistant that does not use LLMs
25
github.com
70
Getting Started with AT Protocol
24
bnb.im
65
Statichost.eu – 100% European static site hosting
17
statichost.eu
51
Government Rails Site Hit Hours After CVE Patch
13
rietta.com
49
Project HydraFusion: Frontier quality via multi-model orchestration
28
github.blog
41
People that worked on the same idea for decades
20
nityasnotes.com
40
"Next-token predictor" is the wrong mental model for LLMs
91
gmcgoldr.github.io
30
Fermat's Last Theorem in Lean 4
6
github.com
27
An open DNS recursive service for free security and high privacy
7
quad9.net
17
How to Create a Tor Exit Node
13
madpsy.uk
17
Deadpan Photography: Enjoying the Pretence
7
photoni.st
16
Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'
3
millersbookreview.com
13
The Wormhole Hall of Shame
8
rznicolet.com
11
Fomu An FPGA board that fits inside your USB port
1
crowdsupply.com
1
SubImage (YC W25) Is Hiring a Founding Engineer in SF
0
ycombinator.com