HN Top Links - Popular Stories from Hacker News

10681.

Why Lean 4 replaced OCaml as my primary language (kirancodes.me)

3 points by fanf2 5 months ago | 0 comments

10682.

Phone for Kids Reinvented: Tin Can Brings Back the Landline (seattleschild.com)

3 points by surprisetalk 5 months ago | 0 comments

10683.

Astronomers Discover Molecular Cloud Hidden in Milky Way (greenbankobservatory.org)

3 points by 01-_- 5 months ago | 0 comments

10684.

Parameters and binding forms should be mutually recursive (samestep.com)

3 points by sestep 5 months ago | 0 comments

10685.

Spec-driven development with AI: Get started with a new open-source toolkit (github.blog)

3 points by WolfOliver 5 months ago | 0 comments

10686.

Stochastic Terrorism (en.wikipedia.org)

3 points by throw0101d 5 months ago | 0 comments

10687.

OpenAI set to build AI chips with Broadcom (ft.com)

3 points by fork-bomber 5 months ago | 0 comments

10688.

The Aider Local Model Experience (hexeditreality.com)

3 points by llllm 5 months ago | 0 comments

10689.

“Technological Breakthroughs” turn out to be AI-sparked delusions (cnn.com)

3 points by jeffwass 5 months ago | 0 comments

10690.

Netron – neural network visualizer and inspector (github.com)

3 points by skhameneh 5 months ago | 0 comments

10691.

Ant queen lays eggs that hatch into two species (science.org)

3 points by thunderbong 5 months ago | 0 comments

10692.

ICFP Programming Contest 2025 (icfpcontest2025.github.io)

3 points by pja 5 months ago | 0 comments

10693.

Math as a Gatekeeper (kidswholovemath.substack.com)

3 points by sebg 5 months ago | 0 comments

10694.

The state of `fq_codel` and `sch_cake` worldwide (2022) (blog.cerowrt.org)

3 points by Bogdanp 5 months ago | 0 comments

10695.

GitHub Spec Kit (github.com)

3 points by saikatsg 5 months ago | 0 comments

10696.

Behind Closed Doors: The Inequalities Hiding in Modern Student Housing (joshuatravisbrown.substack.com)

3 points by paulpauper 5 months ago | 0 comments

10697.

Models of (Dependent) Type Theory (bartoszmilewski.com)

3 points by ibobev 5 months ago | 0 comments

10698.

Darth Vader's Lightsaber Sets New Sale Record at Sci-Fi Movie Auction (gizmodo.com)

3 points by ulrischa 5 months ago | 0 comments

10699.

The Anarchic Playgrounds Where Putting Kids at Risk Is the Point (reasonstobecheerful.world)

3 points by fodmap 5 months ago | 0 comments

10700.

Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch (databend.com)

3 points by zhihanz 5 months ago | 0 comments

10701.

Thagomizer (en.wikipedia.org)

3 points by baalimago 5 months ago | 0 comments

10702.

The impact of sea level rise on the cities (thenextwavefutures.wordpress.com)

3 points by speckx 5 months ago | 0 comments

10703.

Volkswagen ID 3 loses eight miles of range after 107,000 miles (autocar.co.uk)

3 points by robin_reala 5 months ago | 0 comments

10704.

Why did brides throw cake in a sock at old Irish weddings? (rte.ie)

3 points by austinallegro 5 months ago | 0 comments

10705.

NixOS Is the Endgame of Distrohopping (joshblais.com)

3 points by type0 5 months ago | 0 comments

10706.

A Suspense Novelist's Trail of Deceptions (newyorker.com)

3 points by yurivish 5 months ago | 0 comments

10707.

New Study: 'CO2 Does Not Precede Temperature, nor Does It Control Temperature' (notrickszone.com)

3 points by bilsbie 5 months ago | 0 comments

10708.

Evals are a scam. And we're being gaslit into believing they aren't (hacktrace.substack.com)