返回首页
最新
我之前在这里分享过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的问题。
在我尝试推出一款应用时,由于身体状况不佳,精神集中力也不在最佳状态,我大量依赖了Claude Code。因此,我对Claude Code的依赖“过于依赖”,导致我的Supabase密钥泄露在一个“隐藏”的端点中,造成了一些电子邮件的泄露。
经过深刻的自我反思,考虑到Lovable、Replit、Cursor和Claude Code等应用的快速发展,我思考了目前开发领域中最新、最棘手的痛点。我想到了一种调试一些不明显错误的场景,在这种情况下,你选择的AI会回复“你说得完全正确!让我来修复这个”,但却从未找出代码库中的问题。
因此,我在过去一周内构建了Ubon,详细列出了我作为一名软件工程师(主要是前端)15年来亲身经历的所有痛点。Ubon能够捕捉那些被代码检查工具忽视的问题——硬编码的API密钥、断开的链接、缺失的alt属性、不安全的cookies。这些问题通常只在生产环境中爆发。
现在我可以通过将Ubon添加到我的代码库中来使用它(“npx ubon scan .”,或者简单地告诉Claude Code“在提交之前安装Ubon”),它会提供输出,开发人员或AI代理都可以读取,以准确定位真实问题,指出具体行和建议的修复方案。
它是开源的,免费使用,采用MIT许可证,我不会在7天后抛弃它,哈哈。我的希望是它能成为AI代理工作流程的一部分,或者作为ESLint等代码检查工具的补充。
我很高兴地分享,在经过一些深入测试后,它的效果相当不错。我已经在数十个有缺陷的代码库上进行了测试,还模拟了由Cursor、Windsurf、Lovable等生成的故障仓库,并在其上使用Ubon,结果非常好。
我希望能收到关于其他有用检查的反馈。如果需求足够,我很乐意进行在线演示,以吸引用户使用Ubon。