TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time”

84 点作者 SandroG7 天前
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 • One-to-one translation of the paper’s formalism: Substrates, Attributes, Tasks, Constructors, and task-algebra operators • Possibility &#x2F; impossibility predicates and counterfactuals encoded exactly as defined • Test suite that mirrors every lemma and example (&gt;95 % coverage, mypy-typed) • Reproductions of key results: time-keeping substrates, irreversibility proofs, quantum branching tasks, and a self-replicating constructor<p>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.<p>Looking for feedback: • Did I miss any subtleties in the formalism? • 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!

4 条评论

canvascritic7 天前
Clearly a labor of love. Props to you<p>I suppose if one is teaching or evangelizing constructor theory, this could be sort of like an interactive textbook<p>Needless to say, constructor theory hasn&#x27;t really earned a stable foothold in mainstream physics, and there&#x27;s a lot of hype in this space, but that&#x27;s not a criticism of this particular project, just good to know for anyone not familiar<p>The quantum gravity + graviton tasks stuff especially. without a falsifiable physical model backing it, this can feel like mathematized cosplay. But that has more to do with constructor theory vs this project<p>Would love to see someone do a pluggable backend so you could test different &quot;task ontologies&quot; against each other.<p>Mainly I came here to say that categories can likely be used to great effect here a la Geroch<p>For instance you can start by modeling tasks as morphisms between substrate states (objects), and then enforce composition explicitly. define constructors as functors that map tasks and substrates while preserving structure.<p>for quantum or irreversible effects, use monads to encapsulate branching and decoherence. Then one could represent task sequences as categorical diagrams and check for commutativity. Or embed substrates via Yoneda to expose behavior in terms of available tasks
评论 #44028009 未加载
评论 #44025030 未加载
amelius7 天前
Can it simulate a hydrogen atom? How about two hydrogen atoms coming into contact with various energies?
评论 #44024902 未加载
moneywaters6 天前
when I run the demo.py, its static in matplotlib window, should it move right ?
revskill7 天前
What is it for ?
评论 #44024225 未加载