❓
Timbo’s “Hacker News” Reader
thnr.net
page 15 of top
dark mode
What TLA+ can and can't check
(buttondown.com)
Ⓒ
·
243 points
·
51 comments
·
4½ days ago
by
b-man
⏱️ 5 minutes
We diffed all 66 release pairs of the official MCP servers, 140 silent changes
(github.com)
👤
paraphern
Ⓑ
·
7 points
·
0 comments
·
1½ days ago
by
paraphern
⏱️ 4 minutes
How accurately calibrated is Jev?
(substack.com)
👤
maximumeffort
Ⓒ
·
53 points
·
22 comments
·
2½ days ago
by
dblack12705
⏱️ 7 minutes
Moist-​Electric Wallpaper for Indoor Energy Harvesting and Humidity Management
(wiley.com)
Ⓒ
·
69 points
·
37 comments
·
4½ days ago
by
croes
Show HN: Breadcrumb, record everything on your mac + context manager for AI
(innerloop.works)
49 points
·
9 comments
·
3½ days ago
by
jv22222
⏱️ 2 minutes
Functional Ultrasound Imaging (fUSI) from scratch
(neuroai.science)
54 points
·
11 comments
·
4½ days ago
by
pminimax
⏱️ 9 minutes
5x faster Edge Functions: V8 isolates to Firecracker MicroVMs
(netlify.com)
Ⓒ
·
228 points
·
106 comments
·
4½ days ago
by
jbott
⏱️ 7 minutes
Show HN: What 482 hospitals charge vs. what insurers pay, from their own files
(billmender.com)
31 points
·
15 comments
·
3½ days ago
by
curatedmcp
⏱️ 1 minute
Show HN: Offrun – manage every coding agent from one workspace
(offrun.dev)
Ⓑ
·
76 points
·
64 comments
·
2 days ago
by
arunbhatia
From Civic Tech to DOGE: The Role of Tech Movements in the American Admin State
(wiley.com)
17 points
·
1 comment
·
2½ days ago
by
raybb
Micro Center requires photo ID and signed no-​export pledge to buy gaming GPU
(tomshardware.com)
Ⓝ
Ⓑ
Ⓐ
·
8 points
·
2 comments
·
14¾ hours ago
by
aillia
⏱️ 1 minute
Robert X Cringley's Triumph of the Nerds and Nerds 2.0.1 [video]
(youtube.com)
Ⓑ
·
16 points
·
0 comments
·
1½ days ago
by
JMiao
Red Hat being phased out of existence?
(techrights.org)
Ⓒ
·
213 points
·
143 comments
·
3½ days ago
by
amcclure
Figma restricts MCP access to whitelisted clients, excluding Pi
(twitter.com)
@
GayaniFigma
Ⓒ
·
187 points
·
106 comments
·
3½ days ago
by
thdr
Teenager suspected of leading KillSec ransomware group
(europa.eu)
Ⓑ
Ⓐ
·
12 points
·
2 comments
·
23¼ hours ago
by
jruohonen
Halfspace experimental IDE for solid modeling with distance fields
(mattkeeter.com)
Ⓒ
·
192 points
·
11 comments
·
4½ days ago
by
luu
⏱️ 5 minutes
Building reliable (and fast) directory sync
(firezone.dev)
23 points
·
2 comments
·
3 days ago
by
jamilbk
⏱️ 10 minutes
Fixing GRPO's credit assignment problem without evaluating every step
(arxiv.org)
23 points
·
3 comments
·
2½ days ago
by
mrkn1
The Philadelphia Inquirer built Scrape, an AI tool to surface hyperlocal news
(lenfestinstitute​.org)
15 points
·
3 comments
·
3 days ago
by
giuliomagnifico
⏱️ 3 minutes
Show HN: NetworkX and pyarrow = 6-​7x memory savings
(github.com)
👤
networkx
Ⓑ
·
6 points
·
0 comments
·
1½ days ago
by
adsharma
page 16
new
best
active
classic
This page was generated in 926 milliseconds at 2026-10-05T08:54:45Z
.