The end of classical Computer Science is coming

Also, in mathematics, many proofs contain a decision procedure or a parametric algorithm for constructing a counterexample.

SQL and Compilers changed the goal of many programmers from writing custom extractors or serving as computer translators, to writing useful intents for extraction and actions. You still need to know WHY you’re extracting or adding your code in both cases, often need to understand the substructure enough to dive in and debug when results are unexpected or “not optimal enough”, and ultimately much of the cut content caused by the gained efficiency was ultimately boilerplate that, once eliminated, allowed programmers to take on more ambitious project scope than they did previously, because they weren’t spending their time rewriting a new data storage system or translating actions into machine language for the umpteenth time.

I feel we’ll see a similar progression - these code generators, very optimistically assuming a world where they work deterministically “good enough” to trust with even core business logic, will be treated as black box valid action generators, but in a world where action generation is free, but under-specification or incorrect specification is wrong, we still have something curiously resembling programming - the art of programming becomes one of maintainably chaining assemblages of black boxes into cohesive, maintainable superstructures.

I suspect we’ll say the same thing about code which was of simple and safe enough structure that we could trust it to black box generators that we currently say about SQL,

> Thank god I don’t have to redo all that work every time I start a new project

And, as with SQL, the project requirement boundaries will move to match your increased output capacity.

Much like the old saying “What Andy Giveth, Bill Taketh away”, it is perhaps modernized, “What Copilot giveth, Your PM Taketh Away”

===

One day in the spring, at the hour of an unprecedentedly hot sunset, two citizens appeared in Moscow, at the Patriarch's Ponds. The first of them, dressed in a summer gray pair, was short, well-fed, bald, carried his decent hat with a pie in his hand, and on his well-shaven face were glasses of supernatural size in black horn-rimmed. The second, a broad-shouldered, reddish, swirling young man in a checkered cap twisted at the back of his head, was in a cowboy shirt, chewed white trousers and black slippers.

===

Human:

===

At the sunset hour of one warm spring day two men were to be seen at Patriarch's Ponds. The first of them--aged about forty, dressed in a greyish summer suit--was short, dark-haired, well-fed and bald. He carried his decorous pork-pie hat by the brim and his neatly shaven face was embellished by black hornrimmed spectacles of preternatural dimensions. The other, a broad-shouldered young man with curly reddish hair and a check cap pushed back to the nape of his neck, was wearing a tartan shirt, chewed white trousers and black sneakers.

===

"шляпу пирожком" has been auto-translated to "hat with a pie" - ridiculous and inaccurate AI translation. It is only one of many, many examples.

The example above was from a random book. I knew AI is going to fail.

Perhaps you could qualify your initial statement that we can’t translate literature in a way that isn’t ugly. That would be true. But machine translation is a huge asset every day to people in need of understanding important things in a foreign language. Quite a miracle really.