HN Top Links - Popular Stories from Hacker News

13291.

Propositions as Types (2014) [pdf] (homepages.inf.ed.ac.uk)

108 points by nill0 on May 6, 2025 | 75 comments

13292.

How Does Claude 4 Think? – Sholto Douglas and Trenton Bricken (dwarkesh.com)

108 points by consumer451 11 months ago | 72 comments

13293.

Watching o3 model sweat over a Paul Morphy mate-in-2 (alexop.dev)

108 points by alexop on Apr 27, 2025 | 69 comments

13294.

OCaml's Wings for Machine Learning (github.com)

108 points by musha68k on Apr 30, 2025 | 69 comments

13295.

Why I'm declining your AI generated MR (blog.stuartspence.ca)

108 points by zulban 8 months ago | 67 comments

13296.

Taylor Otwell: What 14 Years of Laravel Taught Me About Maintainability (maintainable.fm)

108 points by robbyrussell 8 months ago | 66 comments

13297.

Pentagon Docs: US Wants to "Suppress Dissenting Arguments" Using AI Propaganda (theintercept.com)

108 points by Qem 8 months ago | 66 comments

13298.

Data engineering and software engineering are converging (clickhouse.com)

108 points by craneca0 8 months ago | 66 comments

13299.

Police used Flock cameras to accuse a woman of theft, she had to prove innocence (coloradosun.com)

108 points by stevenhubertron 6 months ago | 64 comments

13300.

Taking Notes with Joplin (lwn.net)

108 points by sohkamyung on Apr 19, 2025 | 63 comments

13301.

Pirate library operator arrested, study canceled for 330k members (torrentfreak.com)

108 points by speckx 8 months ago | 61 comments

13302.

Reassessing Wayland (dudemanguy.github.io)

108 points by GalaxySnail on Feb 13, 2025 | 59 comments

13303.

Migrate purchases from one Apple Account to another (support.apple.com)

108 points by james_pm on Feb 11, 2025 | 58 comments

13304.

Organize your Slack channels by "How Often", not "What" (aggressivelyparaphrasing.me)

108 points by todsacerdoti 7 months ago | 58 comments

13305.

Sand trafficking in Latin America (insightcrime.org)

108 points by josh-sematic on Feb 6, 2025 | 56 comments

13306.

Chaining FFmpeg with a Browser Agent (100x.bot)

108 points by shardullavekar 6 months ago | 56 comments

13307.

Viral ChatGPT trend is doing 'reverse location search' from photos (techcrunch.com)

108 points by jnord on Apr 18, 2025 | 55 comments

13308.

All-natural geoengineering with Frank Herbert's Dune (governance.fyi)

108 points by toomuchtodo 6 months ago | 53 comments

13309.

Wacom drawing tablets track the name of every application you open (2020) (robertheaton.com)

108 points by dvrp 11 months ago | 52 comments

13310.

An argument for increasing TCP's initial congestion window (2024) (jeclark.net)

108 points by cyb0rg0 8 months ago | 52 comments

13311.

VisiCalc on the Apple II (stonetools.ghost.io)

108 points by hggh 6 months ago | 49 comments

13312.

Federal Government Detains International Student at Tufts (nytimes.com)

108 points by breadwinner on Mar 26, 2025 | 48 comments

13313.

The Jakt Programming Language (github.com)

108 points by gw2 on Mar 21, 2025 | 48 comments

13314.

TMSU: Command-line tool for applying tags and viewing virtual tagged filesystem (tmsu.org)

108 points by walterbell on Jan 23, 2025 | 47 comments

13315.

Scientists shine a laser through a human head (spectrum.ieee.org)

108 points by sohkamyung 9 months ago | 47 comments

13316.

Using Sun Ray thin clients in 2025 (catstret.ch)

108 points by todsacerdoti 10 months ago | 46 comments

13317.

Rustroid, a Rust IDE for Android (rustroid.is-a.dev)

108 points by coolcoder613 7 months ago | 43 comments

13318.

Data Compression Nerds Hate This One Trick [video] (media.ccc.de)

108 points by doener on Apr 22, 2025 | 41 comments

13319.

I solved a distributed queue problem after 15 years (dbos.dev)

108 points by Bogdanp 7 months ago | 41 comments

13320.

Just Write (blog.chasingbrains.co)

108 points by marksully on Feb 22, 2025 | 40 comments