❓
Timbo’s “Hacker News” Reader
thnr.net
page 4 of new
light mode
Show HN: ProvLedger – stops coding agents repeating mistakes
(github.com)
👤
yizhao95
Ⓐ
·
2 points
·
1 comment
·
49 minutes ago
by
yzhao950213
⏱️ 4 minutes
The Bourgain Project
(wordpress.com)
1 point
·
0 comments
·
49 minutes ago
by
smilelamp
Anthropic commits 5% of shares to new public benefit fund
(cnbc.com)
1 point
·
0 comments
·
49 minutes ago
by
geox
I Tried to Verify Rust OSS with Lean 4 and Found Many Bugs
(medium.com)
Ⓣ
·
3 points
·
0 comments
·
50 minutes ago
by
syumei
Surveying the landscape of CSS microframeworks (2023)
(blakewatson.com)
1 point
·
0 comments
·
51 minutes ago
by
ForHackernews
⏱️ 5 minutes
Toronto man accused of driving rental car 30k kms in just 7 days
(citynews.ca)
2 points
·
0 comments
·
52 minutes ago
by
breitling
⏱️ 2 minutes
Linux KVM guest-​host escape rated critical
(theregister.com)
2 points
·
0 comments
·
52 minutes ago
by
mooreds
⏱️ 2 minutes
Building a Dependency Graph of Our Python Codebase
(hudsonrivertrading​.com)
1 point
·
0 comments
·
53 minutes ago
by
Tommkruix123
Maths, Metal, and Mandelbrot
(jacobstechtavern​.com)
1 point
·
0 comments
·
53 minutes ago
by
jakey_bakey
⏱️ 11 minutes
Who Will Benefit from the AI Revolution?
(time.com)
1 point
·
0 comments
·
53 minutes ago
by
voxleone
⏱️ 4 minutes
Spirit Room – Test whether agents can find and use your MCP tools
(spiritroom.app)
Ⓐ
·
1 point
·
0 comments
·
55 minutes ago
by
LeonidBugaev
Claude Code, Codex and OpenCode Find MCP Tools
(spiritroom.app)
Ⓐ
·
1 point
·
0 comments
·
55 minutes ago
by
LeonidBugaev
⏱️ 6 minutes
The Download: preserving the Arctic permafrost, and playful AI agents
(technologyreview​.com)
1 point
·
0 comments
·
56 minutes ago
by
joozio
⏱️ 4 minutes
Why TypeScript lets you overrule its type checker
(ultracite.ai)
1 point
·
0 comments
·
58 minutes ago
by
fmerian
⏱️ 13 minutes
Python's binary wheels and supply chain attacks
(rushter.com)
1 point
·
0 comments
·
59 minutes ago
by
theanonymousone
⏱️ 1 minute
How tough can emoji be?
(totaldraw.com)
1 point
·
0 comments
·
1 hour ago
by
theanonymousone
⏱️ 6 minutes
Show HN: Earshot – talk to Claude Code with AirPods, nod to send
(github.com)
👤
epavanello
1 point
·
0 comments
·
1 hour ago
by
ema_dev
Show HN: Daymark – private iPhone habit tracker ($14.99 once)
(daymark.one)
Ⓐ
·
1 point
·
0 comments
·
1 hour ago
by
sophietaylor
Curl proposes "Every vulnerability report < HIGH is immediately made public"
(github.com)
👤
curl
Ⓐ
·
2 points
·
1 comment
·
1 hour ago
by
awkwardpotato
Latchkey CI: Keep Running CI Even When GitHub Is Down (Which It Is)
(latchkey.dev)
1 point
·
0 comments
·
1 hour ago
by
hevaka
page 5
top
best
active
classic
This page was generated in 192 milliseconds at 2026-10-19T17:57:22Z
.