The Collatz conjecture was false [video](www.youtube.com)
2 pointsby ykonstant3 hours ago1 comment
  • ykonstant3 hours ago
    A good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.