sobellian

Aviation is an example of how there's no way to have zero mistakes, or even zero fatal mistakes.

I remember when SO had codegolf on the main site. Maybe if they weren't such killjoys people would have still been interested in participating in some programming oriented community even though AI displaced the actual writing of computer languages.

I get plenty of spam in the snail mail. And from what I gather, fraud through mail occurred all the time.

ETA: some of these companies are chopping down a whole god damn forest to send me furniture catalogs. Please stop!

I would not be so opinionated, modern coding agents derive from chatbot technology. Very different problem domain. They share language but language is universal so that doesn't say much. Then they figured out that the pretraining is a good starting point for RLVR. Who's to say a more cinematic imagination can't be a good starting point for a world model? It doesn't need to be the whole solution.

Sadly the bullshit asymmetry principle has been supercharged in the AI era though I think many imagined it would be the AI's doing rather than jealous, paranoid humans. Now we have incorrect but widely applied folk wisdom that OAI's tech is just rehashing old research.

It also failed to properly model the physics of knights riding wyverns into battle.

There's a large logical leap from "we have very useful raw research data" to "we should give this data only to a small group of people." They explain that "the collaborations empower experts to foster unpacking the results and contextualizing them in the broader academic community" but we are left to wonder why the experts need to be empowered to foster anything. In the case of immediate release the experts will have their hands on the same data as the rest of us peasants, and then they can go right on fostering.

The tax applies retroactively to the 2026 tax year, even if you moved out sometime this year.

Yes math was my best subject in school, most of my software engineering touches on optimization for automated design. I program various math-flavored things in my spare time.

The only definition given for "we" is "the type of nerds who were attracted to math and software". I can assure you that includes me.

> the type of nerds who were attracted to math and software were into it because we saw it as an art-form

Discusses more than their own feelings, they generalize it to any nerd who was attracted to math or software.

AI methods are improving all the time. People think that modern chess engines are more powerful due to hardware advances but search refinements are enough - SF on a Pentium II would destroy even Kasparov and Deep Blue. In a like manner the guys at the frontier labs discovered an indirect method for attacking many problems and we can expect it to receive considerable refinement. It will not permanently require expensive training.

In some amount of time (centuries? decades? years?) it will be trivial for any shmuck to train their own automated theorem prover. If people think they are competing against monolithic data centers they are wrong. The brain consumes ~20W and it carries out theorem proving mostly as a side effect. We should not be surprised if the core algorithm requires much less than this.

> > Like who are we kidding, the type of nerds who were attracted to math and software were into it because we saw it as an art-form, it was a craft, it was being the only one in your city to be able to solve a complicated math problem, it was immortalizing yourself because you discovered a proof and added to the ever expanding human knowledge.

This is definitely projection. It might be why that particular person was attracted to those disciplines. I definitely don't recall thinking I should go into software so I can make better programs than anyone else in my city. Actually, it was kind of an accident - it was a hobby that turned into a career through serendipity. If one wanted to go into math or software to demonstrate superiority they probably should mourn. They were out-competed by the guys at the frontier labs in the end.