最新

这项服务每月收费 5 美元，用户可以获得一个临时的电话号码，用于提供给需要电话号码验证的网站和应用程序。这有助于减少垃圾邮件，因为许多网站和应用程序会立即转售你的电话号码。 我不明白这为什么会违法，因为你仍然保留了用户的身份信息。

GBOX Android MCP 允许代理（Cursor/Claude Code/…）操作安卓设备。它可用于安卓应用测试或移动自动化。

我之前在这里分享过 Word Slicer——这是一个免费的、无广告的、基于浏览器的文字游戏，你需要在 5 分钟内找到 5 个单词。从那以后，我一直在改进它（每日挑战存档、更简洁的 UI、更好的统计数据），并且希望得到更多来自 HN 社区的反馈。特别是，我对游戏玩法流程、设计/用户体验的看法很感兴趣，以及如何让它更具吸引力。

我开发了一个名为 sip 的小型命令行工具，它可以让你从 GitHub 上获取单个文件、目录或整个代码库，而无需克隆所有内容。 它在 Linux/macOS 上运行流畅。在 Windows 上，可执行文件仍然存在 libstdc++ 链接问题，欢迎提供贡献或建议。 GitHub 地址：<a href="https:&#x2F;&#x2F;github.com&#x2F;allocata&#x2F;sip" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;allocata&#x2F;sip</a>

我正在寻找一个合作伙伴，共同参与一个冷门但具有历史意义的编程项目。 正如你们中的一些人所知，我之前曾与重新激活ELIZA的团队合作（https://news.ycombinator.com/item?id=44300641）。我现在正在致力于重新激活最初的逻辑理论家（LT），这是一个传奇的定理证明程序，由纽厄尔、肖和西蒙在20世纪50年代中期于兰德公司使用IPL-V编写（https://news.ycombinator.com/item?id=43822619）。LT是有史以来最早的AI程序之一。它证明了《数学原理》中的定理，被认为是人工智能的奠基之作。而IPL-V，作为Lisp的直接先驱，是专门为支持AI编程（更准确地说，是符号启发式编程）而设计的。 幸运的是，IPL-V有很好的文档记录，我已经用Lisp为它编写了一个解释器，该解释器（大部分）正确地运行了原始的LT（https://news.ycombinator.com/item?id=43822619）。但我遇到了一些细微的问题，我很难想清楚，感觉需要新鲜的视角和可以一起讨论的人。（因为我目前是世界上唯一一个使用IPL-V的人，我无法向ChatGPT或Stack Overflow求助，因为没有活跃的社区，除了少数几个OCR扫描质量很差的出版物之外，也没有其他历史信息！我实际上尝试过将IPL-V手册提供给ChatGPT和Claude，让他们提供帮助，但是，正如任何使用LLM进行编程的人都知道的那样，它们擅长于常见现代语言中的样板代码，但在理解微妙的编程问题方面表现很差，尤其是在一种“死亡语言”中！） 所以我正在寻找一位对AI和计算历史充满热情的Lisp黑客，或者仅仅是想说自己是世界上仅有的两个参与过最早的AI系统和语言的黑客之一。除了这份荣誉之外，我能提供的唯一回报是学术合作出版，因为早期AI在学术界引起了极大的兴趣。（一旦LT运行起来，我们应该能够让其他几个最早的AI程序焕发生机！） 所以，如果你对在第一个AI编程语言（实际上，最早的编程语言之一，而且几乎可以肯定是最深奥的语言之一）上让第一个AI程序重现生机感兴趣，请私信我。

我所说的“典型精明”指的是那些既有一定细分领域特色，又以特定行为方式著称的网站和其他在线社区。我认为，将这些在线社区与其他社区区分开来的关键行为方式是：当有人发布指向另一个陌生网站的链接时，社区的其他用户几乎会条件反射地回应说这是一个“IP记录器”或“IP抓取器”，因为他们已经融入了该在线社区的文化。 我还发现，这些网站往往更倾向于围绕它们的Discord频道展开，而不是实际的网站，这常常会形成一种缺乏透明度的秘密文化。Discord的参与者通常会聚集在那里，爆料那些卷入丑闻的用户。最好的情况通常是用户“抓取网站数据”或“使用机器人”，而最坏的情况是用户发现一个知名用户参与了网络诱骗等行为。而且，被抓现行的往往是“管理团队”的成员。 最后，我还想提到的是，那些表现出上述特征的在线社区似乎更容易出现以下情况：要么创建服务器模拟器和“私人服务器”来复制在线社区网站或游戏的功能，要么直接泄露其部分代码库。无论发生哪种情况，总会有一种文化认为，拥有原始网站或游戏源代码的用户是掌握秘密知识的守门人。 我知道这些在线社区可能非常可疑，我并不想纵容那些具有这些特征的特定在线社区。我只是想听取大家的意见，看看他们遇到过多少符合我描述的在线社区，而无需明确提及相关网站或游戏。我只是想知道，这种原型是否比我之前想象的更常见。