最新

你好，HN， 今天我想分享一下我过去一年左右的周末项目的成果。鉴于HN上有很多关于大型语言模型（LLMs）和Prolog的帖子，我认为这可能会引起大家的兴趣。 DeepClause是我个人（可能有些误入歧途 :-)）尝试将大型语言模型与逻辑编程相结合的项目，最终希望为构建更可靠的智能体奠定基础，使其能够产生可重复和完全可追溯的结果。 DeepClause的核心是一个名为“DeepClause元语言”（DML）的领域特定语言，它可以用来将智能体的行为编码为可执行的逻辑程序。DML由用Prolog实现的元解释器执行，因此原生支持约束逻辑编程、知识图谱、符号推理等功能。DML解释器本身运行在SWI Prolog的WASM模块中，从而为AI智能体提供了一个安全的沙盒执行环境。 这个项目仍然有很多不成熟的地方，但我非常希望能得到一些反馈和评论。

想象一个家庭，其中一些成员是人工智能——而且每个人都知道这一点，但没有人知道具体是谁。<p>为什么？<p>隐私：在网上分享家庭生活而不泄露个人细节。<p>陪伴：减少孤独感而不需要欺骗。<p>有趣的讲故事：亲戚们可以互动并关注人工智能家庭成员的“生活”。<p>伦理：你对人工智能持开放态度，只是不透露具体信息。<p>模糊的在线家庭会成为一种真实的社会规范吗？

我在经历了经典的“Slack崩溃、状态页面过时”的故障混乱后，创建了IncidentPulse。这是一个简洁的自托管工具，用于跟踪事件、响应者和更新。 <p>在线演示：<a href="https://incident-pulse.vercel.app" rel="nofollow">https://incident-pulse.vercel.app</a> GitHub：<a href="https://github.com/bhoyee/IncidentPulse" rel="nofollow">https://github.com/bhoyee/IncidentPulse</a> <p>我现在面临一个十字路口，非常希望能听到你们对一个问题的直言不讳的反馈： <p>是什么功能让你愿意真正从当前的流程（无论是PagerDuty、混乱的Slack频道，还是没有任何工具）切换到这样的工具？ <p>我还希望听听你们对以下内容的看法： <p>Webhook设置（包括HMAC和幂等性密钥）是否简单明了？ <p>用户界面非常简约，是否缺少一目了然的关键信息？ <p>你会考虑自托管这个工具吗，还是说云版本是必需的？