cocoafleck

7 ms·

1. 31.▲
   by cocoafleck 6y ago

   Startpage is similar to what you are describing. (Supposedly private, and backed by Google search.)
2. 32.▲
   by cocoafleck 6y ago

   The published one is significantly shorter which surprised me (6 pages vs 14 pages), but it does claim a different rate in the final paper "All these test results certify the randomness of our parallel random bits generated at a cumula
3. 33.▲
   by cocoafleck 6y ago

   I feel obligated to point out that there are tools that effectively repair broken proofs, but they just aren't labeled as such. For example, Frama-C is a program that takes in a simplified written proof (in a C comment language), and t