病人Lisp黑客求同伴，一起漫步于IPL-V代码之中
3 分•作者: abrax3141•9 个月前
我正在寻找一个合作伙伴，共同参与一个冷门但具有历史意义的编程项目。
正如你们中的一些人所知，我之前曾与重新激活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程序重现生机感兴趣，请私信我。
查看原文
I'm looking for a collaborator on an obscure yet historically significant programming project.
As some of you know, I previously worked with the team that reanimated ELIZA (https://news.ycombinator.com/item?id=44300641). I'm now working on reanimating the original Logic Theorist (LT), the legendary theorem-proving program written in IPL-V by Newell, Shaw, and Simon at RAND in the mid-1950s (https://news.ycombinator.com/item?id=43822619). LT was one of the first AI programs ever created. It proved theorems in Principia Mathematica, and is considered a founding work of artificial intelligence. And IPL-V, a direct forerunner of Lisp, was explicitly designed to support AI programming (more precisely, symbolic heuristic programming).
Fortunately, IPL-V is well-documented, and I've written an interpreter for it in Lisp that (mostly) correctly runs the original LT (https://news.ycombinator.com/item?id=43822619). But I've hit some nuances that I'm having trouble thinking through, and feel like I need fresh eyes and someone to rubber duck with. (Because I'm the only person on earth currently working in IPL-V, I can't ask ChatGPT or Stack Overflow as there is no active community for it, and no historical information other than a few badly OCR'ed publications! I've actually tried feeding ChatGPT and Claude the IPL-V manual and having them help, but, as anyone who has used LLMs to program well knows, they're good for boilerplate in common modern languages, but pretty poor at understanding subtle programming issues, especially in a dead language!)
So I'm looking for an Lisp hacker with a fascination for AI and computing history, or who just wants to be able to say they are one of two hackers alive who have worked on one of the first AI systems and languages. The only reward I can offer, aside from that badge of honor, is academic co-publication, as there's significant academic interest in early AI. (Once LT runs, there are several other of the earliest AIs that we should be able to breathe life into!)
So if you're intrigued by the idea of bringing the first AI programs back to life on the first AI programming language (really, one of the first ever programming languages, and almost certainly one of the most esoteric!), DM me.