返回首页
最新
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运行成功，我们应该能够复兴其他几个人工智能的早期版本！）
所以，如果你对将第一个人工智能程序复活于第一个人工智能编程语言的想法感兴趣（实际上，它是最早的编程语言之一，几乎可以肯定是最晦涩的语言之一！），请私信我。
我所说的“典型的精明”是指那些相对小众且以特定行为特征而闻名的网站和其他在线社区。我认为，区分这些在线社区与其他社区的关键特征是，当有人发布一个链接到另一个不熟悉的网站时，社区的其他用户几乎是本能地回应说这是一个“IP记录器”或“IP抓取器”，因为他们已经融入了这个在线社区的文化。
我还发现，这些网站往往更依赖于他们的Discord频道，而不是实际的网站，常常形成一种缺乏透明度的秘密文化。Discord的参与者通常会在这里讨论那些卷入丑闻的用户。最好的情况通常是某个用户被指控“抓取网站”或“使用机器人”，而最糟糕的情况则是用户群发现某个知名用户参与了在线诱导等行为。往往被抓现行的成员是“工作人员”中的一员。
最后，我还想提到，表现出上述特征的在线社区似乎特别容易出现服务器模拟器和“私人服务器”，以复制在线社区网站或游戏的功能，或者其代码库的某些部分被直接泄露。无论哪种情况，总会有一种文化，认为能够访问原始网站或游戏源代码的用户是秘密知识的守门人。
我知道这些在线社区可能非常可疑，我并不想纵容这些具有这些特征的特定在线社区。我只是想听听大家对他们遇到过的符合我描述的在线社区的看法，而不明确提及相关的网站或游戏。我只是想知道这种原型是否比我之前想象的更为普遍。
在一家有变更管理流程的公司从事IT工作吗？你是如何处理MCP的？完全不处理？还是使用非常昂贵但不够有效的工具？不如让它适应你当前的设置吧！<p>我们需要为inxm.ai构建这个，并意识到这是回馈社区的绝佳时机。<p>企业MCP桥接器是开源的，能够通过封装你现有的MCP来解决身份验证、多用户和REST API的问题。