❓
page 6 of top
light mode
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
(thedataexchange​.media)
11 points
·
0 comments
·
10¾ hours ago 
by datascientist
alphabet heads for a 500b drop in market value biggest in its history
Alphabet heads for a $500B drop in market value, biggest in its history
(yahoo.com)
Ⓑ
Ⓐ
·
50 points
·
7 comments
·
9¾ hours ago 
by rawgabbit
⏱️ 1 minute
Wenzhou Train Collision
(wikipedia.org)
Ⓝ
·
4 points
·
0 comments
·
1¾ hours ago 
by tianqi
MacBook Pro with PROLED XDR Display and Touch
(apple.com)
Ⓑ
Ⓒ
·
616 points
·
1068 comments
·
1½ days ago 
by etothet
Apple's git still trusts the compromised eMudhra certificates
(we-​have-​a-​problem​.com)
Ⓑ
Ⓒ
·
1187 points
·
408 comments
·
1½ days ago 
by galadran
⏱️ 1 minute
requests please
Requests, Please
(morronel.github.io)
71 points
·
16 comments
·
3½ days ago 
by sysoleg
isometric istanbul
Isometric Istanbul
(isometricistanbul​.com)
Ⓝ
·
5 points
·
0 comments
·
8 hours ago 
by obilgic
cnc stone carving
CNC Stone Carving
(carmelitegothic.com)
Ⓑ
Ⓒ
·
522 points
·
142 comments
·
1½ days ago 
by bschne
⏱️ 5 minutes
show hn phpclaw ai agent runtime for php with tools memory and guards
Show HN: phpClaw – AI agent runtime for PHP with tools, memory and guards
(github.com)
Ⓝ
Ⓐ
·
11 points
·
4 comments
·
8¼ hours ago 
by akashpatel7204
⏱️ 3 minutes
A Health Update
(furbo.org)
Ⓑ
Ⓐ
Ⓒ
·
343 points
·
61 comments
·
1 day ago 
by frizlab
⏱️ 7 minutes
the grid a factoryscale robot in massachusetts that builds pcbs on demand
The Grid, a factory-​scale robot in Massachusetts that builds PCBs on demand
(circuithub.com)
Ⓒ
·
559 points
·
258 comments
·
3½ days ago 
by seddona
⏱️ 2 minutes
Thursday: A SerenityOS for Myself
(shantaram.xyz)
Ⓝ
·
8 points
·
0 comments
·
8¾ hours ago 
by _shantaram
⏱️ 2 minutes
Toxic experts (2017)
(nedbatchelder.com)
Ⓑ
Ⓐ
Ⓒ
·
69 points
·
51 comments
·
9¾ hours ago 
by luu
⏱️ 2 minutes
ghostty 14
Ghostty 1.4
(ghostty.org)
Ⓒ
·
1342 points
·
433 comments
·
2½ days ago 
by deaux
⏱️ 36 minutes
i used ai to fake a scientific paper herex27s what happened
I Used AI to Fake a Scientific Paper. Here's What Happened
(ieee.org)
Ⓑ
Ⓐ
·
47 points
·
26 comments
·
16¼ hours ago 
by pseudolus
⏱️ 14 minutes
scaling hierarchical networks
Scaling Hierarchical Networks
(cartesia.ai)
Ⓑ
Ⓒ
·
90 points
·
12 comments
·
1½ days ago 
by guybedo
⏱️ 18 minutes
Avoid Public Functions Calling Other Public Functions
(matklad.github.io)
Ⓝ
·
3 points
·
0 comments
·
7½ hours ago 
by surprisetalk
⏱️ 1 minute
pi durable on cloudflare earendil
Pi Durable on Cloudflare – Earendil
(earendil.com)
Ⓒ
·
9 points
·
1 comment
·
10¾ hours ago 
by RebelPotato
⏱️ 4 minutes
meta discussed x27whisper strategyx27 against social media critic jonathan haidt
Meta discussed 'whisper strategy' against social media critic Jonathan Haidt
(theguardian.com)
Ⓝ
·
6 points
·
0 comments
·
2½ hours ago 
by pseudolus
⏱️ 1 minute
why are good developers so wary of agentic development
Why are good developers so wary of agentic development?
(martinfowler.com)
Ⓑ
Ⓐ
Ⓒ
·
85 points
·
129 comments
·
12½ hours ago 
by torutofu
⏱️ 8 minutes
page 7
new best active classic
This page was generated in 1.224 seconds at 2026-10-30T02:25:36Z.