Under the hood
学了编译原理和形式语言与自动机、用过各种解释器、编译器...你可曾有兴趣了解下他们都是如何实现的?当然/虽然,一个成熟的编译器前端通常不会采用如此简单的递归子程序法设计,但是,一个完整的编译器、链接器可以这样地构建。本书可以很好地满足很多读者对于编译器、连接器...
(展开)
就是突然特别想要见你
长久的期待与幻想、误解与伤害中坚守的自尊、家族仇恨和环境的压力下的痛苦抉择、遥远时空的阻隔...小说中的构建总会比真实的生活更加地不堪。但是,还好有这个但是,与生活真实一样,总有那么一刻,仅仅因为“就是突然特别想要见你”,所以后来......浪漫与否,那些后来其实也...
(展开)
Intellectual Endeavor
关于经典的TSP问题的一切... TSP问题看似简单,特别是在问题规模较小时,最优解似乎是不言自明的,但当问题规模不断扩大,即使是人脑这样的“超大规模并行”的wetware也会立刻感到无所适从、进而“迷茫”。 那最终使我们走出黑暗的、不服输的智慧火花又一次在热烈的燃烧中接力...
(展开)
trivial efforts, nontrivial results
当我们想当然地总是assume too much还自以为经验丰富、懂得多的时候,真正的数学家们总会本能地问上一句为什么会有这样的现象,这样的现象是否就是“事实”,是否能找到证明...然后就有了公理、然后就有了简约优美或繁琐复杂的重重证明、然后就有了引理、然后就有了定理... Kn...
(展开)