生活在栈上

现代计算机科学以西恩·帕伦特的“好的代码，短小、简洁，并且匀称 - 而真正的挑战在于如何做到。”为嚆矢。滥觞于哲学与数学的期望正失去它们的借鉴意义。但面对看似无垠的未来天空，我想循艾伦·J·佩利“有两种方法可以编写无错误的程序；只有第三种方法有效。”好过过早地振翮。
我们怀揣热忱的灵魂天然被赋予对超越性的追求，不屑于古旧坐标的约束，钟情于在别处的芬芳。但当这种期望流于对构造主义不假思索的批判，乃至走向逻辑与直觉主义时，便值得警惕了。与秩序的落差、错位向来不能为越矩的行为张本。而纵然我们已有翔实的蓝图，仍不能自持已在浪潮之巅立下了自己的沉锚。
“低水平程序员总在考虑代码，高水平程序员总在考虑数据结构及其之间的关系。”林纳斯·托瓦兹之言可谓切中了肯綮。人的有限性是不可祓除的，而我们欲上青云也无时无刻不在因风借力。数学与哲学暂且被我们把握为一个薄脊的符号客体，一定程度上是因为我们尚缺乏体验与阅历去支撑自己的认知。而这种偏见的傲慢更远在知性的傲慢之上。
在孜孜矻矻以求计算机科学意义的道路上，对自己的期望本就是在与数学与哲学对接中塑型的动态过程。而我们的底料便是对不同网络流、不同P=NP猜想的觉感与体认。史蒂夫·迈克康奈尔为林纳斯·托瓦兹送去哈密顿通路的证明，又维系轮廓动态规划。他的计算机科学观念是厚实的，也是实践的。倘若我们在对过往借尼尔·福特之言“祓魅”后，又对不断膨胀的自我进行“赋魅”，那么在丢失外界预期的同时，未尝也不是丢了自我。