One of the big problems with this is that it effectively changes the job description of programmers to managers.

You're not just responsible for your own code, you're responsible for telling someone/something else what to do, and then reviewing their work, and then integrating that work and making sure it's correct, because if it gets checked in and it's wrong, you're on the hook for it. But you didn't even write it, so it's harder to understand. Most programmers I know are better at understanding the code they wrote rather than the code they read.

Management is not a job for everyone. I've been a senior programmer and a lead programmer, and it is easier to be a senior programmer that writes complicated, essential systems than it is to be a lead programmer that REVIEWS those systems. If you don't want to do that kind of management work and you just enjoy writing code, you should stay a senior programmer, or move up to some other non-management job. But if you're forced to babysit an LLM, you get ALL THE WORST PARTS of being a lead programmer. You only get the code reviews and none of the intellectual stimulation and enjoyment of creating that thing on your own.

At least a couple comments have pointed out that solo devs use LLMs to great effect, and I'm sure this is true. But if you're not a solo dev, the task is so much different. You're trying to integrate with a bunch of other people and other systems and you're on the hook for something you didn't even write, so you'd best spend the time learning what the code says. It completely defeats the point. When I get an LLM to write my powershell scripts for me, it's because I have no interest at all in learning that scripting language. It takes 2 minutes, usually does a good job, and I can forget about it forever. The development model of asking an LLM to write code that you're responsible for that has to intermingle with the code of dozens of other people and agents sounds like a straight-up nightmare.

Solo development is a different job. The tasks you give to AI are based on what you need, and your own mental model of they code they need to spit out.

Large-scale development is different, because people are different. I've worked on 5 or 6 different game engines over the years, and Unreal is the current one that I'm on. Unreal has its quirks. The rest of our game engine has historical baggage that I need to account for. The interactions between systems are more organic, because not everything can be planned in advance. I worked on Assassin's Creed for 3 games (about 7-8 years?) and we carry over the mistakes of the previous games to the next one, because that engine shipped a game, so it's a known quantity. Sometimes if you're lucky, you get to fix some of those bugs, but then the next games get YOUR bugs, etc.

Solo devs ARE doing amazing work with AI, but solo devs *by definition* don't need to understand the code of 1 or 4 or 50 other people. You can't just check shit in on a big team.

Perfectly reasonable study, because small-scale development is not the same. I have to understand the code of 10+ programmers on a regular basis. Our game engine is involved. The only way for me to learn the code is to use it and step through it.

If you're writing apps yourself, AI is great. It's a teammate that follows your instructions and implements the things that you want. You've already got a mental model of what you need, and it gives that to you. Of course it works for you.

Big codebases are just different. Systems are interdepedent in weird ways for historical reasons, or vendor reasons or weird coworker reasons or whatever. It's not the same task.

There's quite a lot of nuance here, I guess, which isn't unexpected. It's quite a useful anecdote. At the very least, we can't just wave it away like it's not useful. It may generate sub-standard paintings or completely miss the point of art, but if it makes your proofs better, it seems insane to not have it help.

Well, wait, I don't think that actually disproves the claim. I'm not saying it's not impressive, I just don't think it's as novel as you say.

When I ask an LLM to write me code that does something 'novel', it usually does quite a good job. I'm just using the freely available models, but they quite competently write code that is not truly derivative of any other code. If I give them some code of my own that has a bug in it, they'll find the bug and patch it, and that bug is, for all intents and purposes, unique.

You're still seeing a bunch of old patterns rehashed--I presume that other proofs introduce infinity families, and they can iterate through inside a clear logical structure to test whether or not something works. Again, this is impressive work, but I'm not personally convinced that this is 'novel' in terms of the broader corpus of mathematical knowledge. It didn't invent a new field of mathematics to solve your problem.

Even if you didn't prompt it, take a look sometimes at the contemplations of the models, if that's available to you. Before the model even arrives in your hands, it's got stacks of prompts giving it meta instructions, and it then generates prompts for itself to check your work. I think it would be interesting if you ran your experiment again on a new account that's fresh and see if you can watch the chain of reasoning. You might be right, it MAY be doing something TRULY novel, but as I've said, I've got my doubts.

Obviously, you're a mathematician and I'm not; I can't tell you that you're wrong about it if you insist that it is doing something new.

Building your resume to go work at the thought crimes division, huh?

So your argument is, "broken window theory applies to highly regulated nuclear waste"

The people who dumped it there are long dead, or will soon be aging out of life anyways. It's everybody's problem now. Being on the literal bottom of the ocean and "missing" for many decades it's probably not doing much harm down there. If the ocean evaporates enough that a human can get within 2 miles of the stuff, we'll have bigger problems to worry about anyways.

Without prior warning

Not only did they add a "no class action lawsuit" clause, but they locked you out of all your already-downloaded smart tv apps like youtube until you did so.

If you need a legally gray area (at best) third party website to use a service, i don't know how that's somehow a net positive

I saw a video by a photographer and he points out that the quality of photos is not the reason to buy a dedicated camera. After all, you can buy a $2000 Ricoh that only takes black and white photos now; the iPhone will, in most circumstances, take 'better' photos, or at least more true-to-life photos.

But a dedicated camera focuses your attention. If you carry your camera, you're concerned with photography. You're not distracted by texts or whatever. And so your photography is likely to be better--you're paying attention to the task in a way that you rarely will with your phone.

Nice, i posted prior art about this back in 2017 so lmk if apple tries to sue you over any patent on this

Apple et all stopped including charger, cable, headphones etc because it's tremendous amount of ewaste. I already have cables, charges, headphones. I don't need crappy earbuds, if i need them i will buy them. I think the EU explicitly banned pack in power adapter and cables like ~10 years ago? There's already probably 25 USB adapters on the planet for every man woman and child

Every time people hear what it actually involves is outrage and opposition, at least all the way back to when Intel first announced that they wanted to hardcode identity numbers inside CPUs in 1999. But the corporations involved have been relentless, and have sunk countless billions of dollars steadily forcing it forwards, and building front organizations to obfuscate and whitewash it.

With Windows 11, Microsoft was finally able to FORCE Trusted computing hardware into every new computer. Not just every new Windows computer, but every computer.

Every new Intel PC CPU has built in Trusted Computing enforcement hardware. Every new AMD PC CPU has built in Trusted Computing enforcement hardware. Every new ARM PC CPU has built in Trusted Computing enforcement hardware. The only processor lines that DON'T have it are the microcontrollers.

There are some unlocked smartphones available, but as far as I can determine it's literally impossible to buy a smartphone that doesn't have hardware trusted computing built in.

I specified that enforcing Trusted Computing at the internet access level is still a long term goal, they couldn't get away with it today. However they are well on the way to success. Virtually all new hardware supporting trusted computing, all the front groups rolling out standards and systems, and as it gets incorporated into things everyone is going to increasingly running into situations where they get locked out of stuff if they're not Trusted Computing compliant. Streaming already restricts you to the worst quality if you're not compliant, and it's only going to get worse as pre-Win11 computers fade out and as more things require it.