HN Top Links - Popular Stories from Hacker News

22081.

Terence Tao: Formalizing a proof in Lean using Claude Code [video] (youtube.com)

56 points by helloplanets 2 months ago | 1 comments

22082.

SpaceX Starship flight 11 successful (twitter.com)

56 points by sfjailbird 7 months ago | 1 comments

22083.

SOM: A minimal Smalltalk for teaching of and research on Virtual Machines (som-st.github.io)

56 points by tosh 1 month ago | 0 comments

22084.

Upgrading Our Way Through OpenGL 1.x (bumbershootsoft.wordpress.com)

56 points by PaulHoule 7 months ago | 0 comments

22085.

A Look into Intel Xeon 6's Memory Subsystem (chipsandcheese.com)

56 points by rbanffy 7 months ago | 0 comments

22086.

56 points by pmags 11 months ago | 0 comments

22087.

The Problem with AI Welfare (substack.com)

55 points by turing_complete 11 months ago | 151 comments

22088.

Passkeys: They're not perfect but they're getting better (ncsc.gov.uk)

55 points by ashergill 6 months ago | 136 comments

22089.

Germany goes from labour shortages to hiring freezes (ft.com)

55 points by doener 3 days ago | 128 comments

22090.

A proposed amendment to ban under 16s in the UK from common online services (decoded.legal)

55 points by ibobev 5 months ago | 126 comments

22091.

LLMs are the ultimate demoware (blog.charliemeyer.co)

55 points by csmeyer 7 months ago | 126 comments

22092.

Altman on AI energy: it also takes 20 years of eating food to train a human (old.reddit.com)

55 points by puttycat 2 months ago | 118 comments

22093.

Palantir Thinks College Might Be a Waste. So It's Hiring High-School Grads (wsj.com)

55 points by adwmayer 6 months ago | 118 comments

22094.

Going full AI engineer, not touching code anymore (max.gp)

55 points by maxheyer 1 day ago | 117 comments

22095.

Nerd: A language for LLMs, not humans (nerd-lang.org)

55 points by gnanagurusrgs 4 months ago | 104 comments

22096.

How AI gave me my voice back – an artist's review of Suno Studio (blog.andyshand.com)

55 points by 80hd 6 months ago | 103 comments

22097.

Mysterious drones have been spotted at airports across Europe (bbc.co.uk)

55 points by fumblebee 6 months ago | 101 comments

22098.

How did Renaissance fairs begin? (history.com)

55 points by pseudolus 7 months ago | 100 comments

22099.

New California law restricts HOA fines to $100 per violation (calmatters.org)

55 points by JumpCrisscross 7 months ago | 97 comments

22100.

Americans Overwhelmingly Support Science, but Some Think the U.S. Is Lagging (scientificamerican.com)

55 points by beardyw 4 months ago | 87 comments

22101.

Florida public universities to pause hiring new H-1B workers (wusf.org)

55 points by rawgabbit 2 months ago | 81 comments

22102.

Iran vows regime will "not back down" as web blackout continues (cbsnews.com)

55 points by geox 4 months ago | 81 comments

22103.

Some bits on malloc(0) in C being allowed to return NULL (utcc.utoronto.ca)

55 points by ingve 10 months ago | 80 comments

22104.

Where Is GPT in the Chomsky Hierarchy? (fi-le.net)

55 points by fi-le 5 months ago | 76 comments

22105.

Standard Chartered CEO walks back comment about 'lower-value human capital' (wsj.com)

55 points by Brajeshwar 18 hours ago | 74 comments

22106.

Show HN: Bible translated using LLMs from source Greek and Hebrew (biblexica.com)

55 points by epsteingpt 3 months ago | 74 comments

22107.

74% of CEOs worry AI failures could cost them their jobs (cfo.economictimes.indiatimes.com)

55 points by mgh2 6 months ago | 73 comments

22108.

Slashdot effect (en.wikipedia.org)

55 points by firefax 5 months ago | 72 comments

22109.

Seattle, Tech Boomtown, Grapples with a Future of Fewer Tech Jobs (wsj.com)

55 points by mooreds 7 months ago | 72 comments

22110.

I got a remote job for a EU company, I'd find it hard to go back to a US-based (businessinsider.com)

55 points by nixass 11 months ago | 72 comments