HN Top Links - Popular Stories from Hacker News

11851.

The Case Against Formal Verification, 50 Years Later (ivan-gavran.github.io)

95 points by ghuntley 1 month ago | 121 comments

11852.

I spent 6 years building my Kanban as I hated how managers run the boards (npmjs.com)

95 points by okovooo 4 months ago | 117 comments

11853.

The hacker sent by Anthropic to calm the government's nerves about AI safety (wsj.com)

95 points by Brajeshwar 3 months ago | 117 comments

11854.

A new Bigfoot documentary helps explain our conspiracy-minded era (msn.com)

95 points by zdw 6 months ago | 111 comments

11855.

Australian author's erotic novel is child sex abuse material, judge finds (bbc.com)

95 points by qwefrqwf 7 months ago | 106 comments

11856.

A data center opened next door. Then came the high-pitched whine (politico.com)

95 points by 1vuio0pswjnm7 6 months ago | 103 comments

11857.

Microsoft raises Xbox prices by up to 43% (theverge.com)

95 points by BlueBerry2001 1 month ago | 102 comments

11858.

SCM as a database for the code (gist.github.com)

95 points by gritzko 7 months ago | 99 comments

11859.

Fossil versus Git (fossil-scm.org)

95 points by vednig 8 months ago | 94 comments

11860.

Why I don't have fun with Claude Code (brennan.io)

95 points by ingve 7 months ago | 93 comments

11861.

Instead of banning AI, I made a classroom contract with my students (science.org)

95 points by digital55 2 months ago | 91 comments

11862.

Show HN: Microsoft Office running with Wine on Linux with no virtualization (github.com)

95 points by tombert 4 days ago | 90 comments

11863.

We spoke to the man making viral Lego-style AI videos for Iran (bbc.com)

95 points by breve 5 months ago | 88 comments

11864.

The brain may be about to have its Ozempic moment (economist.com)

95 points by Anon84 3 weeks ago | 84 comments

11865.

Atuin v18.13 – better search, a PTY proxy, and AI for your shell (blog.atuin.sh)

95 points by cenanozen 6 months ago | 81 comments

11866.

SQL Studio (sql.studio)

95 points by handfuloflight 8 months ago | 80 comments

11867.

Pinterest is drowning in a sea of AI slop and auto-moderation (404media.co)

95 points by trinsic2 6 months ago | 77 comments

11868.

Show HN: Sycamore – next gen Rust web UI library using fine-grained reactivity (sycamore.dev)

95 points by lukechu10 5 months ago | 75 comments

11869.

Virtual violin produces realistic sounds (news.mit.edu)

95 points by gmays 4 months ago | 75 comments

11870.

You Rename My Lake – I Move My Hosting (olafalders.com)

95 points by oalders 3 weeks ago | 75 comments

11871.

TeX Live 2026 is available for download now (tug.org)

95 points by jithinraj 6 months ago | 71 comments

11872.

Google Cloud customer wakes up to $18,000 bill despite $7 budget (tomshardware.com)

95 points by speckx 4 months ago | 65 comments

11873.

Google Maps renames "Lake Ontario" to "Lake America" faster than US Government (arstechnica.com)

95 points by Levitating 2 weeks ago | 60 comments

11874.

Spain shuts airspace for US planes involved in Iran war (english.aawsat.com)

95 points by vrganj 5 months ago | 54 comments

11875.

Boston Dynamics and DeepMind form new AI partnership (bostondynamics.com)

95 points by mfiguiere 8 months ago | 52 comments

11876.

Hisense TVs force owners to watch intrusive ads (tomshardware.com)

95 points by CharlesW 6 months ago | 52 comments

11877.

He Blew the Whistle on DOGE. Then His Brakes Were Cut (wired.com)

95 points by malshe 3 months ago | 52 comments

11878.

Show HN: Plain – The full-stack Python framework designed for humans and agents (github.com)