嗨，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>
我的名字是卡尔，过去大约18个月我一直在开发一个网络应用程序。这个应用旨在成为一种代理/自动化编辑器。目前，它支持40种图像工具，但不久后还会增加文本和视频工具等更多类型。虽然目前的代理能力有限，但这个应用已经能够串联操作、选择和更新工具。
我们的目标是简化用户的任务，同时能够对应用进行手动控制。
这个工具系统的设计使其可以被其他应用使用，并由人工智能进行控制。
这个项目花费的时间远超我的预期，现在我正进入市场推广阶段，但资金即将耗尽。
目前大约有400名免费用户。但由于不确定需要多长时间才能获得足够的付费用户以使项目可持续，我决定向大家寻求帮助。我对更好的销售解决方案持开放态度，或者寻求潜在的合作或投资。甚至可以考虑将技术应用于其他项目或初创公司，以使其受益。
要查看应用，请访问：tools.ceacle.com
如需通过电子邮件联系，请发邮件至 hi-at-carlbrenner.co
谢谢！
一款 macOS 菜单栏应用，可以通过在您长时间盯着屏幕而不眨眼时逐渐淡化屏幕，来帮助减轻眼睛疲劳。非常适合长时间的 HN 会话！
我已经在这个项目上工作了四个月。这是一个集电视节目追踪、电影追踪、游戏追踪等各种媒体追踪于一体的应用程序。
去年11月底，我试图找到一个可以追踪我的电视节目的工具。我看了很多节目，已经持续了大约15年。有些我在2018年的一个随机周末观看的精彩节目，现在完全忘记了。
因此，我尝试寻找一个简单的列表解决方案，但我对现有的任何解决方案都不太满意。所以我决定自己开发一个。尤其是重看或重读的功能在现有网站上表现得很一般。
这个过程相当有趣，我通过一些Reddit帖子已经注册了大约175个用户，但这仍然是个早期阶段。
这个应用的后端使用C#构建，前端则使用了新的React Router 7框架模式。我很高兴时机恰好合适，没有被迫使用NextJs来满足SSR/SEO的需求。RR7的使用体验要好得多，它简单有效，不会妨碍你的工作。
我越深入这个领域，现有网站的问题就越明显。就连IMDb也是。为什么在查看《黑暗骑士》时我看不到相关标题？为什么我看不到它是三部曲的一部分？为什么我看不到其他蝙蝠侠电影？为什么我在任何地方都找不到《哥谭》这部电视剧？对于一个娱乐网站来说，这些都显得很奇怪。他们有数据...
请查看一下，告诉我你的想法。