Recent submissions

Comment · 11 days ago
The kind of person willing to work into the night will also be rewarded with even more requests. Over time your colleagues figure out who works with urgency and who doesn't, and that informs who they ask when they need something.
Comment · 1 month ago
There are some weird mistakes too, like for San Antonio hot spring in NM the coordinates are right but the county is wrong. Seems like that should be an easy thing to automate using GIS.
Comment · 2 months ago
scratch was the trigger for me just as you say. I was turning 11 when we used it at school (28 now). A year or so later I was reading Java for Dummies and making little tools on the TI-84. Then learning C++ and python on a raspberry pi 1B. I’m grateful to that computer lab teacher who thought scratch was worth teaching.
Comment · 3 months ago
On the last Dwarkesh podcast with 3blue1brown, one of them mentioned that frontier models are now able to work through a whole proof in natural language, just like a human mathematician would. But when they first solved IMO problems in 2024, they relied more on Lean to catch hallucinations.
Comment · 4 months ago
Luckily: Update from announcer is that trains can start again at 12:25 AM and they reduced our delay by 30 minutes. But there’s still a huge line of riders at the DB service desk.
Comment · 4 months ago
I’m sitting in an ICE in Munich that was supposed to leave a few minutes before I saw this story on HN. First the conductor announced a 30 minute delay because the radio wasn’t working, and then they bumped it to 2 hours. They didn’t say it was a systemwide problem.
Comment · 6 months ago
> Early 2026: OpenBrain continues to deploy the iteratively improving Agent-1 internally for AI R&D. Overall, they are making algorithmic progress 50% faster than they would without AI assistants—and more importantly, faster than their competitors.

> you could think of Agent-1 as a scatterbrained employee who thrives under careful management

According to this document, 1 of the 18 Anthropic staff surveyed even said the model could completely replace an entry level researcher.

So I'd say we've reached this milestone.

Comment · 7 months ago
Comment · 7 months ago
ChatGPT came out a little over 3 years ago. After 5-10 more years of similar progress I doubt any humans will be required to clean up the messes created by today’s agents.
Comment · 8 months ago
That’s funny. When I was little I found “format” in my mp3 player’s settings. Thought it would customize the UI or something, but instead I ended up with no music for the rest of the road trip.
Comment · 10 months ago
Braid also has the stars which are so well hidden that I can’t imagine anyone finding them without a walkthrough (though some people obviously did in order to make the walkthroughs).

The Witness is different, it really does teach you everything you need to 100% it. I cheated on the ship puzzle but it’s totally possible to figure out.

Comment · 11 months ago
We know angle EBD equals BAC, since the sum of triangle ABC's interior angles is 180 degrees and the sum of the 3 angles at B are also 180 degrees. We also know angle DEB is 90 degrees since DE was constructed to be perpendicular to CB. Finally, D was placed at a distance c from B. The two triangles have the same angles and the same side lengths opposite the right angles, so they must be congruent.
Comment · 1 year ago
This has precedent in the US, like when the government nationalized failing freight railroads and merged them into Conrail. But after the more recent bank and auto bailouts I wouldn't expect to see this happen again. The shareholders would really prefer to have money thrown at them but also keep their stake.
Comment · 1 year ago
Well, consider my ass bitten ;) Your analogy to infinite series helps.
Comment · 1 year ago
> the gaps are reduced to zero and the curve crosses through each and every point within its build envelope

I think that's oversimplifying an important point. If you build a Hilbert curve in a 1x1 square, the vertices of the curve always have rational coordinates. So all points on its line segments must always have at least one rational coordinate. There's no way it can cross through every point in a square region of R^2.

A better way to say it might be "the gaps are reduced towards zero and the curve will pass arbitrarily close by every point in its envelope". That still explains why its Minkowski dimension must be 2.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton