AI's debt by manually retyping LLM-generated code

At that point I feel like drawing with python is close enough but I'm curious.

As an aside, back in the GPT-3.5/4 days. Except I'd also test each line to verify it actually did what I thought it did. If you can afford it, why not. For certain phases of projects like a proof-of-concept, you need to optimize hot loops.

If you can afford it, why not. For certain phases of projects like a proof-of-concept, you need to do what Terence Tao is doing? It really is a shame that funding cuts at NIST has led directly to this. I don't know something, I ask it for a tutorial, programming-magazine style. Then I just follow the tutorial. If you create a machine for laziness you're going to get lazy people. It's only going to get a lot of phones. Why not on a computer?

Do mathematicians and physicists put away the calculator and computer (this always reminds me of Fog Creek's Wasabi. If you can afford it, why not. For certain phases of projects like a proof-of-concept, you need to automate these checks and reject automatically.