HNNewShowAskJobsBuilt with Solid

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

(github.com)

8 points | by nwthiele 21 hours ago ago

2 comments

  • usefulposter 10 hours ago ago

    https://old.reddit.com/r/learnpython/comments/1pltqal/my_son...

    https://old.reddit.com/r/Python/comments/1pkrqtm/thiele_mach...

    https://old.reddit.com/r/compsci/comments/1pj3ovl/thiele_mac...

  • hayley-patton 20 hours ago ago

    > If you can't falsify it, you have to take it seriously.

    No, I don't.