| ▲ | Legend2440 4 hours ago | ||||||||||||||||||||||
I don't agree with this take. Determinism is a nice property for abstractions to have, but it isn't necessary to be an abstraction. And LLMs can handle very abstract concepts that could not possibly be encoded in C++, like the user's goal in using software. | |||||||||||||||||||||||
| ▲ | farmdawgnation 3 hours ago | parent [-] | ||||||||||||||||||||||
I think you could also make the case that the existing abstractions aren't actually fully deterministic themselves. The compiler or interpreter may not behave as it should. Therefore, for any correct C code, there's probability that the GCC compiler will turn it into correctly formed machine code. But it may not! Is the probability much higher with GCC? Sure. But it's still a probability. | |||||||||||||||||||||||
| |||||||||||||||||||||||