最新

这是一项服务，您每月支付5美元，作为交换，您将获得一个临时电话号码，以便提供给需要电话号码验证的网站和应用程序。这有助于减少垃圾信息，因为许多这些网站和应用会立即转售您的电话号码。<p>我不明白为什么这会是非法的，因为您仍然保留订阅者的身份。

GBOX Android MCP 使代理（光标/Claude 代码等）能够操作 Android 设备。它可用于 Android 应用测试或移动自动化。

我之前在这里分享过Word Slicer——这是一款免费的、无广告的基于浏览器的文字游戏，玩家需要在5分钟内找到5个单词。从那时起，我一直在对其进行改进（增加了每日挑战存档、更加简洁的用户界面、更好的统计数据），我希望能得到HN社区更多的反馈。特别是，我对游戏流程、设计/用户体验以及如何让游戏更具吸引力的想法非常感兴趣。

构建了一个名为 sip 的小型命令行工具；它允许你从 GitHub 获取单个文件、一个目录或整个代码库，而无需克隆所有内容。<p>在 Linux/macOS 上运行顺畅。在 Windows 上，exe 文件仍然存在 libstdc++ 链接问题，欢迎贡献或提供建议。<p>GitHub: <a href="https://github.com/allocata/sip" rel="nofollow">https://github.com/allocata/sip</a>

我正在寻找一位合作伙伴，共同参与一个鲜为人知但具有历史意义的编程项目。正如你们中的一些人所知道的，我之前与重新复兴ELIZA的团队合作过（https://news.ycombinator.com/item?id=44300641）。现在，我正在致力于复兴原始的逻辑理论家（Logic Theorist，简称LT），这是由纽厄尔（Newell）、肖（Shaw）和西蒙（Simon）在1950年代中期于兰德公司（RAND）开发的传奇定理证明程序（https://news.ycombinator.com/item?id=43822619）。LT是最早创建的人工智能程序之一，它在《数学原理》（Principia Mathematica）中证明了定理，并被视为人工智能的奠基之作。而IPL-V作为Lisp的直接前身，专门设计用于支持人工智能编程（更准确地说，是符号启发式编程）。 幸运的是，IPL-V有良好的文档支持，我已经用Lisp编写了一个解释器，能够（大部分）正确运行原始的LT（https://news.ycombinator.com/item?id=43822619）。不过，我遇到了一些细微的问题，难以理清思路，感觉需要新鲜的视角和人来进行讨论。（因为我是目前唯一一个在使用IPL-V的人，我无法向ChatGPT或Stack Overflow求助，因为没有活跃的社区，也没有其他历史信息，除了几篇糟糕的OCR文献！我实际上尝试过将IPL-V手册提供给ChatGPT和Claude，让它们帮助我，但正如任何使用大型语言模型（LLMs）进行编程的人所知道的，它们在现代常用语言的模板代码方面表现良好，但在理解微妙的编程问题上，尤其是在一种已死的语言中，表现得相当糟糕！） 因此，我在寻找一位对人工智能和计算历史充满热情的Lisp黑客，或者只是想成为活着的两位曾参与最早的人工智能系统和语言开发的黑客之一。除了这个荣誉徽章，我能提供的唯一奖励是学术共同发表，因为早期人工智能在学术界引起了显著的兴趣。（一旦LT运行成功，我们应该能够复兴其他几个人工智能的早期版本！） 所以，如果你对将第一个人工智能程序复活于第一个人工智能编程语言的想法感兴趣（实际上，它是最早的编程语言之一，几乎可以肯定是最晦涩的语言之一！），请私信我。