Antirez 认为我们应该改变讨论 AI 辅助软件开发的方式,提倡使用“自动编程”一词,而不是“氛围编程”。他区分了两者:**氛围编程**是被动地让 AI 从模糊的提示中生成代码,而**自动编程**是一个主动的、迭代的过程,程序员*引导* AI,利用他们自己的设计和直觉。 他强调,即使有 AI 辅助,最终的软件仍然是程序员愿景和努力的产物——是 AI 训练数据中体现的集体人类知识的延续。我们有权声称对 AI 生成的代码拥有所有权,将预训练视为一种共享资源,赋能个人创作。 最终,Antirez 强调,虽然 AI 可以自动化 *如何* 编写代码,但至关重要的元素仍然是 *编写什么* 代码——赋予软件价值的潜在想法和愿景,这以 Redis 的成功为例。
## 革命那不勒斯中的数学与政治
马西莫·马佐蒂的研究探讨了数学与政治之间令人惊讶的交织,通过19世纪初那不勒斯的一个被遗忘的事件。法国大革命后,占领那不勒斯的法国军队旨在现代化那不勒斯王国,但遭遇了抵抗——包括一种独特的*数学*抵抗。
那不勒斯数学家偏爱“综合几何”,优先考虑清晰度和直观理解,并且不信任法国人青睐的、由代数驱动的“分析”。他们认为分析不仅仅是一种不同的数学方法,而且在道德上令人怀疑,并且由于其侧重于实践应用而非基础理解,对社会稳定构成危险。这并非单纯的落后;而是一种有意识的尝试,构建一种“纯粹”的数学,作为抵御革命动荡的堡垒。
这所“那不勒斯综合学派”将数学视为定义“理性”本身,从而塑造政治可能性。起初边缘化,该学派在政治动荡中获得了显赫地位,并与反革命力量联系起来。最终,一种更注重技术、更“中立”的数学的兴起与后革命的政治正常化相一致,强调秩序和有限的、纪律严明的理性。马佐蒂认为,这表明数学并非中立,而是积极地塑造我们对世界的理解以及政治行动的可能性。