desertrider12

3 giorni fadiscuss

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.

desertrider12

20 giorni fadiscuss

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.

desertrider12

20 giorni fadiscuss

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.

desertrider12

3 mesi fadiscuss

> 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.

desertrider12

3 mesi fadiscuss

According to the article [0] that's been making the rounds, NASA didn't make any changes to Artemis 2's heat shield after getting data from 1's re-entry. NASA did change the trajectory for 2, and they made the compound "less permeable" but that change was made before 1 flew.

[0] <https://idlewords.com/2026/03/artemis_ii_is_not_safe_to_fly....>

desertrider12

4 mesi fadiscuss

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.

desertrider12

5 mesi fadiscuss

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.

desertrider12

7 mesi fadiscuss

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.

desertrider12

8 mesi fadiscuss

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.

desertrider12

8 mesi fadiscuss

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.

desertrider12

10 mesi fadiscuss

Well, consider my ass bitten ;) Your analogy to infinite series helps.

desertrider12

10 mesi fadiscuss

> 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.

desertrider12

anno scorsodiscuss

IMO this is the thing we should be scared of, rather than the paperclip-maximizer scenarios. If the human brain is a finitely complicated system, and we keep improving our approximation of it as a computer program, then at some point the programs must become capable of subjectively real suffering. Like the hosts from Westworld or the mecha from A.I. (the 2001 movie). And maybe (depending on philosophy, I guess) human suffering is _only_ real subjectively.

desertrider12

anno scorsodiscuss

Imagine if avatar Gavin Belson had done the "metaverse legs" product reveal, with the animation running at 10 frames/second and a few legless avatars in the audience throwing up confetti. It would be almost too ridiculous to put in the show because the show itself would look like it was being cheap with the effects. But Meta had spent $36 billion on the metaverse at this point.

https://www.youtube.com/watch?v=njvp-E8gzqA

comments