{"by":"SandroG","descendants":11,"id":44024055,"kids":[44024667,44024564,44026329,44024180],"score":84,"text":"Hi HN,<p>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.<p>What you’ll find\n • One-to-one translation of the paper’s formalism: Substrates, Attributes, Tasks, Constructors, and task-algebra operators\n • Possibility &#x2F; impossibility predicates and counterfactuals encoded exactly as defined\n • Test suite that mirrors every lemma and example (&gt;95 % coverage, mypy-typed)\n • Reproductions of key results: time-keeping substrates, irreversibility proofs, quantum branching tasks, and a self-replicating constructor<p>Why share?\nReading 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.<p>Looking for feedback:\n • Did I miss any subtleties in the formalism?\n • Which additional theorems or examples would you like implemented next?<p>Repo: <a href=\"https:&#x2F;&#x2F;github.com&#x2F;gvelesandro&#x2F;constructor-theory-simulator\">https:&#x2F;&#x2F;github.com&#x2F;gvelesandro&#x2F;constructor-theory-simulator</a><p>Thanks for taking a look—issues and PRs welcome!","time":1747599753,"title":"Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time”","type":"story","url":"https://github.com/gvelesandro/constructor-theory-simulator"}