09′ 1/8 雜記

最近聽了兩場演講,一個是去年 Tuning Award winner 談如何用 model checking 去解決 state explositon 問題,而且已經實際用在工程上,例如 Intel 之前 Pentium CPU 設計上的 bug。這是他做了 27 年的問題,前前後後手下總共有五十幾個博士後,研究生以及其他人的貢獻。從理論(finite model theory)到實務(efficient algorithm)都講得非常精采。

Continue reading

Advertisements

Haskell 學習資源

學 Haskell 中, 手邊有 Richard Bird 的 Intro. to Functional programing using Haskell。但是這本學理味太重,要學程式語言本身感覺不大完整,在網路上找到 Real World Haskell 這本,看來不錯,嘿嘿。

老實講,用慣 C, C++, Java 等 impreative language 的真的很難習慣 FP style。