|
|
|
|
|
|
by itishappy
482 days ago
|
|
|
My point is that proving the correctness of code is not always relevant. When it is, don't use AI coding assistance, and hire smart people to do the work. When it's not, fuck it, go ahead and produce that flight sim without researching quaternions. MOST code does not need to be provably correct, or we'd all use Ada. |
|
|