Tony Hoare has died(blog.computationalcomplexity.org)
1957 points by speckx | 256 comments
Computational Complexity blog post marking the death of Turing Award winner Tony Hoare at 92, with personal reflections by Jim Miles.
Hacker News on
Stories posted this day, by points. Rank history starts with the October 2026 rebuild.
Online age-verification tools for child safety are surveilling adults(cnbc.com)
589 points by bilsbie | 315 comments
CNBC article on how online age-verification tools spreading across the U.S. for child safety are leading to surveillance of adults.
Yann LeCun raises $1B to build AI that understands the physical world(wired.com)
585 points by helloplanets | 470 comments
Wired article reporting that former Meta chief AI scientist Yann LeCun raised $1 billion for his startup AMI to build AI that understands the physical world.
After outages, Amazon to make senior engineers sign off on AI-assisted changes(arstechnica.com)
545 points by ndr42 | 435 comments
Ars Technica article (via Financial Times) reporting Amazon will require senior engineers to approve AI-assisted code changes after AWS outages linked to AI tools.
Meta acquires Moltbook(axios.com)
522 points by mmayberry | 356 comments
Axios exclusive reporting that Meta has hired the two founders behind Moltbook, a social network for AI agents.
Cloudflare crawl endpoint(developers.cloudflare.com)
462 points by jeffpalmer | 179 comments
Cloudflare changelog post announcing a Browser Rendering crawl endpoint that crawls entire websites with a single API call.
I put my whole life into a single database(howisfelix.today)
425 points by lukakopajtic | 204 comments
Felix Krause's personal site explaining why he has tracked over 100 types of life metrics daily since 2019 in a single database, with visualizations of the results.
Yann LeCun's AI startup raises $1B in Europe's largest ever seed round(ft.com)
396 points by ottomengis | 214 comments
Financial Times article reporting that Yann LeCun's AI start-up raised more than $1bn in Europe's largest seed funding round.
Agents that run while I sleep(claudecodecamp.com)
395 points by aray07 | 446 comments
Blog post by Abhishek Ray about running autonomous coding agents overnight and the problem of verifying the quality of the code they ship.
U+237C ⍼ Is Azimuth(ionathan.ch)
372 points by cokernel_hacker | 73 comments
Blog post explaining that the mysterious Unicode symbol U+237C ⍼ (Angzarr) means azimuth, per a 1950 H. Berthold AG type foundry symbol catalogue.
Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy(gitlab.redox-os.org)
372 points by pjmlp | 370 comments
The Redox OS CONTRIBUTING.md file on GitLab, describing contribution rules including a Certificate of Origin requirement and a ban on LLM-generated contributions.
Show HN: How I topped the HuggingFace open LLM leaderboard on two gaming GPUs(dnhkng.github.io)
363 points by dnhkng | 94 comments
Blog post by David Noel Ng describing how duplicating a block of middle layers in Qwen2-72B, without changing weights, topped the Hugging Face Open LLM Leaderboard.
Debian decides not to decide on AI-generated contributions(lwn.net)
360 points by jwilk | 271 comments
LWN article on Debian's debate over a draft general resolution about accepting AI/LLM-assisted contributions, which ended without a decision.
Two Years of Emacs Solo(rahuljuliato.com)
330 points by celadevra_ | 123 comments
Blog post by Rahul M. Juliato reflecting on two years of Emacs Solo, a config with 35 modules, no external packages, and a full refactor.
Python: The Optimization Ladder(cemrehancavdar.com)
322 points by Twirrim | 115 comments
A blog post benchmarking many ways to speed up Python, including Cython, Numba, PyPy, mypyc, Mojo and Rust, on Benchmarks Game problems and a JSON pipeline.
Universal vaccine against respiratory infections and allergens(med.stanford.edu)
319 points by phony-account | 114 comments
Stanford Medicine news article about a universal vaccine designed to protect against multiple respiratory infections and allergens.
SSH Secret Menu(twitter.com)
308 points by piccirello | 143 comments
RISC-V Is Sloooow(marcin.juszkiewicz.com.pl)
291 points by todsacerdoti | 313 comments
Rebasing in Magit(entropicthoughts.com)
197 points by ibobev | 132 comments
Emacs and Vim in the Age of AI(batsov.com)
169 points by psibi | 114 comments
FreeBSD 14.4-Release Announcement(freebsd.org)
125 points by vermaden | 33 comments
Using Thunderbird for RSS(rubenerd.com)
104 points by ingve | 32 comments
Billion-Parameter Theories(worldgov.org)
91 points by seanlinehan | 70 comments
Ask HN: Remember Fidonet?
73 points by ukkare | 51 comments
Mother of All Grease Fires (1994)(milk.com)
60 points by xk3 | 23 comments
Kniterate Notes(soup.agnescameron.info)
55 points by surprisetalk | 10 comments
