New

The latest blog posts to take off on Hacker News. 80,816 posts.

Any topic
Any year
6040

I'm returning my Framework 16

My current laptop is an aging X1 Carbon generation 7, purchased some time in mid 2019. A few months ago a few keys of the keyboard stopped working, specifically the 5, 6, - , = and Delete keys. Sometimes I can get it working again by mashing one of them for a while, but it's not consistent. Given my past experiences…

6046

Lessons from the PG&E outage

At Waymo, our mission is to be the world’s most trusted driver. We know trust is built through consistent behavior over time—earned through every mile we drive and every interaction we have with the community. This past Saturday, as a widespread PG&E outage cut power to nearly one-third of San Francisco, our service…

6056

Test, don't just verify

AI-assisted mechnical proving companies are raising funds on billion dollar valuations , new people are trying proof assistants, overwhelmingly Lean, at unprecedented rates. Models achieve fascinating results in competitions previously considered to contain some of the hardest problems in the world, such as IMO, ICPC…