The Collatz conjecture was false [video]
youtube.comA good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.
A good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.