HN Top Links - Popular Stories from Hacker News

16081.

Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless (lesswrong.com)

94 points by OgsyedIE 5 months ago | 44 comments

16082.

The JPEG XL Image Coding History, Features, Coding Tools, Design Rationale (arxiv.org)

94 points by ksec 11 months ago | 44 comments

16083.

Buckle Up for Bumpier Skies (newyorker.com)

94 points by littlexsparkee 3 months ago | 43 comments

16084.

Free applicatives, the handle pattern, and remote systems (exploring-better-ways.bellroy.com)

94 points by _jackdk_ 8 months ago | 43 comments

16085.

A Python dict that can report which keys you did not use (peterbe.com)

94 points by gilad 11 months ago | 43 comments

16086.

After Spain's blackout, its shift to renewables and grid evolution power on (theguardian.com)

94 points by lentil_soup 2 months ago | 42 comments

16087.

RubyGems Fracture Incident Report (rubycentral.org)

94 points by schneems 3 months ago | 42 comments

16088.

Show HN: P0 – Yes, AI can ship complex features into real codebases (bepurple.ai)

94 points by arndt 3 months ago | 40 comments

16089.

American Dialect Society 2025 Word of the Year Is "Slop" (americandialect.org)

94 points by ChrisArchitect 5 months ago | 39 comments

16090.

P vs. NP and the Difficulty of Computation: A ruliological approach (writings.stephenwolfram.com)

94 points by tzury 5 months ago | 38 comments

16091.

US bars 5 Europeans it says pressured tech firms to censor American viewpoints (apnews.com)

94 points by c420 6 months ago | 37 comments

16092.

UK once again demands backdoor to Apple's encrypted cloud storage (arstechnica.com)

94 points by otterley 8 months ago | 37 comments

16093.

How Thomas Mann wrote The Magic Mountain (theguardian.com)

94 points by Caiero 5 months ago | 36 comments

16094.

AI generated font using Nano Banana (constanttime.notion.site)

94 points by ebaad96 6 months ago | 33 comments

16095.

CRDTs: Convergence without coordination (read.thecoder.cafe)

94 points by 0xKelsey 8 months ago | 33 comments

16096.

Show HN: A GitHub Action that quizzes you on a pull request (github.com)

94 points by dkamm 11 months ago | 33 comments

16097.

Building a 25 Gbit/s workstation for the SCION Association (github.com)

94 points by romshark 5 months ago | 32 comments

16098.

Show HN: A Minimal Monthly Task Planner (printable, offline, no signup) (printcalendar.top)

94 points by defcc 6 months ago | 32 comments

16099.

U.S. Coast Guard will no longer classify swastikas, nooses as hate symbols (washingtonpost.com)

94 points by mrtesthah 7 months ago | 32 comments

16100.

Warp sends a terminal session to LLM without user consent

94 points by ykurtov 10 months ago | 31 comments

16101.

Chernobyl protective shield can no longer confine radiation after drone strike (cnn.com)

94 points by vinnyglennon 6 months ago | 30 comments

16102.

Freer Monads, More Extensible Effects (2015) [pdf] (okmij.org)

94 points by todsacerdoti 7 months ago | 30 comments

16103.

The Lone Lisp Heap (matheusmoreira.com)

94 points by stevekemp 1 month ago | 29 comments

16104.

A Comprehensive Survey of Self-Evolving AI Agents [pdf] (arxiv.org)

94 points by SerCe 10 months ago | 29 comments

16105.

I've Had It with Microsoft (disconnect.blog)

94 points by speckx 11 months ago | 29 comments

16106.

The Tariffs Are Still Illegal (bloomberg.com)

94 points by ioblomov 9 months ago | 28 comments

16107.

IndieChina Film Festival shut down after harassment from Chinese authorities (hrw.org)

94 points by ilamont 7 months ago | 27 comments

16108.

Hellishly Slow Level 13 Deflate Compression (kirill.korins.ky)

94 points by zX41ZdbW 1 week ago | 26 comments

16109.

Killing the ISP Appliance: An eBPF/XDP Approach to Distributed BNG (markgascoyne.co.uk)

94 points by chaz6 5 months ago | 26 comments

16110.

Craft Chrome Devtools Protocol (CDP) commands with new command editor (developer.chrome.com)

94 points by keepamovin 7 months ago | 24 comments