ykonstant
10 hours ago
A good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.
The Collatz conjecture was false [video]
2 pointsposted 10 hours ago
by ykonstant10 hours ago
A good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.