因为我在研发机器学习编译器,而且编译器大体上就是个复杂艰深些的软件项目,所以我敢自称编译器人。但是前两天看到王垠的高论*有点受打击,加上编程语言理论全是数学有些吓人,不敢自称编程语言理论人……

* yinwang.org/blog-cn/2019/12/24

Follow

之后回过味儿来,我意识王垠自己就是「偏执心理和理想主义……恶化人际关系」的人。
文中最打击我的一段,「编译器领域处于编程语言(PL)和计算机体系构架(computer architecture)两个领域的夹缝中,上面的语言不能改,下面的指令也不能改,并没有很大的创造空间。」我后来一琢磨这套说辞可以套在绝大多数领域……

编程语言(PL)处于数理逻辑和客观现实两个领域的夹缝中,上面的逻辑规则不能改,下面的现实规律也不能改,并没有很大的创造空间。
计算机体系结构处于编程语言和量子物理两个领域的夹缝中,上面的语言不能改,下面的微观规律也不能改,并没有很大的创造空间。
凡人处于出生和死亡两个领域的夹缝中,上面的出生不能改,下面的死亡也不能改,并没有很大的创造空间。
……
什么拉普拉斯妖。

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.