HN Top Links - Popular Stories from Hacker News

14941.

Proving 1 plus 1 = 2 in 616,873 lines of Lean (github.com)

2 points by pragyaangaur 1 week ago | 1 comments

14942.

Heatbit's $899 Water Heater Element Mines Bitcoin While It Heats Your Tank (decrypt.co)

2 points by bookofjoe 1 week ago | 1 comments

14943.

Show HN: Coding agent spots your AI practices and the ones you're missing (app.userrank.ai)

2 points by milstan 1 week ago | 1 comments

14944.

I built one dollar clarity for just $1 try it (onedollarclarity.com)

2 points by DigitalSena 1 week ago | 1 comments

14945.

Bridgit Mendler: Disney Pop Store Turned Aerospace Entrepreneur (en.wikipedia.org)

2 points by skadamat 1 week ago | 1 comments

14946.

Ask HN: What would happen to GPTs if everyone just fed them fake data?

2 points by dfps 16 minutes ago | 1 comments

14947.

Is Your TV Spying on You (zlu.me)

2 points by zlu 3 days ago | 1 comments

14948.

Johnstown, PA will be your best place to live if you make under 100K (salary-statistics.netlify.app)

2 points by rlatkdrktkd 5 days ago | 1 comments

14949.

14 indicted in $370M nationwide bank account takeover scheme (justice.gov)

2 points by wmchen 3 days ago | 1 comments

14950.

Everyone is wrong about ArtCraft (youtube.com)

2 points by Voultapher 1 day ago | 1 comments

14951.

Archtoys – a fast, PowerToys-style color picker for Linux (Rust and Slint) (github.com)

2 points by Mujtaba1i 1 week ago | 1 comments

14952.

PerfectHead is back: Perfect Dark's cut Game Boy Camera feature, restored (twitter.com)

2 points by failedartifact 1 week ago | 1 comments

14953.

Show HN: Bundle – I kept forgetting what I read, so I built a read-later app (bundle.ink)

2 points by bright_day 4 days ago | 1 comments

14954.

No One Needs Us Anymore [video] (youtube.com)

2 points by 7777777phil 1 week ago | 1 comments

14955.

Show HN: Traccia – Control what AI agents can do (github.com)

2 points by vijaypoudel 3 days ago | 1 comments

14956.

GitHub plugin to find Claude Code's missing instructions (github.com)

2 points by prku99 3 days ago | 1 comments

14957.

Two Kinds of Code Review (haydenbleasel.com)

2 points by meetpateltech 1 week ago | 1 comments

14958.

Tiny Computers for iPhone Duo (fountaininteractive.com)

2 points by eustoria 1 week ago | 1 comments

14959.

Auditioning Engineering: Software Engineering Interviews in the Age of AI (tech.wmg.com)

2 points by wmg 4 days ago | 1 comments

14960.

The Weil conjectures formalized in Lean (axiommath.ai)

2 points by torutofu 4 hours ago | 1 comments

14961.

Data center-related ballot measures, 2026 (ballotpedia.org)

2 points by anigbrowl 2 days ago | 1 comments

14962.

CreatedThreeWeeksAgo – new Wikipedia articles after the initial discussions (bitsanddopamine.github.io)

2 points by ranulo 1 week ago | 1 comments

14963.

A lightweight webhook security scanner (hookshield.co.uk)

2 points by Robvanwiz 1 week ago | 1 comments

14964.

Fedora 45 Hits a Second No-Go: Not Releasing Until November (phoronix.com)

2 points by rbanffy 1 week ago | 1 comments

14965.

Show HN: HackerProducts – HackerTube, but for products mentioned on HN (hackerproducts.pages.dev)

2 points by bin01 4 days ago | 1 comments

14966.

Habla – I built a free Spanish-learning app for iOS (apps.apple.com)

2 points by brmmuhoil 1 day ago | 1 comments

14967.

Show HN: Tower of Questions – Daily Trivia Game (towerofquestions.com)

2 points by the_shivers 5 days ago | 1 comments

14968.

Using Blender to procedurally generate visualisations of website privacy issues (reddit.com)

2 points by AlexanderHanff 1 week ago | 1 comments

14969.

Anthropic Reveals It Will Pay SpaceX Up to $120.5B for AI Compute (teslanorth.com)

2 points by entryleveljobsc 1 week ago | 1 comments

14970.

WaveDude Next: 2D interactive 2D wave optics simulator (github.com)

2 points by ath92 2 days ago | 1 comments