3 ms·
If you can come up with a formal proof of correctness for an evolving API then you are clearly operating on a higher plane of software development than us mere
by femto113 7y ago
If you can come up with a formal proof of correctness for an evolving API then you are clearly operating on a higher plane of software development than us mere craftspeople, and I certainly wouldn't presume to talk you out of trying.