返回首页
最新
我开发了一个人工智能代理,可以进行移动应用的质量保证(QA),这是在谷歌工作多年并等待几周才能得到QA结果后实现的。它在真实设备上运行,并使用多个代理(包括计算机使用)进行类似人类的测试。很高兴回答任何问题,希望它能帮助应用开发者更快地发布无bug的产品!
嗨,HN,
我将David Deutsch和Chiara Marletto于2025年5月13日发布的论文《时间的构造理论》转化为一个可执行的Python库。
你将发现:
- 论文形式的逐一翻译:基底、属性、任务、构造器和任务代数运算符
- 可能性/不可能性谓词和反事实以定义的方式精确编码
- 测试套件与每个引理和示例相对应(覆盖率超过95%,经过mypy类型检查)
- 关键结果的复现:时间保持基底、不可逆性证明、量子分支任务和自复制构造器
为什么分享?
阅读这篇论文比较困难;将每个定义用代码表达清晰了这些想法,并提出了一些讨论问题。希望这能帮助他人并激发进一步的扩展。
寻求反馈:
- 我是否遗漏了形式中的任何细微之处?
- 你希望接下来实现哪些额外的定理或示例?
仓库链接: [https://github.com/gvelesandro/constructor-theory-simulator](https://github.com/gvelesandro/constructor-theory-simulator)
感谢你的关注——欢迎提出问题和拉取请求!
我创建了 AI Pomo(<a href="https://ai-pomo.com" rel="nofollow">https://ai-pomo.com</a>),因为对现有的番茄钟感到失望。
问题是:在同时管理多个项目时,我需要准确跟踪我在每个特定任务和项目上花费了多少个番茄钟。标准的计时器无法做到这一点。
AI Pomo 将每个番茄钟会话与特定的任务和项目连接起来,因此您可以清楚地看到您的时间花费在哪里。它还利用人工智能帮助将复杂项目拆分为可管理的任务。
主要功能:
- 每个番茄钟都与特定的任务和项目相关联
- 人工智能可以根据简单描述生成完整的项目结构
- 统计数据显示您为每个任务/项目完成了多少个番茄钟
- 遵循 GTD(完成任务)系统进行项目组织
免费计划包括所有核心功能。
欢迎任何反馈或问题!