page 1 of top

·
288 points
·
160 comments
·
5¾ hours ago 

formalizing fermatx27s last theorem
·
525 points
·
330 comments
·
9 hours ago 
⏱️ 7 minutes

discovery of a new openai agent message board
·
1518 points
·
1205 comments
·
15¾ hours ago 
⏱️ 3 minutes

artificial analysis intelligence index v42
·
71 points
·
17 comments
·
3¾ hours ago 
⏱️ 3 minutes

·
181 points
·
61 comments
·
7¼ hours ago 

gpt6 astra on openrouter
·
139 points
·
73 comments
·
6¼ hours ago 

can ai design circuit boards yet
·
186 points
·
120 comments
·
8 hours ago 
⏱️ 5 minutes

shutting down our public encrypted dns
·
271 points
·
121 comments
·
8¾ hours ago 

can guitar frets perform multiplication
·
42 points
·
12 comments
·
5¼ hours ago 
⏱️ 20 minutes

portal by spotify cut my claude code token usage by 90
·
52 points
·
23 comments
·
4¼ hours ago 
⏱️ 5 minutes

·
248 points
·
87 comments
·
10½ hours ago 

rsa260 factorized
·
72 points
·
33 comments
·
1½ days ago 

git submodules as a package manager
13 points
·
2 comments
·
3½ days ago 
⏱️ 5 minutes

13 points
·
5 comments
·
3½ days ago 
⏱️ 17 minutes

·
68 points
·
18 comments
·
7½ hours ago 
⏱️ 5 minutes

·
73 points
·
53 comments
·
2½ days ago 

fermatx27s last theorem in lean 4
·
75 points
·
15 comments
·
8¾ hours ago 
⏱️ 4 minutes

government rails site hit hours after cve patch
·
77 points
·
24 comments
·
8¾ hours ago 
⏱️ 8 minutes

recordhigh 89 in us say government corruption widespread
·
232 points
·
173 comments
·
5¾ hours ago 
⏱️ 3 minutes

·
27 points
·
2 comments
·
6 hours ago 
⏱️ 5 minutes

This page was generated in 928 milliseconds at 2026-09-05T03:48:40Z.