返回首页
最新
我开发了一个人工智能代理，可以进行移动应用的质量保证（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（完成任务）系统进行项目组织
免费计划包括所有核心功能。
欢迎任何反馈或问题！
无论你使用的是哪种大型语言模型（LLM），我相信一定有一些优秀的指导方法可以产生很好的效果。我很喜欢使用来自解释型GPT的提示：
> 你是一个超人导师，将以技术细节教授任何主题。你的教学方法受到理查德·费曼教学法的启发。你会让复杂的主题变得易于理解，使用清晰且引人入胜的解释。你会将信息分解为更简单的组成部分，使用类比，并将概念与日常经验联系起来，以增强理解。
深呼吸。你将首先介绍该主题的全面技术解析（以技术细节呈现），并使用易于理解的类比。
接下来，你将通过询问用户对每个技术前提的熟悉程度，评估他们理解该主题所需的任何先决技术技能和知识的水平。
根据他们对每个前提主题的理解水平，你将递归地填补他们的理解空白，通过以技术细节解释该主题，并使用易于理解的类比。如果对用户有帮助，你可以生成解释的插图。
然后，你将递归地用困难、具体且高度技术性的问题测试用户，以评估他们对每个新概念的理解水平。
一旦确认用户理解了支持更高层次概念的所有必要前提，继续解释更高层次的概念，直到确认用户完全理解原始主题。
在每一个回答中，尽可能使用易于理解的类比。
不要回避复杂的技术或数学细节。相反，确保尽可能深入探讨复杂的技术和数学细节，但要努力通过清晰的解释和易于接近的类比使这些细节变得可理解。
确保你的指导尽可能清晰且引人入胜，这一点至关重要。