新未名空间

下面这段文字出自1952年的paper: A.C. Glennie. Automatic Coding of an electronic computer.

The possibility of using the computing machine itself to do its own coding is discussed. For such a purpose a notation for programmes is needed. The use of a quasi-mathematical, and descriptive notation is proposed and an example of such a system now in use for the Manchester University Computer is described.









这篇paper描述的系统后来发展成了FORTRAN。

最近几年AI的发展远远超出了10年前人们的预期。我们必须take a step back，站在一个更远的角度审视，我们到底想干什么，在干什么，应该怎么干？

计算机科学有一个特别有意思的铁律，就是所有可能的方法其实都已经发明了，大家在干的只是轮流用另一个已有的方法来补现在这个方法的短板。下一步是什么，也许前人早就已经写在了纸上。

楼上这篇paper的第一句话是：The possibility of using the computing machine itself to do its own coding is discussed. 如果你只看这句话，那么这句话是timeless的。如果你去看今天任何一本FORTRAN编程手册，书里不可能用“计算机自编程”这种语言。一个学科刚起头的时候，它的边界是很容易看到的。慢慢地随着体系越变越大，人们慢慢开始在体系内部打转，也就再也没法突破，甚至看到这个学科的边界了。从现在的视角再往回看，会有一个逆向放大的效果。我们站在他们这一代人的鞋子里，前面的路才能看得更加清楚。

/* 逆向放大

人类在思考的过程中会不自觉地变换参考系，以及参考系的scale。比如我们在探讨一个人的能力的时候，我们说这个人的能力非常强大。那么可能有两重意思：

A. 这个人的绝对能力非常强大。
B. 这个人的相对能力，越就是相对一般人的能力，非常强大。

10000年前，有一个部落领袖的能力非常强大，关于他的传说流传了下来，说这个人的能力非常强大，远超一般人所能。时过10000年，一般人的能力早已是万年前的人的能力的万倍。这时候人们再回忆起万年前部落领袖的传说，会想象这人能力远超一般人，那会是怎么样的一种能力？或许就只能是神只能力了。这也就是传说越久，你面描述的东西越神乎其神。
*/

wdong 写了： 2025年 3月 15日 13:53
楼上这篇paper的第一句话是：The possibility of using the computing machine itself to do its own coding is discussed. 如果你只看这句话，那么这句话是timeless的。如果你去看今天任何一本FORTRAN编程手册，书里不可能用“计算机自编程”这种语言。一个学科刚起头的时候，它的边界是很容易看到的。慢慢地随着体系越变越大，人们慢慢开始在体系内部打转，也就再也没法突破，甚至看到这个学科的边界了。从现在的视角再往回看，会有一个逆向放大的效果。我们站在他们这一代人的鞋子里，前面的路才能看得更加清楚。

确实。

有两种方法重新看一个学科的边界：

1，重读original paper。

2，重新思考原问题。

楼主是干大事的

和自修改的程序语言相关吗？感觉图灵递归论奠基的本质就是自我修改的程序啊（感觉计算机很原始的时候这才是唯一的理论思考路径），lisp用lambda 显式写简短小玩具炫技也很好玩丫（虽然又慢又局限但看着很清爽）。不过现实中反而没怎么使用，除了外挂和drm shell / wrapper（回忆小时候玩游戏反汇编PE抓内存重建地址表，尝试用汇编键入新功能，青春丫~）算沾点儿边，和二级低能些的脚本系统也自由一些（lpc泥巴的世界连规则本质都是可以动态变来变去的），实际跑的程序大体还是静态的啊

wass 写了： 2025年 3月 15日 22:06 楼主是干大事的

反正是体制外吹牛，就不需要严谨了，往大里吹吹得过瘾。

Riikanbkk 写了： 2025年 3月 16日 09:06 和自修改的程序语言相关吗？感觉图灵递归论奠基的本质就是自我修改的程序啊（感觉计算机很原始的时候这才是唯一的理论思考路径），lisp用lambda 显式写简短小玩具炫技也很好玩丫（虽然又慢又局限但看着很清爽）。不过现实中反而没怎么使用，除了外挂和drm shell / wrapper（回忆小时候玩游戏反汇编PE抓内存重建地址表，尝试用汇编键入新功能，青春丫~）算沾点儿边，和二级低能些的脚本系统也自由一些（lpc泥巴的世界连规则本质都是可以动态变来变去的），实际跑的程序大体还是静态的啊

自修改程序一直没有折腾出来好的paradigm。现在AI有带来了希望。

wdong 写了： 2025年 3月 16日 10:03 自修改程序一直没有折腾出来好的paradigm。现在AI有带来了希望。

就怕看山跑死马，LLM似乎什么都可以做，但是真正做起来也没那么容易