Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing(github.com)
6 pointsby nwthiele6 hours ago1 comment
  • hayley-patton4 hours ago
    > If you can't falsify it, you have to take it seriously.

    No, I don't.