你好，请 登录 或 注册 · 九点指南

负暄琐话

　　Randy Pausch昨夜过世。不了解他的，去看他的最后一课吧。这里有中文字幕版。Erik Sink已经总结得很好了：Every man dies. Not every man truly lives. Rest in peace, Dr. Pausch. You truly lived.    (查看原文)

　　出来混，迟早要还。也有了人生第一次电话面试。没有签NDA，所以在这里分享一下。但愿对各位大佬有帮助。职位是架构。要求是对Java和J2EE熟，能编程，熟悉OO设计。有架构经验，等等等等，都是大路货，没什么出奇的。再说出奇的我也不行啊。 总的感受： 用自己的话总结对方的话挺有用。表明了你在积极思考，理解了对方的意思，并且避免了双方的误解。关键是要加上自己的理解、延伸，和追加问题。面试官介绍他们的技术时我用了这坨方法，明显感到对方话多起来，也更为随意。大概正确的理解让对方打开了话匣子。 准备一个电话用耳机。不然一小时的面试下来，手挺累的。而且做编程题时需要在本子上演算，拿着话筒也不方便。用免提效果不如耳机好。尤其现在家 家都用IP电话，用免提有非常明显的杂音。 准备一杯水。......    (查看原文)

　　领导和我喜欢背个大包到处流窜，牵着手在陌生的地方里漫不经心地穿行。一不小心，这次准备玩儿个大的。有些朋友大概已经知道，三周后我就要离开IBM，加入LA一家小小的startup，做对我来说完全陌生的搜索引擎和广告目标锁定。并非对IBM不满。相反，公司有一流的工作环境。我肯定会想念公司小溪边硕大的乌龟，草地上慵懒的梅花鹿，蹒跚过街而阻断车流的雁群，游戏间酣畅的Unreal对战，设备齐全的健身房，淙淙流水旁宽大绵软的沙发，名目繁多的培训和讲座，以及看不尽好书的图书馆。公司有一流的团队：善解人意又杀伐决断的经理，编程速度10倍于我又谙熟业界的架构，心细如发善于合作的同事。只可惜不能向他们多学一点。 既然公司有诸般好处，为什么要自绝生路，傻不拉几地离开呢？抛开私人的家庭原因不谈，主要是福利和稳定的收入并非我的终极动力。Paul Graham笔下的startup才有无......    (查看原文)

　　CSDN的大大们啊，行行好啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz 在pongba的讨论组上看到一道Amazon的面试题：找出给定字符串里的最长回文。例子：输入XMADAMYX。则输出MADAM。这道题的流行解法是用后缀树（Suffix Tree)。这坨数据结构最酷的地方是用它能高效解决一大票复杂的字符串编程问题： 在文本T里查询T是否包含子串P（复杂度同流行的KMP相当）。 文本T里找出最长重复子串。比如abcdabcefda里abc同da都重复出现，而最长重复子串是abc。 找出字符串S1同S2的最长公共子串。注意不是常用作动态规划例子的LCS哈。比如字符串acdfg同akdfc的最长公共子串为df，而他们的LCS是adf。 Ziv-Lampel无损压缩算法。 还有就是这道面试题问的最长回文了。 另外后缀树在生物信息学里应该应用广泛。......    (查看原文)

　　  CSDN的大大们啊，求求你们了啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz 准备八卦Edmund等人算法时才想起，人1986年成名作是讨论用CTL (Computational Tree Logic) 作规范语言的模型验证算法，而第一篇八卦失心疯只介绍了LTL。虽说也有算法对付Kripke结构上的LTL模型验证，但一来该算法的复杂度为P-SPACE，远不如在Kripke结构上玩儿CTL的算法复杂度来得震撼；二来经典的LTL模型验证方法是将LTL公式转换为Büchi Automata后表演自动机理论与搜索算法的花活。三来俺的初衷是介绍今年图灵奖得主Edmund等人的工作，铺垫半天后突然跳到跟自动机理论有关的LTL模型验证，大有相亲却看中女方伴娘的架势，不够厚道。所以这次先八卦CTL。下次再谈算法。其实Büchi ......    (查看原文)