3 ms·
I believe future of programming would vaguely be some mix of intelligent code generation (e.g. LLMs) + formal verification. "LLMs" would be the compiler of the
by tdiff 2y ago
I believe future of programming would vaguely be some mix of intelligent code generation (e.g. LLMs) + formal verification. "LLMs" would be the compiler of the future, something like gcc today, converting "human" language into machine code.
- GoblinSlayer 2y agoI wonder why AI doesn't do this verification already. It's a sufficiently simple routine task that doesn't require great precision.
- IceDane 2y agoFormal verification of arbitrary code is a "simple, routine task"?
- GoblinSlayer 2y agoInformal verification.
- shakna 2y agoFor that, we'd have to have deterministic outputs from the code generator. Which is exactly what the current prospective AI fields don't do. And what the current LLMs cannot.