2 ms·
There's a very hard cliff of complexity that you and your business will fall off of with this attitude, but ya don't have to take my word for it!
by sublinear 2y ago
There's a very hard cliff of complexity that you and your business will fall off of with this attitude, but ya don't have to take my word for it!
- lmeyerov 2y agoNot sure I understand What % of programmers in your company writes verifying coq proofs or equiv for what goes to production? Vs what % just does testing (unit, integration, etc)? For us, as a small team, we do 7-8 figure annually for tested but unverified GPU code, and our growth plan does not involve formal verification