HN Top Links - Popular Stories from Hacker News

391.

Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)

783 points by Poudlardo 2 months ago | 191 comments

392.

Prism (openai.com)

781 points by meetpateltech 4 months ago | 524 comments

393.

Why does it take so long to release black fan versions? (noctua.at)

778 points by buildbot 1 month ago | 300 comments

394.

Google AI Studio is now sponsoring Tailwind CSS (twitter.com)

777 points by qwertyforce 4 months ago | 298 comments

395.

How to turn anything into a router (nbailey.ca)

777 points by yabones 2 months ago | 261 comments

396.

Danish pension fund divesting US Treasuries (reuters.com)

776 points by mythical_39 4 months ago | 806 comments

397.

Cloudflare Turnstile requiring fingerprintable WebGL (hacktivis.me)

776 points by HypnoticOcelot 3 days ago | 470 comments

398.

Photos capture the breathtaking scale of China's wind and solar buildout (e360.yale.edu)

775 points by mrtksn 4 months ago | 572 comments

399.

CLI agents make self-hosting on a home server easier and fun (fulghum.io)

775 points by websku 4 months ago | 549 comments

400.

Please Use AI (shawnsmucker.substack.com)

775 points by garycomtois 5 days ago | 391 comments

401.

Apple is fighting for TSMC capacity as Nvidia takes center stage (culpium.com)

773 points by speckx 4 months ago | 478 comments

402.

Why users cannot create Issues directly (github.com)

773 points by xpe 5 months ago | 310 comments

403.

Show HN: Needle: We Distilled Gemini Tool Calling into a 26M Model (github.com)

773 points by HenryNdubuaku 3 weeks ago | 211 comments

404.

Gaussian Splatting – A$AP Rocky "Helicopter" music video (radiancefields.com)

772 points by ChrisArchitect 4 months ago | 260 comments

405.

Talkie: a 13B vintage language model from 1930 (talkie-lm.com)

771 points by jekude 1 month ago | 330 comments

406.

I replaced Windows with Linux and everything's going great (theverge.com)

769 points by rorylawless 4 months ago | 733 comments

407.

An AI agent published a hit piece on me – more things have happened (theshamblog.com)

768 points by scottshambaugh 3 months ago | 624 comments

408.

Google's Antigravity bait and switch (0xsid.com)

768 points by ssiddharth 1 week ago | 341 comments

409.

Tennessee man jailed 37 days for Trump meme wins settlement after lawsuit (fire.org)

767 points by ceejayoz 2 weeks ago | 511 comments

410.

The map that keeps Burning Man honest (not-ship.com)

767 points by speckx 3 weeks ago | 353 comments

411.

GitHub Copilot is moving to usage-based billing (github.blog)

766 points by frizlab 1 month ago | 554 comments

412.

Ban the sale of precise geolocation (lawfaremedia.org)

766 points by hn_acker 1 month ago | 197 comments

413.

EU–INC – A new pan-European legal entity (eu-inc.org)

765 points by tilt 4 months ago | 726 comments

414.

Red Squares – GitHub outages as contributions (red-squares.cian.lol)

765 points by cianmm 4 weeks ago | 167 comments

415.

People inside Microsoft are fighting to drop mandatory Microsoft Account (windowscentral.com)

764 points by breve 2 months ago | 616 comments

416.

US cities are axing Flock Safety surveillance technology (cnet.com)

764 points by giuliomagnifico 1 month ago | 436 comments

417.

Willingness to look stupid (sharif.io)

764 points by Samin100 2 months ago | 255 comments

418.

Halt and Catch Fire: TV’s best drama you’ve probably never heard of (2021) (sceneandheardnu.com)