HN Top Links - Popular Stories from Hacker News

17521.

Spine – A language where you describe the system and the compiler verifies it (spine-lang.org)

2 points by NielsHoogeveen 3 weeks ago | 0 comments

17522.

Zero-token progress bar for Claude Code that tracks actual task completion (github.com)

2 points by PrafulReddy 3 weeks ago | 0 comments

17523.

Gobo (languagehat.com)

2 points by jruohonen 3 weeks ago | 0 comments

17524.

What keeps me up at night as an Agent Infra Founder (twitter.com)

2 points by adisingh13 2 weeks ago | 0 comments

17525.

The blast radius problem with coding agents in bypass mode (arnaudp.dev)

2 points by gentle_bubble 2 weeks ago | 0 comments

17526.

Show HN: Apfel-Chat – Private, Local, Native AI Chat (MIT) (apfel-chat.franzai.com)

2 points by franze 3 weeks ago | 0 comments

17527.

The Marketing Skills Directory (mktgskills.ai)

2 points by mooreds 2 weeks ago | 0 comments

17528.

Claude Managed Agents in Beta (twitter.com)

2 points by PanMan 3 weeks ago | 0 comments

17529.

Show HN: Spuddy.sh – Describe your API in terminal get a hosted API with state (spuddy.sh)

2 points by boyneyy123 3 weeks ago | 0 comments

17530.

ScienceClaw: Framework for Autonomous Scientific Investigation (github.com)

2 points by wslh 3 weeks ago | 0 comments

17531.

Volatco – Powerful Multicompute (volatco.github.io)

2 points by nbaksalyar 3 weeks ago | 0 comments

17532.

Efficacy of front-of-package nutrient labels: a randomised controlled trial (thelancet.com)

2 points by PaulHoule 3 weeks ago | 0 comments

17533.

Yields Are Up, Latencies Are Down: Goroutine Scheduling in CockroachDB (cockroachlabs.com)

2 points by state_machine 2 weeks ago | 0 comments

17534.

Show HN: JSON-logic-path – JSON logic with jsonpath multi-value resolution (github.com)

2 points by anax32 2 weeks ago | 0 comments

17535.

Show HN: Reloadium Weather: find best time for your favorite outdoor activities (reloadium.com)

2 points by julienreszka 2 weeks ago | 0 comments

17536.

DuckDB – The SQLite for Analytics (2020) [video] (youtube.com)

2 points by tosh 2 weeks ago | 0 comments

17537.

Why your next mobile app is probably headless (tuananh.net)

2 points by PaulHoule 3 weeks ago | 0 comments

17538.

React-driftkit – small, unstyled primitives for floating UI (react-driftkit.saktichourasia.dev)

2 points by shakcho 2 weeks ago | 0 comments

17539.

China's HH-200 Cargo Drone Flies First Mission with 1.5-Ton Load (dronexl.co)

2 points by HardwareLust 2 weeks ago | 0 comments

17540.

Canopy – A desktop app to manage AI coding agents across Git worktrees (canopy.itsol.tech)

2 points by nixuuu 3 weeks ago | 0 comments

17541.

Prisoner's Dilemma – An Extension (from game theory) (pd.luthira.com)

2 points by llamatheollama 3 weeks ago | 0 comments

17542.

Why build on a single AI provider despite the risk? 3 AI models debated it (coldverdict.com)

2 points by offbeatport 2 weeks ago | 0 comments

17543.

OpenRAG (github.com)

2 points by saikatsg 3 weeks ago | 0 comments

17544.

Taco: Linktaco from Your Terminal (linktaco.com)

2 points by peterjsanchez 3 weeks ago | 0 comments

17545.

The Sovereign Protocol (docs.google.com)

2 points by Actu 2 weeks ago | 0 comments

17546.

Intel refreshes non-Ultra Core CPUs with new silicon for the first time (arstechnica.com)

2 points by rbanffy 2 weeks ago | 0 comments

17547.

Visconti-Sforza Tarot (en.wikipedia.org)

2 points by kakadu 3 weeks ago | 0 comments

17548.

Robot club vs. 5 crazy holes [video] (youtube.com)

2 points by JKCalhoun 2 weeks ago | 0 comments

17549.

Qodiqa Consent as Infrastructure for Artificial Intelligence (qodiqa.github.io)

2 points by bogdandutescu 2 weeks ago | 0 comments

17550.

How to talk about open source without making a mess (dirkriehle.com)

2 points by Tomte 2 weeks ago | 0 comments