❓
page 1 of top
dark mode
formalizing fermatx27s last theorem
Formalizing Fermat's Last Theorem
(anthropic.com)
Ⓝ
Ⓑ
·
40 points
·
7 comments
·
22 minutes ago 
by jlebar
⏱️ 7 minutes
discovery of a new openai agent message board
Discovery of a new OpenAI agent message board
(collusion.wiki)
Ⓝ
Ⓑ
Ⓐ
Ⓒ
·
1038 points
·
805 comments
·
7¼ hours ago 
by moultano
⏱️ 3 minutes
Show HN: Open-​Source eInk Bike Computer
(opentrailpaper.com)
Ⓝ
Ⓑ
Ⓐ
·
94 points
·
28 comments
·
1¾ hours ago 
by stingrae
project hydrafusion frontier quality via multimodel orchestration
Project HydraFusion: Frontier quality via multi-​model orchestration
(github.blog)
Ⓝ
Ⓑ
Ⓐ
·
38 points
·
14 comments
·
2¾ hours ago 
by qainsights
shutting down our public encrypted dns
Shutting down our public encrypted DNS
(mullvad.net)
Ⓝ
Ⓑ
·
15 points
·
0 comments
·
14 minutes ago 
by mywacaday
The Rust React Compiler is now native in Vite
(master.dev)
Ⓝ
Ⓑ
·
14 points
·
1 comment
·
1¼ hours ago 
by acusti
GPT-​6 Astra
(openai.com)
Ⓑ
Ⓐ
Ⓒ
·
2103 points
·
1911 comments
·
1 day ago 
by kibae
IBM Bob
(ibm.com)
Ⓝ
Ⓑ
Ⓐ
Ⓒ
·
138 points
·
151 comments
·
6¼ hours ago 
by artpar
⏱️ 1 minute
Solving the Jane Street reverse engineering challenge
(jestoph.com)
Ⓑ
Ⓐ
Ⓒ
·
313 points
·
74 comments
·
8¾ hours ago 
by anitil
⏱️ 13 minutes
nobody is saying why openai and anthropic had outages
Nobody Is Saying Why OpenAI and Anthropic Had Outages
(wired.com)
Ⓝ
Ⓑ
Ⓐ
·
112 points
·
79 comments
·
1½ hours ago 
by jslakro
⏱️ 1 minute
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
(torrentfreak.com)
Ⓝ
Ⓑ
Ⓐ
Ⓒ
·
73 points
·
31 comments
·
2¼ hours ago 
by speckx
⏱️ 4 minutes
deSEC – Free Secure DNS
(desec.io)
Ⓝ
Ⓑ
Ⓐ
·
28 points
·
12 comments
·
3½ hours ago 
by gurjeet
People that worked on the same idea for decades
(nityasnotes.com)
5 points
·
3 comments
·
1½ days ago 
by sebg
⏱️ 1 minute
show hn termy a fast terminal assistant that does not use llms
Show HN: TERMy – A fast terminal assistant that does not use LLMs
(github.com)
Ⓑ
Ⓐ
·
11 points
·
1 comment
·
10 hours ago 
by gioscarab
⏱️ 5 minutes
The Two Abstractions of System Design: Hide or Reduce
(muratbuffalo​.blogspot.com)
Ⓒ
·
85 points
·
9 comments
·
2½ days ago 
by ubolonton_
⏱️ 2 minutes
arrested for a late manuscript seicho matsumotox27s x27tokyo expressx27
Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'
(millersbookreview​.com)
3 points
·
0 comments
·
23¾ hours ago 
by benbreen
⏱️ 6 minutes
elevator of the year winner modernization of the metropolis trust building
Elevator of the Year Winner Modernization of the Metropolis Trust Building
(starelevator.com)
Ⓒ
·
123 points
·
45 comments
·
3½ days ago 
by palashawas
getting started with at protocol
Getting Started with AT Protocol
(bnb.im)
48 points
·
15 comments
·
2½ days ago 
by evakhoury
⏱️ 3 minutes
SubImage (YC W25) Is Hiring a Founding Engineer in SF
(ycombinator.com)
1 point
·
0 comments
·
7 hours ago 
by alexchantavy
⏱️ 1 minute
qwen 38 27b available on cerebras at 1500 tokenss
Qwen 3.8 27B available on Cerebras at 1500 tokens/​s
(cerebras.ai)
Ⓑ
Ⓐ
Ⓒ
·
665 points
·
218 comments
·
1 day ago 
by altertable
page 2
new best active classic
This page was generated in 6.318 seconds at 2026-09-04T19:04:23Z.