Li-Wen Hsu’s Blog

According to Wired News on Nov 10, 2005:

When Bill Gates announced that the technology was under development at the 2002 Windows Engineering Conference, he called it the holy grail of computer science

這篇講的是 Microsoft Research 的 SLAM Project。原文是：

“Things like even software verification, this has been the Holy Grail of computer science for many decades but now in some very key areas, for example, driver verification we’re building tools that can do actual proof about the software and how it works in order to guarantee the reliability.”
Bill Gates, April 18, 2002. Keynote address at WinHec 2002

這在玩什麼我就不多說了…反正有興趣的人真是少之又少…
待在這邊的大概就是超級強者之輩，還有我們這種跟在別人後面走的笨蛋…
（往好處想好了，知道自己是笨蛋代表知道還有那邊可以努力的地方；
真正的笨蛋是連自己是個笨蛋都不知道…）

之前 survey SLAM 看到這些話的時候只有一笑置之，後來在上個星期到 iis.sinica 聽
Edmund M. Clarke 的演講：Model Checking: From Hardware To Software And Back Again 看到投影片上面時就覺得很熟悉，今天老師提的時候才再想起來。

原來，我們打的是電腦科學裡面的聖杯戰爭阿！

看到這些消息，沒出息的在下，心中想到的卻是，

阿我的 Saber 在那裡呢？我也想要有個愛玩 cosplay 的魔法少女戰友阿！
不然…會作菜的溫柔學妹呢？（沒有補魔力還算聖杯戰爭嗎？）
不過只會白吃白喝的 Tiger 老師就不用了，謝謝。

以上不知道我在說什麼的請參考這邊。

不過，以後別人問說我的實驗室在幹什麼的時候，我就可以很帥(?)地說：

我們在打聖杯戰爭阿！

而不是說什麼：「簡單來說…就是在 debug 啦…」

阿阿，聖杯戰爭阿，原著的 45 個結局中，40 個是 Bad ending/Dead ending…
在魔術師的資質不如人，寶具又輸人家的情況下，這是場硬戰阿…

難到… 我只是個 Servant 嗎？雖然說真的有種被令咒命令的感覺就是了…Orz

看來，這篇的 categories 要加入 Anime/Game 了…我真是糟糕…Orz

大家常說，寫 code 就是要熱血阿！
有熱血的話，不知道可以造就多少「車庫傳奇」
不過要怎麼激起大家的熱血呢？

最近 Lab 大家忙著在 implement 一個東西，所以我就架起了 Subversion & Trac
想說讓大家體驗一下用 Version Control System 和 Issue Tracker
突然發現，大家會因為 revision 的編號越來越大而感到興奮 (?)
然後就很熱血的 coding, committing, 連 debugging 都覺得好玩多了！
現在 Lab 裡大家不是在喊說要打三國(好像是魔獸世界的東西…)
而是喊說：

今天一定要關掉這個 ticket！

或是

離 milestone due 還有 XX hr, 大家拼阿！

然後大家沒事的時候，就寫寫 Wiki, 開些 Ticket, 設設 Milestone, 看每天的 Timeline 都有好多東西，
真棒
想不到，這些東西對於專案管理還有「激勵人心」的作用，以後一定要更大力的推廣啦 XD

BTW, 不知道老師看到這東西以後，會不會一夜之間多出一堆待解 issue 還有 milestone…
(更糟的是，還 assign 好 responsible 了…)

http://en.wikipedia.org/wiki/Zeroth
這…也算是因為計算機科學造出來的一個新字吧

剛剛看 paper 的時候，看到一句不懂的英文：off-by-one error，找了Wikipedia
才知道是什麼東西：
http://en.wikipedia.org/wiki/Off-by-one_error
另外有一個相關的條目：
http://en.wikipedia.org/wiki/Fencepost_error

最後發現， Wikipedia還有Programming bugs這個Category呢！
真是有意思

怪物一隻, 直接看他網頁比較快: Cristian Cadar: HomePage

兩篇 Paper: (其實是 Technology report)
Execution Generated Test Cases: How to Make Systems Code Crash Itself PDF
EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution PDF
把我們 Lab 最近想做的事都做光光 XD

這下可好了，我們連造輪子的份都沒了 XD

不過要作研究，還是要把輪子弄出來，至少現在可以確定，想做的輪子是圓的 XD

星期二中午12點，在實驗室的沙發床上醒來，驚覺老師坐在旁邊改paper。
整個就是被嚇到…|||
還好老師沒有說什麼，我也很心虛地去刷牙洗臉

後來就先弄 Lab 的 Mailing List，大概告一段落時，
老師請我和新來的同學一起去吃午餐。

進餐中，老師和大家談一些研究的心得，還有討論一些未來可能的方向
也說了一些實作上面的 issue

後來老師強調說，絕對不可以眼高手低(唔…我最容易犯的錯…)
作研究是要挖小，但是很深的洞
廣而淺的東西，人家都可以在很短的時間就完全掌握你的東西了。
然後他說：

就算是在 Linus 寫 Linux 的那個年代(1991?)
如果國科會計畫寫個 “要開發一個OS出來” 這樣會通過嗎？
但是誰知道他後來一直深入鑽下去，Linux有現在的一片天？

其實這個例子舉得滿好玩的 XD