nowfound

Dev tools · May 18, 2025

PS

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…

Visit github.com ↗Alternativestop 22% of May 2025

In plain words

This Python library translates the mathematical formalism from David Deutsch and Chiara Marletto's "Constructor Theory of Time" paper into executable code. It includes implementations of core concepts like substrates, constructors, and task operators, along with a comprehensive test suite covering key results such as time-keeping substrates and irreversibility proofs. The tool is designed for researchers and developers seeking to explore or extend the paper's theoretical framework through practical computation.

written from the facts on this page · September 2026

From the sources

In the maker’s words, at launch

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://github.com/gvelesandro/constructor-theory-simulator Thanks for taking a look—issues and PRs welcome!

More dev tools this month

the category →
  • Dograh▲592

    The open source VAPI alternative

    Dev tools · 25d ago · dograh.com

  • Meridian▲530

    Don't let your work go unnoticed. Get promoted!

    Dev tools · 20d ago · meridiona.com

  • x1▲516

    Lovable for iPhone apps go from idea to App Store

    Dev tools · 11d ago · x1.new

  • The GTM Co-Founder▲402

    Open-source GTM skills for technical founders

    Dev tools · 29d ago · gtmcofounder.com

  • Open-Source eInk Bike Computer▲392

    OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.

    Dev tools · 2d ago · opentrailpaper.com

  • Nuphos▲380

    The AI-Native DevOps Workspace.

    Dev tools · 24d ago · nuphos.ai

Launched alongside, May 2025

the whole month →