HN Top Links - Popular Stories from Hacker News

6901.

Case study: Creative math – How AI fakes proofs (tomaszmachnik.pl)

122 points by musculus 5 months ago | 97 comments

6902.

GitHub Incident (githubstatus.com)

122 points by aggrrrh 5 months ago | 95 comments

6903.

Microsoft suspects some PCs might not boot after Windows 11 January 2026 Update (windowslatest.com)

122 points by nsoonhui 5 months ago | 94 comments

6904.

Senior SWE-Bench: open-source benchmark that assesses agents as senior engineers (senior-swe-bench.snorkel.ai)

122 points by matt_d 12 hours ago | 91 comments

6905.

Hacking old hardware by renaming to .zip [video] (youtube.com)

122 points by abadar 3 months ago | 88 comments

6906.

The AI industry is pouring millions into US elections (bloodinthemachine.com)

122 points by speckx 6 days ago | 82 comments

6907.

Show HN: Ableton Live MCP (github.com)

122 points by bschoepke 1 month ago | 79 comments

6908.

Judge orders restoration of Voice of America (apnews.com)

122 points by geox 3 months ago | 75 comments

6909.

Show HN: Echo, an iOS SSH+mosh client built on Ghostty (replay.software)

122 points by sgottit 4 months ago | 75 comments

6910.

Supply chain nightmare: How Rust will be attacked and what we can do to mitigate (kerkour.com)

122 points by fanf2 2 months ago | 72 comments

6911.

Yggdrasil Network (yggdrasil-network.github.io)

122 points by Velocifyer 2 months ago | 60 comments

6912.

Stop using icons in data tables (medium.com)

122 points by ctward 4 months ago | 60 comments

6913.

Stealth signals are bypassing Iran’s internet blackout (spectrum.ieee.org)

122 points by WaitWaitWha 2 months ago | 59 comments

6914.

Wayfinder Router: deterministic routing of queries between local and hosted LLM (github.com)

122 points by handfuloflight 4 days ago | 56 comments

6915.

Scientists solve 200-year-old puzzle of how tobacco plants make nicotine (york.ac.uk)

122 points by sohkamyung 1 month ago | 55 comments

6916.

The purist's guide to phở in Hanoi (connla.substack.com)

122 points by vinhnx 2 months ago | 54 comments

6917.

A word processor from 1990s for Atari ST/TOS is still supported by enthusiasts (tempus-word.de)

122 points by muzzy19 4 months ago | 51 comments

6918.

Epic fined €1.1M over manipulating children through in app purchases (nos.nl)

122 points by hvb2 5 months ago | 43 comments

6919.

DisplayMate (displaymate.com)

122 points by skibz 1 week ago | 39 comments

6920.

Lakebase architecture delivers faster Postgres writes (databricks.com)

122 points by sp_from_db 1 month ago | 36 comments

6921.

Can LLMs model real-world systems in TLA+? (sigops.org)

122 points by mad 1 month ago | 32 comments

6922.

Fast-Servers (geocar.sdf1.org)

122 points by tosh 3 months ago | 31 comments

6923.

Show HN: A modern Music Player Daemon based on Rockbox firmware (github.com)

122 points by tsiry 1 month ago | 28 comments

6924.

Why we built our own background agent (builders.ramp.com)

122 points by jrsj 5 months ago | 27 comments

6925.

The Shape of Inequalities (andreinc.net)

122 points by nomemory 3 months ago | 24 comments

6926.

Knowledge Distillation of Black-Box Large Language Models (2024) (arxiv.org)

122 points by babelfish 3 days ago | 24 comments

6927.

Italo Calvino: A traveller in a world of uncertainty (historytoday.com)

122 points by lermontov 2 months ago | 21 comments

6928.

An introduction to functional analysis for science and engineering (arxiv.org)

122 points by Anon84 3 weeks ago | 17 comments

6929.

Parallel Parentheses Matching (williamdue.github.io)

122 points by Athas 6 days ago | 17 comments

6930.

The European AllSky7 fireball network (allsky7.net)

122 points by marklit 3 months ago | 13 comments