返回首页
最新
我写了一篇博客，概述了一种更全面的方法来评估和对齐人工智能与您的核心指标。我设想人工智能工程团队不仅通过笔记本进行协作，还会使用看板工具，而智能代理将帮助您积累知识并推荐下一个伟大的实验。
我很想听听您对人工智能实验的敏捷工作流程的看法。
如果您在3月24日星期一在旧金山，我们将在GitHub总部进行演示 - [https://lu.ma/nxy0zati](https://lu.ma/nxy0zati)。期待在那里见到您！
我已经努力了几个月，想要通过我的 X 账号推广 Waitfast（waitfast.netlify.app）——一个快速构建等待名单的免费工具。有时候我感觉自己像是在对着虚空喊叫。没有人点赞、回复或注册，我感到精疲力竭。但我找到了一些保持动力的小窍门：
<p>设定小目标：我把目标拆分成微小的步骤，比如“今天发布一个 Waitfast 更新”或“回复 5 个 X 用户”。即使大局进展缓慢，完成这些小目标也让我感到不错。
<p>与人交流：我会在 X 上询问一些随机的独立开发者或创作者，他们希望在像 Waitfast 这样的等待名单工具中看到什么。即使他们不参与，反馈也让我保持热情。
<p>跟踪进展，而不仅仅是关注者：我记录每一个小进步——新的帖子、小评论等等。看到一系列的成就让我意识到自己在前进，即使关注者增长缓慢。
<p>适当休息：当我感到卡住时，我会暂时离开——去散步、看节目、玩游戏。重新回到工作中让我能以不同的视角看待我的 X 策略。这并不光鲜，但让我继续坚持。上周，我在几个月后获得了一个新关注者，感觉非常重要。
<p>你是如何保持在 X 或其他平台上成长的动力的？有什么建议可以分享吗？
嗨，HN，我制作这个的想法是许多人对 TypeScript 和一阶逻辑都有一定的了解，因此将它们结合起来可以很好地引入自动定理证明。我的计算机科学大一逻辑课缺乏一个互动的代码环境。
这个项目完全基于网页，你可以尝试一下互动教程 <a href="https://peanoscript.mjgrzymek.com/tutorial" rel="nofollow">https://peanoscript.mjgrzymek.com/tutorial</a>。所有内容都用自己的术语进行解释，所以如果你只懂编程，应该能看懂。
如果你已经了解这些内容并想要快速了解，可以查看参考资料 <a href="https://peanoscript.mjgrzymek.com/reference" rel="nofollow">https://peanoscript.mjgrzymek.com/reference</a> 和游乐场 <a href="https://peanoscript.mjgrzymek.com/playground" rel="nofollow">https://peanoscript.mjgrzymek.com/playground</a>。
代码已在 GitHub 上发布 <a href="https://github.com/mjgrzymek/PeanoScript" rel="nofollow">https://github.com/mjgrzymek/PeanoScript</a>。
祝你玩得开心！
*顺序故事MCP服务器*<p>我开发了顺序故事，这是一种模型上下文协议工具，旨在通过叙事结构增强复杂问题的解决能力。通过融入角色、场景和情节等叙事元素，该工具使解决方案比传统的抽象方法更容易记住。<p>顺序故事在顺序思维的基础上增加了叙事元素。它使用户能够创建顺序叙事，随着理解的深入修订组件，并探索替代情节。GitHub: <a href="https://github.com/dhkts1/sequentialStory" rel="nofollow">https://github.com/dhkts1/sequentialStory</a>