Hacker News: desertrider12

New comment by desertrider12 in "GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]"

desertrider12 — Fri, 10 Jul 2026 20:17:29 +0000

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.

New comment by desertrider12 in "Trains halted across Germany because of communication system problem"

desertrider12 — Tue, 23 Jun 2026 22:25:01 +0000

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.

New comment by desertrider12 in "Trains halted across Germany because of communication system problem"

desertrider12 — Tue, 23 Jun 2026 22:01:17 +0000

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.

New comment by desertrider12 in "System Card: Claude Mythos Preview [pdf]"

desertrider12 — Wed, 08 Apr 2026 02:05:40 +0000

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

New comment by desertrider12 in "Why Doesn't Anybody Realize We're Going Back to the Moon?"

desertrider12 — Fri, 03 Apr 2026 06:41:57 +0000

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

New comment by desertrider12 in "Tell HN: I'm 60 years old. Claude Code has re-ignited a passion"

desertrider12 — Sat, 07 Mar 2026 08:53:14 +0000

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.

New comment by desertrider12 in "Terence Tao, at 8 years old (1984) [pdf]"

desertrider12 — Wed, 25 Feb 2026 04:51:38 +0000

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.

New comment by desertrider12 in "Jonathan Blow has spent the past decade designing 1,400 puzzles"

desertrider12 — Thu, 18 Dec 2025 18:56:56 +0000

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.

New comment by desertrider12 in "Garfield's proof of the Pythagorean Theorem"

desertrider12 — Sat, 29 Nov 2025 18:37:40 +0000

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.

New comment by desertrider12 in "OpenAI probably can't make ends meet. That's where you come in"

desertrider12 — Thu, 06 Nov 2025 19:19:55 +0000

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.

New comment by desertrider12 in "How many dimensions is this?"

desertrider12 — Tue, 09 Sep 2025 00:53:17 +0000

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

New comment by desertrider12 in "How many dimensions is this?"

desertrider12 — Mon, 08 Sep 2025 16:35:40 +0000

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

New comment by desertrider12 in "The Algebra Gatekeepers"

desertrider12 — Sun, 03 Aug 2025 17:45:03 +0000

The article says that administrators are giving in to the demands of very involved, upper-middle class parents. What other incentives would an administrator have to keep low-income and minority students out of 8th grade algebra?

New comment by desertrider12 in "On doing hard things"

desertrider12 — Sat, 19 Jul 2025 05:30:12 +0000

You have probably thought about this already, but shorter cranks (150mm or so) might let you avoid bending your knees as much.

New comment by desertrider12 in "François Chollet: The Arc Prize and How We Get to AGI [video]"

desertrider12 — Wed, 09 Jul 2025 06:26:46 +0000

The Cyc project basically achieved what you're talking about, even without approaching AGI. They manually programmed concepts and relationships between things into a huge knowledge graph. Then they had heuristics for choosing the appropriate version of facts for a given context (e.g. level of rigor). It was arguably able to use a library of abstractions similarly to what Chollet is talking about, but couldn't learn new ones automatically through exploration or play.

New comment by desertrider12 in "First American pope elected and will be known as Pope Leo XIV"

desertrider12 — Fri, 09 May 2025 06:17:50 +0000

There was also an interesting article here a month ago about the history of betting on conclaves. https://nodumbideas.com/p/betting-on-the-pope-was-the-origin... https://news.ycombinator.com/item?id=43290892

New comment by desertrider12 in "Apple's Software Quality Crisis"

desertrider12 — Mon, 03 Mar 2025 23:58:18 +0000

It’s more horrible now. Syncing now opens a Finder window with an inconsistent look and feel, and sometimes fails to copy new songs in a synced playlist. The playlist view has the album art taking up half the screen, but there’s no way to shrink that section. And there’s no visual indication for whether shuffle is on - it has no grey box around it when enabled.

I kind of think they made it shitty on purpose to push everyone towards a subscription. Many of these issues apply to locally stored songs and playlists, which is how I use it.

New comment by desertrider12 in "Ugandan runner Jacob Kiplimo completes first ever sub-57 minute half marathon"

desertrider12 — Mon, 17 Feb 2025 17:05:43 +0000

Look at gravel or mountain biking! If you live near some farmland, ranches or a national forest, there are likely miles of public dirt roads that hardly get any car traffic. trailforks.com is a good place to start to see what's near you.

New comment by desertrider12 in "DeepSeek-R1"

desertrider12 — Tue, 21 Jan 2025 07:07:32 +0000

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.

New comment by desertrider12 in "Meta announces 5% cuts in preparation for 'intense year'"

desertrider12 — Tue, 14 Jan 2025 18:31:14 +0000

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