HN Top Links - Popular Stories from Hacker News

9721.

Martin Kleppmann Prediction: AI will make formal verification go mainstream (martin.kleppmann.com)

3 points by thomasweiser 2 months ago | 1 comments

9722.

Show HN: I built a climbing tracker for data-obsessed climbers (Expo/RN) (goclimbr.com)

3 points by codesink 2 months ago | 1 comments

9723.

I Built a Glucose Monitor Data Reader (Abbott Freestyle Libre 3) (philippdubach.com)

3 points by 7777777phil 2 months ago | 1 comments

9724.

Show HN: Page Builder in Pure TypeScript, No Framework Dependencies (dev.tukona.com)

3 points by choc-dev 2 months ago | 1 comments

9725.

Tyro: Python CLI from type annotations (1.0 release) (github.com)

3 points by apoorvkh 2 months ago | 1 comments

9726.

A glimpse into V8 development for RISC-V (riseproject.dev)

3 points by floitsch 2 months ago | 1 comments

9727.

Zillow has removed extreme weather risk data (cnn.com)

3 points by kevin061 2 months ago | 1 comments

9728.

We all grew up watching TV, so why is YouTube so different? (cubflix.com)

3 points by gillyb 2 months ago | 1 comments

9729.

'Food and fossil fuel production causing $5B of environmental damage an hour' (theguardian.com)

3 points by ndsipa_pomu 2 months ago | 1 comments

9730.

The Married Scientists Torn Apart by a Covid Bioweapon Theory (nytimes.com)

3 points by bookofjoe 2 months ago | 1 comments

9731.

Two Githubs, One Laptop (blog.djnavarro.net)

3 points by speckx 2 months ago | 1 comments

9732.

MicroPython v1.27 Released (github.com)

3 points by matt_trentini 2 months ago | 1 comments

9733.

Meesho Goes Public (ycombinator.com)

3 points by todsacerdoti 2 months ago | 1 comments

9734.

Microsoft investing $17.5B in India for AI and cloud, CEO Satya Nadella says (apnews.com)

3 points by whoknowsidont 2 months ago | 1 comments

9735.

We are launching Bindu – where Agents talk, identify, trade (github.com)

3 points by raahul_rahl 1 month ago | 1 comments

9736.

Future HN with articles and comments by Opus 4.5/v0 (v0-future-hacker-news.vercel.app)

3 points by indigodaddy 2 months ago | 1 comments

9737.

Running boosts dopamine,coordination in aging mice, poss relevance to Parkinsons (medicalxpress.com)

3 points by bikenaga 2 months ago | 1 comments

9738.

Meta promises to reduce data sharing for EU users by 2026 to avoid EU GDPR fines (techradar.com)

3 points by robtherobber 1 month ago | 1 comments

9739.

How Stealth Works (linch.substack.com)

3 points by paulpauper 2 months ago | 1 comments

9740.

Americans to Buy into Carvana Fraud (tickerfeed.net)

3 points by sethops1 1 month ago | 1 comments

9741.

Speck.js – An AI-native web framework with zero imports (speckjs.dev)

3 points by SpeckOs 1 month ago | 1 comments

9742.

OWASP Top 10 for Agentic Applications for 2026 (securityboulevard.com)

3 points by bignet 1 month ago | 1 comments

9743.

Nvidia Isn't Enron – So What Is It? (wheresyoured.at)

3 points by s3graham 2 months ago | 1 comments

9744.

Hegseth Introduces Department to New AI Tool (war.gov)

3 points by jonnybgood 1 month ago | 1 comments

9745.

Taming the CI Monster: How I Slashed Our Monorepo Build Times by over 66% (kmaliszewski9.github.io)

3 points by mleonhard 1 month ago | 1 comments

9746.

Just Right FM (justright.fm)

3 points by ddrscott 1 month ago | 1 comments

9747.

Show HN: Recall – open-source local file organizer using Llama 3.2 and Ollama (github.com)

3 points by Akhil34 1 month ago | 1 comments

9748.

Why GitHub Why? [video] (youtube.com)

3 points by cpt100 1 month ago | 1 comments

9749.

Scientists Look to Ancient Microbes to Discover the Antibiotics of the Future (calpoly.edu)

3 points by PaulHoule 1 month ago | 1 comments

9750.

I made a website to check if Cloudflare is down (iscloudflaredown.com)

3 points by vinlock 1 month ago | 1 comments