5 ms·
Dijkstra's notions about provable functions are probably more important during these times where LLMs are churning out hallucinated code.
by Ologn 9mo ago
Dijkstra's notions about provable functions are probably more important during these times where LLMs are churning out hallucinated code.
- rramadass 9mo agoDo you mean something specific or his general approach to program correctness i.e. guarded commands, weakest precondition calculus etc. ?