|
|
|
|
|
|
by mejutoco
1094 days ago
|
|
|
I see code as engineering, where there is no "right". There is "right" for the features, or right for the safety, or right for the budget, in a balance of compromises. Sometimes "right" is crappy code, and sometimes it is formally verified code. |
|
|