3 ms·The Collatz conjecture was false [video]2 points by ykonstant 2mo agoykonstant 2mo agoA good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.