Show HN: Python Simulator of David Deutsch’s "Constructor Theory of Time" Hi HN, I turned the freshly published paper “The Constructor Theory of Time” by David Deutsch and Chiara Marletto (arXiv, 13 May 2025) into an executable Python library. What you’ll find • One-to-one translation of the paper’s formalism: Substrates, Attributes, Tasks, Constructors, and task-algebra operators • Possibility / impossibility predicates and counterfactuals encoded exactly as defined • Test suite that mirrors every lemma and example (>95 % coverage, mypy-typed) • Reproductions of key results: time-keeping substrates, irreversibility proofs, quantum branching tasks, and a self-replicating constructor Why share? Reading the paper is tough going; expressing each definition in code clarified the ideas and surfaced a couple of questions for discussion. Hoping it helps others and sparks extensions. Looking for feedback: • Did I miss any subtleties in the formalism? • Which additional theorems or examples would you like implemented next? Repo: https://ift.tt/zQBDefh Thanks for taking a look—issues and PRs welcome! https://ift.tt/zQBDefh May 19, 2025 at 01:52AM
Show HN: Python Simulator of David Deutsch’s "Constructor Theory of Time" https://ift.tt/VpEujd6
Related Articles
Show HN: GitHub-style screen time visualizer on iOS https://ift.tt/aFAxKfmShow HN: GitHub-style screen time visualizer on iOS I wanted a longer-… Read More
Show HN: Cave Adventure 1976 PICO-8 port https://ift.tt/zsWY1x6Show HN: Cave Adventure 1976 PICO-8 port Made this during COVID. I was… Read More
Show HN: The all-in-one fake API https://ift.tt/tLpMdkoShow HN: The all-in-one fake API https://fooapi.com December 30, 2024 … Read More
Show HN: Handwritten Christmas Card for Hacker News https://ift.tt/GxSQfOvShow HN: Handwritten Christmas Card for Hacker News Hi HN, I’ve been w… Read More
Show HN: GitHub repository through a Podcast https://ift.tt/Y7v6SG4Show HN: GitHub repository through a Podcast Understanding any GitHub … Read More
Show HN: Dispatched.dev – Background Job Queues for Your Serverless Apps https://ift.tt/DGedJL0Show HN: Dispatched.dev – Background Job Queues for Your Serverless Ap… Read More
Show HN: Handwritten Christmas Card for Hacker News https://ift.tt/GdprSIXShow HN: Handwritten Christmas Card for Hacker News Hi HN, I’ve been w… Read More
Show HN: Jido – Run 10k agents at 25KB each (Elixir) https://ift.tt/QHrTyXvShow HN: Jido – Run 10k agents at 25KB each (Elixir) Hi HN! I'm Mike H… Read More
0 Comments: