HN Top Links - Popular Stories from Hacker News

1741.

Lean proved this program correct; then I found a bug (kirancodes.me)

395 points by bumbledraven 2 months ago | 177 comments

1742.

OpenAI says its new model GPT-2 is too dangerous to release (2019) (slate.com)

395 points by surprisetalk 2 months ago | 121 comments

1743.

Show HN: Llama 3.1 70B on a single RTX 3090 via NVMe-to-GPU bypassing the CPU (github.com)

395 points by xaskasdf 4 months ago | 101 comments

1744.

CERN levels up with new superconducting karts (home.cern)

395 points by fnands 2 months ago | 85 comments

1745.

How Shamir's Secret Sharing Works (ente.com)

395 points by subract 3 weeks ago | 83 comments

1746.

Love systemd timers (blog.tjll.net)

394 points by yacin 2 weeks ago | 297 comments

1747.

IBM didn't want Microsoft to use the Tab key to move between dialog fields (devblogs.microsoft.com)

394 points by SeenNotHeard 1 month ago | 238 comments

1748.

Surprise, pay $1000 (forestwalk.ai)

394 points by apike 1 week ago | 219 comments

1749.

Marc Andreessen is wrong about introspection (joanwestenberg.com)

393 points by surprisetalk 2 months ago | 479 comments

1750.

The desperation of NYTimes (rozumem.xyz)

393 points by rozumem 2 weeks ago | 317 comments

1751.

Every plane you see in the sky – you can now follow it from the cockpit in 3D (flight-viz.com)

393 points by coolwulf 2 months ago | 75 comments

1752.

393 points by tadasg 1 month ago | 0 comments

1753.

Google Hits 50% IPv6 (blog.apnic.net)

392 points by barqawiz 22 hours ago | 417 comments

1754.

Muse Spark: Scaling towards personal superintelligence (ai.meta.com)

392 points by chabons 2 months ago | 367 comments

1755.

Show HN: OSS Agent I built topped the TerminalBench on Gemini-3-flash-preview (github.com)

392 points by GodelNumbering 1 month ago | 147 comments

1756.

LaTeX Coffee Stains (2021) [pdf] (ctan.math.illinois.edu)

392 points by zahrevsky 5 months ago | 93 comments

1757.

Cal.com is going closed source (cal.com)

391 points by Benjamin_Dobell 2 months ago | 316 comments

1758.

Mini Shai-Hulud Strikes Again: 314 npm Packages Compromised (safedep.io)

391 points by theanonymousone 1 month ago | 313 comments

1759.

Volkswagen blocks Home Assistant by requiring client assertion (github.com)

391 points by Kwastie 3 weeks ago | 190 comments

1760.

Raising money fucked me up (blog.yakkomajuri.com)

391 points by yakkomajuri 5 months ago | 142 comments

1761.

Someone at BrowserStack is leaking users' email addresses (shkspr.mobi)

391 points by m_km 2 months ago | 104 comments

1762.

Volkswagen Brings Back Physical Buttons (caranddriver.com)

391 points by stephc_int13 5 months ago | 51 comments

1763.

Show HN: Freenet, a peer-to-peer platform for decentralized apps (freenet.org)

390 points by sanity 1 month ago | 271 comments

1764.

Local Journalism Is How Democracy Shows Up Close to Home (buckscountybeacon.com)

390 points by mooreds 5 months ago | 264 comments

1765.

Microsoft open-sources LiteBox, a security-focused library OS (github.com)

390 points by aktau 4 months ago | 215 comments

1766.

Show HN: Terminal UI for AWS (github.com)

390 points by huseyinbabal 5 months ago | 210 comments

1767.

macOS 26 breaks custom DNS settings including .internal (gist.github.com)

390 points by adamamyl 3 months ago | 209 comments

1768.

ABC News has taken all FiveThirtyEight articles offline (twitter.com)

390 points by cmsparks 1 month ago | 171 comments

1769.

Updates to GitHub Copilot interaction data usage policy (github.blog)

390 points by prefork 2 months ago | 166 comments

1770.

Princeton mandates proctoring for in-person exams, upending 133 year precedent (dailyprincetonian.com)

389 points by bookofjoe 1 month ago | 613 comments