HN Top Links - Popular Stories from Hacker News

14581.

Proving Liveness with TLA (roscidus.com)

40 points by ibobev 6 months ago | 2 comments

14582.

Meta Is Blocking Links to ICE List on Facebook, Instagram, and Threads (wired.com)

40 points by joering2 5 months ago | 2 comments

14583.

Five security lessons from the FBI's Washington Post raid (freedom.press)

40 points by ColinWright 4 months ago | 2 comments

14584.

Claude just jumped to #2 on the iOS App Store (xcancel.com)

40 points by doener 4 months ago | 2 comments

14585.

Effectful Recursion Schemes (effekt-lang.org)

40 points by marvinborner 2 months ago | 2 comments

14586.

Possibility of modifying an image to see without glasses? (2010) (stackoverflow.com)

40 points by zeristor 2 months ago | 2 comments

14587.

Are We Legacy Computing Yet? (arewelegacycomputingyet.com)

40 points by tyoverby 3 months ago | 1 comments

14588.

Sweden weighs Franco-British nuclear weapons cooperation (breakingdefense.com)

40 points by saubeidl 5 months ago | 1 comments

14589.

Hexagonal Grids (redblobgames.com)

40 points by elisaado 5 months ago | 1 comments

14590.

Hilbert Map of IPv6 address space (observablehq.com)

40 points by miyuru 4 months ago | 1 comments

14591.

Ig Nobel award ceremony moving to Zurich due to concern over U.S. travel visas (swissinfo.ch)

40 points by ilamont 4 months ago | 1 comments

14592.

Kimi K2.6: Advancing Open-Source Coding (twitter.com)

40 points by nekofneko 2 months ago | 1 comments

14593.

Programming as Theory Building (1985) [pdf] (gwern.net)

40 points by birdculture 1 month ago | 1 comments

14594.

We Sued ICE to Get Its Spyware Contract. The Agency Redacted Nearly Everything (404media.co)

40 points by voxadam 1 month ago | 1 comments

14595.

PRC-linked spies hid inside medical and military networks for more than a year (theregister.com)

40 points by Bender 1 month ago | 1 comments

14596.

40 points by cronus1141 3 months ago | 0 comments

14597.

Elon Musk misled Twitter investors ahead of $44B acquisition, jury says (cnbc.com)

40 points by nickles 3 months ago | 0 comments

14598.

40 points by vrganj 3 months ago | 0 comments

14599.

40 points by embedding-shape 5 months ago | 0 comments

14600.

New Evidence Reveals Renee Good Was Still Alive When ICE Blocked Medic (newrepublic.com)

40 points by perihelions 5 months ago | 0 comments

14601.

Mommy, Are the Inspirational Stories on LinkedIn Real? (mcsweeneys.net)

40 points by jyounker 2 months ago | 0 comments

14602.

We used Quint to find over 10 bugs in SQLite while hardening Turso (turso.tech)

40 points by 0xedb 1 month ago | 0 comments

14603.

Build a Basic AI Agent from Scratch: Tools (ruxu.dev)

40 points by ruxudev 1 month ago | 0 comments

14604.

GCC 14.4 Released (gcc.gnu.org)

40 points by edelsohn 2 weeks ago | 0 comments

14605.

Olive – Lisp VSCode Extension (Alternative to Alive) (github.com)

40 points by AlexeyBrin 1 week ago | 0 comments

14606.

Just Pay the Subscription (uncommonapps.nyc)

39 points by dabluck 6 days ago | 117 comments

14607.

US House of Representatives takes step to make daylight saving time permanent (bbc.com)

39 points by throw0101d 13 hours ago | 105 comments

14608.

Sick leave: Germany rising but not the worst in Europe (dw.com)

39 points by bushwart 1 week ago | 98 comments

14609.

Ask HN: Is vibe coding a new mandatory job requirement?

39 points by newswangerd 3 months ago | 79 comments

14610.

UK Home Office launches £75M 'PoliceAI' to capitalise on artificial intelligence (publictechnology.net)

39 points by thinkingemote 3 weeks ago | 79 comments