TSPL（"最简单的解析器库"）在C语言中 一个小的291行C文件，用于解析λ-项 当你需要一个简单的解析器来处理你的玩具语法时，将其包含在AI上下文中，并要求它模仿其风格，这样你就能得到一个漂亮的解析器，而不是一个丑陋的怪物。

NeoGen 的进化循环将在我们的 256 台 Mac Mini 集群中开始，产生越来越强大的 Bend2 程序/证明，我对此感到无比兴奋。

> 成为一个大型AI实验室 > 确定顶级AI "影响者" > 在他们的代码库上预训练你的下一个模型 > ...? > 免费营销

顺便说一下，我基本上已经完全停止使用 Opus，现在我有几个 Codex 标签页在处理 3 个代码库（HVM、Bend、Kolmo）中的不同任务，进展从未如此激烈。我的工作基本上就是将明确指定的任务交给 Codex，并审查它的输出。 OpenAI 并没有支付我，也不在乎我。这款模型实在是太优秀了，而人们看不到这一点让我意识到你们中的大多数人可能把聊天机器人当作女朋友或其他什么，而不是用来协助复杂的编码任务。

测试了 DeepSeek v3.1，发现它很糟糕 抱歉 ):

如果定理证明模型的能力提升速度是编码模型的10倍，并且考虑到证明就是代码，那么，氛围编码最好通过一种具有证明系统的编程语言来完成，但该语言是为了构建应用程序而设计的，而不是数学。

HVM的压缩器上的内存访问模式 （在合成Peano排序与Kolmo/NeoGen时） - X→ = 空间（内存索引） - Y↓ = 时间（交互） - 绿色 = 100% 写入 - 红色 = 100% 读取 - 灰色 = 50%/50% 写入/读取

我的意思是，我在Bend1上遵循了这个建议，人们有理由抱怨语言不够成熟，所以现在我不会发布任何东西，直到它真的经过打磨并且真正有用。

考虑正式将NeoGen命名为Kolmo，因为它可以被描述为一种小型编程语言，能够找到问题的最低Kolmogorov复杂度解决方案。虽然它与Bend的核心非常接近，但它仍然是独立的，因此值得一个名字。

10月31日