axorb

15 ms·

1. 1.▲
   by axorb 11y ago

   We're talking proofs here tho, and you aren't allowed to prove something by "throwing enough input at it", isn't it like saying that unit tests are proofs of the correctness of a program?
2. 2.▲
   by axorb 11y ago

   >Second, about proof-by-Coq: If there's ever a bug in Coq, they're going to have to re-run all the proofs that have been done this way, and see which (if any) of them are actually invalid. (It still may be better than proof by
3. 3.▲
   by axorb 12y ago

   I never used a C++ web framework, how does this compare to the (few) other existing ones like Wt or crow?
4. 4.▲
   by axorb 12y ago

   isn't it 0.00143045%?