HN Top Links - Popular Stories from Hacker News

571.

Developing provably correct Rust code with Verus (amazon.science)

164 points by Betelbuddy 1 week ago | 78 comments

572.

Laya on Mac M4 CoreML Offline (gist.github.com)

164 points by putna 1 day ago | 31 comments

573.

The Interim Computer Museum (icm.museum)

164 points by mulmen 1 week ago | 27 comments

574.

“Next-token predictor” is the wrong mental model for LLMs (gmcgoldr.github.io)

163 points by garrinm 2 weeks ago | 319 comments

575.

How I feel about AI (beza1e1.tuxen.de)

163 points by qznc 2 weeks ago | 258 comments

576.

EFF to Courts: Don't Rewrite Copyright over AI Hype (eff.org)

163 points by DeepLogin 2 weeks ago | 192 comments

577.

ER visits for gambling disorders doubled after expanded online gambling market (temertymedicine.utoronto.ca)

163 points by geox 5 days ago | 157 comments

578.

25 Years of Mass Surveillance Is Enough [Auth: Cindy Cohn; Bruce Schneier] (lawfaremedia.org)

163 points by mdp2021 6 days ago | 9 comments

579.

macOS 27: Workaround to avoid downloading AI models and save storage (reddit.com)

162 points by ano-ther 6 hours ago | 76 comments

580.

Science Is Open Software (jepedersen.dk)

161 points by jegp 2 days ago | 73 comments

581.

iPod Classic 6G in QEMU (reddit.com)

161 points by dmonterocrespo 1 week ago | 47 comments

582.

Grok outage (status.x.ai)

160 points by samaysharma 2 weeks ago | 158 comments

583.

Key symbols we lost to time, pt. 2: The Mac side (unsung.aresluna.org)

160 points by zdw 2 days ago | 86 comments

584.

Top Pentagon Official Contracted Personal Lawyer to Handle Minerals Deal (prospect.org)

160 points by h2si 2 weeks ago | 81 comments

585.

AI, Tools and Transformation (ben-evans.com)

160 points by firexcy 2 weeks ago | 76 comments

586.

CrowdSec Source Code Leak (crowdsec.net)

160 points by eccgecko 4 days ago | 55 comments

587.

The most important product decision is what you don't build (liamnugent.me)

160 points by ChrisArchitect 3 days ago | 53 comments

588.

This PCB is brought to you by Fable 5 (a6mzero.com)

159 points by jasonpeacock 1 week ago | 104 comments

589.

Elevator of the Year: Modernization of the Metropolis Trust Building (starelevator.com)

159 points by palashawas 2 weeks ago | 55 comments

590.

Great Lakes sturgeon may be 400 years old:Scientists rethinking how to save them (cbc.ca)

159 points by bookofjoe 1 week ago | 48 comments

591.

Open-source AI and open models reading list (interconnects.ai)

159 points by simonpure 1 week ago | 30 comments

592.

P(doom) (lucumr.pocoo.org)

158 points by lumpa 1 week ago | 132 comments

593.

The CSS Zen Garden dream, finally shipped (josprague.com)

158 points by yosito 6 days ago | 113 comments

594.

Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)

158 points by nojs 2 weeks ago | 65 comments

595.

Global Glacier Extinction Explorer (glacierextinction.com)

158 points by guillego 1 week ago | 64 comments

596.

Tim Cook Sold Out Steve Jobs (2025) (anildash.com)

157 points by Anon84 2 weeks ago | 232 comments

597.

How do we prevent mathemathics from devolving into the Medieval Era of secrecy? (mathoverflow.net)

157 points by jjgreen 6 days ago | 146 comments

598.

The Millennium Problems for Biology (millenniumproblems.bio)

157 points by artninja1988 1 day ago | 118 comments

599.

Texas judge rules TikTok misled users on child safety feature (reuters.com)

157 points by 1vuio0pswjnm7 1 week ago | 99 comments

600.

RotaryCell: Making an unmodified rotary phone work over LTE with an ESP32-S3 (github.com)

157 points by jombib 2 weeks ago | 53 comments