HN Top Links - Popular Stories from Hacker News

631.

AI will make formal verification go mainstream (martin.kleppmann.com)

827 points by evakhoury 5 months ago | 434 comments

632.

Sizing chaos (pudding.cool)

827 points by zdw 3 months ago | 425 comments

633.

Spanish legislation as a Git repo (github.com)

827 points by enriquelop 2 months ago | 233 comments

634.

Show HN: Workout.cool – Open-source fitness coaching platform (github.com)

827 points by surgomat 11 months ago | 233 comments

635.

Mistral 3 family of models released (mistral.ai)

826 points by pember 6 months ago | 236 comments

636.

We mourn our craft (nolanlawson.com)

824 points by ColinWright 3 months ago | 869 comments

637.

Ultrasonic Chef's Knife (seattleultrasonics.com)

824 points by hemloc_io 8 months ago | 671 comments

638.

Gemma 3 270M: Compact model for hyper-efficient AI (developers.googleblog.com)

824 points by meetpateltech 9 months ago | 317 comments

639.

Agent Safehouse – macOS-native sandboxing for local agents (agent-safehouse.dev)

823 points by atombender 2 months ago | 178 comments

640.

SpaceX says it has agreement to acquire Cursor for $60B (twitter.com)

822 points by dmarcos 1 month ago | 984 comments

641.

Copilot broke audit logs, but Microsoft won't tell customers (pistachioapp.com)

821 points by Sayrus 9 months ago | 309 comments

642.

Reverse engineering a $1B Legal AI tool exposed 100k+ confidential files (alexschapiro.com)

821 points by bearsyankees 6 months ago | 288 comments

643.

AI is just unauthorised plagiarism at a bigger scale (axelk.ee)

820 points by speckx 2 weeks ago | 732 comments

644.

Why senior developers fail to communicate their expertise (nair.sh)

820 points by nilirl 3 weeks ago | 330 comments

645.

Writing toy software is a joy (blog.jsbarretto.com)

820 points by bundie 11 months ago | 313 comments

646.

Last.fm is now independent (support.last.fm)

820 points by twistslider 1 week ago | 220 comments

647.

OpenAI declares 'code red' as Google catches up in AI race (theverge.com)

819 points by goplayoutside 6 months ago | 930 comments

648.

Google plans to invest up to $40B in Anthropic (bloomberg.com)

818 points by elffjs 1 month ago | 827 comments

649.

How to Firefox (kau.sh)

818 points by Vinnl 10 months ago | 484 comments

650.

France's homegrown open source online office suite (github.com)

818 points by nar001 3 months ago | 346 comments

651.

Dirty Frag: Universal Linux LPE (openwall.com)

818 points by flipped 3 weeks ago | 332 comments

652.

Zohran Mamdani wins the New York mayoral race (nbcnews.com)

817 points by jsheard 6 months ago | 1168 comments

653.

Mark Zuckerberg freezes AI hiring amid bubble fears (telegraph.co.uk)

817 points by pera 9 months ago | 903 comments

654.

10 Years of Let's Encrypt (letsencrypt.org)

817 points by SGran 5 months ago | 349 comments

655.

Claude Skills (anthropic.com)

816 points by meetpateltech 7 months ago | 427 comments

656.

How to code Claude Code in 200 lines of code (mihaileric.com)

816 points by nutellalover 4 months ago | 239 comments

657.

The Rapper 50 Cent, Adjusted for Inflation (50centadjustedforinflation.com)

816 points by gaws 7 months ago | 196 comments

658.

Austin’s surge of new housing construction drove down rents (pew.org)

815 points by matthest 2 months ago | 999 comments

659.

I fixed Windows native development (marler8997.github.io)

815 points by deevus 3 months ago | 390 comments

660.

How many products does Microsoft have named 'Copilot'? (teybannerman.com)

815 points by gpi 1 month ago | 386 comments