這一年是人生中許多重大轉折的一年，有空的時候(?)要把那些在 queue 裡面的文章 publish 出來…

BTW, Flickr 的部份，倒是更新的挺勤的，雖然還沒有時間去標 tag 還有寫 comment 了…

但是我總覺得他在和我說：「歡迎加入NHK！」阿….囧rz

前幾天看到《快賺 Flickr Pro 的三個月使用期限》一文，今天寫2007「邏輯、語言與計算」暑期研習營暨碩士學分班的作業寫到昏頭，於是就來找一些「看起來像是有意義的事」來墮落一下。

升級到 Filckr Pro ，www/p5-Flickr-Upload 裝完之後，就開始把這幾年來的照片拼命地往 Filckr 丟了 XD
（沒幾張啦，Filckr 應該不會這樣就 ban 我吧…）
這些人也還真是神速，丟上去才一兩個小時就馬上注意到了…
另外也有幾張在匈牙利的照片被人加入到 favorite 了，不過用古早的 Kodak DC4800 照的，畫質和技術都欠佳，真是感謝抬愛

BTW, 我很怕接下來這張也被要抓去就更囧了…

（相信我，這只是和朋友去那邊逛一圈「參觀」一下這種文化的…我是很善良的阿…）

It is impossible to sharpen a pencil with a blunt ax. It is equally vain to try to do it with ten blunt axes instead.
— Edsger W. Dijkstra

Dijkstra 資工系的同學一定都不陌生，講到最短路徑問題，一定都會提到他的 Dijkstra’s algorithm，
還有 Floyd–Warshall algorithm。當然，Bellman-Ford algorithm 也很重要，
因為在 Dijkstra 的方法中，不允許負邊存在。
（上面的「陌生」要擺個 link 到國語辭典去的原因是，原來我已經廢到連是那個「陌」都想不起來了…）

在 dds@ (Diomidis D. Spinellis) 的 blog 看到這篇 The Tools we Use [1]

dds@ 是 Code Quality: The Open Source Perspective 和 Code Reading: The Open Source Perspective 的作者，
看起來都是相當值得一讀的好書。
Code Reading 好不容易排隊借了回來，但是只看完第一章就一直丟在旁邊了。
今天發現後面又有人預約，看來又要重新排一次隊了…
而 Code Quality 這本在我連推薦了三次之後，我們的浩然終於在六月20日發訂了…
（隔壁王水大的圖書館早在四月24日發訂了，但是是過了兩個月還是在發訂中…照這樣的處理速度…民國那一年才會看到書阿 @_@
真讓人有點想就敗下去了…Code Quality, Code Reading，必竟也好久沒有買書了，把錢花在這也比買糟糕物好得多。）

說了這麼多不太相關的東西，來談談 dds@ 的這篇文章吧，
首先他拿出了一張圓餅圖，展示了在 FreeBSD ports 裡面的軟體要 build 起來需要用那些工具，還有執行多久。
原來之前他在 -arch@ 和 -hackers@ 討論關於 Process accounting changes，
將 acct(5) 的精確度從 15ms 調到 1ms 是是為了要做這個實驗阿（當然也有可能是相反過來，做完了這個以後才想找個東西來實測看看。
不過我相信，任何 work 都會有他的動機在，就算是 just for fun，也是很棒的阿！ :-）

第二段的一句相當有意思：

Using a shiny IDE on top of 1970’s technologies is equivalent to wearing an iPod while ox-ploughing: the work becomes less burdensome, but we’re unlikely to reap substantial productivity improvements from such a change.

所以在後面他說只有把 abstraction 的程度提高，才是真正增加生產力的方法。

在文中他也提到了 C++ compiler 平均一次執行的時間是 1.6s，遠比 C 的 0.17s 多，代表了隨著技術的進步，
電腦和人腦的 trade off 越來越不平衡。也就是說，人可以越來越懶？或著是說，人可以把更多的心思花在更深層的思考上，
旁枝末節的苦工，就交給電腦去做吧。就像唐鳳說過的「大巧不工」— 「最巧妙的程式，就是不用寫程式的程式」。
所以 Perl 像強力膠一樣把 CPAN 黏在一起，而大家也像是吸了強力膠一樣，為 perl 深深著迷。

dds@ 說：

However, nowadays CPU power is a resource a) we can afford to use and b) we can’t afford not to use.

其實我們的聖杯戰爭也一樣，人腦強的是 symbolic reasoning 的能力，
歸納出方法之後，交由電腦的 concrete execution 去完成我們想的工作。這也是電腦科學中，演算法令人著迷的地方。
（為什麼我會想到求婚大作戰中那個妖精說的：「祈願吧，說出來我就替你實現！」呢？哈利露亞~thesis~ XD）

上過 Compiler 課的同學應該都聽老師講過這個故事：

Two success stories of the 1970s that raised the level of abstraction for a specific domain were Stephen Johnson’s parser generator yacc, and Michael Lesk’s lexical analyzer generator lex. Together these two tools and the theory behind them transformed the task of writing a compiler from wizardry into a standard rite of passage for computer science undergraduates.

yacc 和 lex 就是 abstraction 提高生產力最好的例子。

另外這也道出了，科學家和工程師另人著迷的地方，就是讓不可能成為可能，最後變成我們生活的一部份。
（Google 說的 R==D 這種態度才是對的阿！）

最後，每次提到 tools 相關的東西，就一定會想到 gugod 的 talk: 利器善事。這是 OSDC.tw 2006 中，我最喜歡的一場。那句結語令我印象深刻：（沒錯，我又忘了是那個「象」了…）

Teach your tools to teach you to do the right thing.

說了這麼多（而且覺得好亂好沒內容 @@…） 還是乖乖回去造我的輪子吧…

[1] Diomidis Spinellis. The Tools we Use. IEEE Software, 24(4):20–21, July/August 2007

真的好快，去年好像才畢業一次，今年又要畢業一次，不同的是，心境完全是天壤之別。

大學畢業典禮的時候，其實我已經念了半年的碩士了，所以算是遲來的畢業典禮；
碩士畢業典禮的時候，其實我根本還沒有把論文搞定，所以算是早來的畢業典禮。

特別感謝送我花的大家，兩場畢業典禮收到了三束，所以依鴿籠原理….唔…XD
真是讓我意外又感動。:-)

回想起參加過的畢業典禮

幼稚園好像有辦一個簡簡單單的畢業典禮，但是我只記得拍記念冊照片的事情。
小學畢業典禮，奇怪，我一點印象也沒有了，反而能記起來的只有前一年當樂隊在旁邊伴奏的事…
國中畢業典禮，我只記得我媽很好心地請她班上的學妹送了束花給我
（母親大人真是了解我，知道以後很難會有女生送我花了…），
還有當天晚會的煙火，施放地點離人群太近，結果把一堆人的衣服燒破了，廠商為此賠了不少錢。
高中畢業典禮，我記得建中青年裡逍遙遊中的一句：

建中畢業典禮很亂，根本不像畢業典禮。

好像有校長伴哈利波特的橋段，但是我也沒什麼特別印像，那個時候在做什麼呢？
我記得好像和班上的同學「翻最後一次牆」去後門的商店買煙火，自己班上玩得很快樂。
對了，那天晚上也是 2002 年世界盃英格蘭和阿根庭的大戰，那時候通訊不發達，
我和旁邊的同學們只能用手機簡訊得知最新戰況。
（真是一點感覺也沒有…所以這類的 3G Application 一定要在這種大家都會在一段不短的時間會一直想看電視的時候推出，
應該就可以成功推廣不少。 ）

總之，都是一些奇奇怪怪的畢業典禮就是了…

畢業典禮只是一個結束，還有另一個開端。
然而最近兩次的畢業典禮結束之後，我沒有變，都留在這邊。
希望希望，我可以真的不要再再交大參加第三個畢業典禮了，
（不過可以「很快」念到到博士畢業的話，唔…我也不排斥吧，
但現在我懂了，笨笨的烏龜還是要慢慢爬，動太快是會翻的。）

但是我要的是什麼呢？

「想想自己要的是什麼。」這是參加交大資工申請入學面試的時候 jnlin 學長問我的。
我那時候心中混亂，只回說：「先給我個大學念吧！」

五年過去了，我的答案是什麼呢？
人家問起我希望過的生活是什麼，我忘了從多久以前開始，都是這樣回答的：

我要帶著筆記型電腦，走遍世界，Coding

一個荒誕不切實際的理想，白話一點就是「嘴砲」。至少對我而言，是的。

大學室友，蔡董（丟這個 link 是因為我實在不知道要怎麼表示他 XD）
和我說過，我們兩個人是完全相反的人，但是做的事卻也是完全相反。
我嘴裡說的是大膽的行為，但是行事前總是得想好所有可能的狀況，想好後路，然後選最保守的路去走；
而他說話保守，但是真的大膽放手去做事的卻是他。
（這大概就是我們大二剛開始住一起的時候兩個人都是去死去死團團員，
但是在我的鼓動之下，蔡董成功地交了第一個女朋友，交往了一段不算短的時間的原因吧。
而我，還是過著當好人的日子。）

我想多多少少是因為當了這麼多年系統管理人員的職業病吧（牽拖的壞毛病又犯了），
一定都要先確保資料都備份好了，才敢開始做事。
還有凡事都要往最壞最壞的方向去想。
（或許也是程式設計師的職業病吧？什麼東西都要問 worst case，
突然想到，如果在分析的時候，也把發生各種 case 的機率一起算進去，是不是比什麼Θ(n)、Ο(n) 和 Ω(n) 好點？
看來我已經把資料結構和演算法的課本丟掉太久了…）
這大概也是過了這麼多年，我還在這邊原地踏步的原因吧。

下一次，像去年那樣，什麼都不要想，機票買了背包背了就上飛機出去這種衝動會是什麼時候呢？
（好像前幾個月才在衝動之下去了日本一次…）
我是指，在人生的道路上大膽的往一個方向走走看，好像我還沒有過。

臨晨在只有一人的實驗室裡寫程式有感。

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

在交大待到第五年了，第一次上電資大樓的樓頂，就是為了烤肉。
也才知道，原來電資大樓的頂樓是交大的烤肉盛地…

想不到，2000 元可以餵飽這麼多人阿。
我們大概十多個人，從晚上 7 點開始生火，一直烤到臨晨 1 點，
大家都再也吃不下了以後，還有三盤肉剩下來。

這張圖是學弟正在排「勾肩搭背的雞翅們」，在後面也可以看到幾個緊急照明燈。
據了解，原來電資大樓除了頂樓可以烤肉以外，
原來最上面幾層的緊急照明燈還可以拆下來當烤肉時的照明用…

最後整理場地時，我無意間發明了一個奇怪的遊戲：把燒紅的木碳用夾子放到水裡面
被學長關心說是不是寫論文壓力太大，心理變態（這是一個很深的誤解阿…）
但是每個人嘴巴說好變態，身體卻很誠實地玩了起來，
然後大家都迷上了這個感覺是怎樣… -_-||
（從夾子傳過來一陣一陣的振動，那觸感還真是新奇有趣呀…）
最後連學妹們也玩起來了…

於是我們花了比平常還多很多的時間在收拾（或是玩樂？）善後上…

六個小時的中，大家雜七雜八的聊了很多，學弟聊著暑假環島的計劃。
學長講著之前環島的經驗。才覺得，好像我的大學回憶中，少了這一點耶。
（不，現在不可以想這些東西，敢緊做出些對世界有貢獻的東西吧，
像是一篇可以讓自己畢業的論文，以免亂浪費寶貴的研究資源…）

Oh, 最後應該要記錄一下，這次活動的時間是在六月2日。

又好久沒有按 “Publish” 了…
上一篇的 ID 是 56，這一篇已經到 67 了…（結果到頭來，68先被 publish 出來）

今天（Oops, 這是 May. 22 的事了…）在 #bsdports 看到下面這段，挺有趣的。

23:52 < linimon_> gcc4.2
23:52 < linimon_> then xorg
23:52 < linimon_> then the shlib bump.
23:52 < @Pav> missed symbol versioning
23:53 < linimon_> and the rewrite of the kernel in C++

好像以前在 CSZone (KKcity 上面的) 的某個板 (或許是 HighHand 板吧？)
有看到有人介紹用 C++ 寫的 OS，不過已經不知道在那邊了…

寫到 CSZone，才發現有這個地方：
http://groups.google.com.tw/group/cs_zone

十六強
資工：應化　２：１

八強
資工：材料　４：１

四強
資工：工管　２：０

冠軍賽
資工：機械　１：１　（ＰＫ　２：３　機械勝）

其實上個星期就打完了，但是這個星期才拿到照片 XD

本學期的所有賽事都結束啦，下學期再多加油（果然有下學期冒出來了…）
亞軍的獎品是大潤發禮卷 2000 元，昨天晚十幾個人在電資大樓頂烤了六個小時的肉才全部消化完…
（其實還有三盤肉沒有解決…）

慶祝會的事，拿到照片再來寫吧。

有趣的是，我們可以 dig 到 ftp.freebsd.org 有兩筆 A Record：

ftp.freebsd.org. 180 IN A 62.243.72.50
ftp.freebsd.org. 180 IN A 204.152.184.73

但是實際連進去看的時後，會發現只有 204.152.184.73 這台機器有 pub/FreeBSD/development/FreeBSD-CVS/anoncvs.shar
（喂喂… data 要保持 consistency 阿）

可惜的是，這兩份文件都已經過時，照上面的方法，是完全弄不起來的。連 anoncvssh.c 都沒辦法 compile。
麻煩的事情總是會大量消耗人體 CPU time，所以照 sched_hll(4) 的原則，這個 job 的 priority 就越來越低了….
（sched_hll — How Lazy Lwhsu Scheduler，請別相信我的鬼話…XD）
直到昨天晚上因為被雨困在實驗室，才再把這東西搞定。

1. 首先，你要有一個正常 work 的 cvs mirror，這個在 Mirroring FreeBSD 的 How to Mirror FreeBSD 章節裡面說過了，本文不再贅述。以下假設你的 cvs mirror data 放在 /home/ncvs 下。
2. 因為要用 ssh，為了要讓 anoncvs 可以不用密碼，我們要對系統預設的 ssh(8) 做些設定上的修改：
   /etc/ssh/sshd_config:

   PermitEmptyPasswords yes

   /etc/pam.d/sshd:

   auth required pam_unix.so no_warn try_first_pass nullok

   重新起動 sshd

   # /etc/rc.d/sshd restart

3. vipw，加入 anoncvs 這個 user:

   anoncvs::32766:32766::0:0:Anonymous CVS User:/home/anoncvs:/home/anoncvs/anoncvssh

   當然別忘了，mkdir -p /home/anoncvs
   至於 group 的部份，加不加就沒那麼重要了。

   anoncvs:*:32766:

4. 我改了一個 anoncvssh.c。
   （希望不要有什麼問題，寫 setuid(2) 的程式總是叫人心驚膽顫，尤其這個還是要 setuid root 的 @_@）
   compile 好之後，放到 /home/anoncvs/anoncvssh ，並且將之 setuid root。
5. 建立起必要的目錄和檔案，設定權限：

   # cd /home/anoncvs
   # touch .hushlogin .profile

   /home/anoncvs/.plan 放下面的東西：（不弄也不會怎樣）

   To use anonymous CVS in doing CVS operations on your local machine,
   first make sure you’re running a reasonably up-to-date copy of CVS
   (FreeBSD 2.2.5 or later) and then set the environment variable
   “CVSROOT” to anoncvs@anoncvs.tw.FreeBSD.org:/home/ncvs as follows:

   csh:

   setenv CVSROOT anoncvs@anoncvs.tw.FreeBSD.org:/home/ncvs

   sh/bash/ksh:

   CVSROOT=anoncvs@anoncvs.tw.FreeBSD.org:/home/ncvs
   export CVSROOT

   Then run your cvs commands as normal.

   建目錄們

   # mkdir -p home/ncvs lib libexec tmp usr/{bin,lib}
   # chown anoncvs tmp

   tmp 是為了給 cvs server 寫暫存檔用的，其他的目錄還是給 root:wheel 好

6. 一定要有 ld-elf.so.1，不然什麼東西都不會動啦 XD

   # cp /libexec/ld-elf.so.1 /home/anoncvs/libexec/ld-elf.so.1

   usr/libexec 下的是個 symbolic link

   # ln -s /libexec/ld-elf.so.1

   chroot 以後會變成指到 /home/anoncvs/libexec/ld-elf.so.1 的。

7. cvs 一定要搬過來：

   # cp /usr/bin/cvs /home/anoncvs/usr/bin

   看看 cvs 要什麼東西：

   $ ldd /usr/bin/cvs

   然後 /lib 的 cp 到 /home/anoncvs/lib 下，本來在 /usr/lib 的 cp 到 /home/anoncvs/usr/lib 下。

如果覺得上兩步很煩，丟個 static linked 的 cvs 到 /home/anoncvs/usr/bin 下我想應該也是可以的。

8. 弄了這麼多，重要的就是這一步，要有東西給人家 check out :

   # mount_nullfs -o ro,noatime /home/ncvs /home/anoncvs/home/ncvs/

   還有為了要有 /dev/null :

   # mount_devfs devfs /home/anoncvs/dev/

   （沒有 devfs，mknod 造出來的 null device 不會動…）

9. 大功告成，換台機器

   $ cvs -d anoncvs@xxx.xxx.xxx.xxx co <module>

   試試看結果吧。

今天早上, marcus 就把 ports repository 的 avail 改了，Ports Freeze 正式開始！

• HEADS UP: Ports freeze coming in 15 minutes
• Re: HEADS UP: Ports tree frozen in preparation for X.Org 7.2 merge

上面那些只是為了方便以後回來翻的 XD
最好笑的是在 #bsdports 上面的這句：

12:35 < @GeJ> Did someone send an email to miwi? I mean, I’m worried about his health. god knows what may happen if the guy doesn’t have his 80+ daily commits.

這個情形大概會持續好幾個星期吧（雖然 Guide 上面說通常是一到兩週，不過我覺得這次時間應該不會比以往 Release cycle 的時間短…必竟這次還要加個大怪物進去，不像以前只是要修 package building fail 的，不是那種實在不行就 mark broken 就好 XD）
所以，這段時間就乖乖地來寫論文好了…（應該會吧？）
（阿之前吃的一堆 PR 該怎麼辦呢？就…就…就先放著吧）
算算也差不多是是當上 Committer 滿月的日子 XD 順便把學到的東西記錄一下好了。

Fresh Ports Committer 的四個基本作業 ：

• Add a new port

東西先丟到目的 category 下，像是 textproc

Tools/scripts/addport -n -a -l 111267 -d py-hyperestraier-python

一樣先把東西丟到目的 category 下，這次是 security
不一樣的是， -l 後面要用 -1，代表沒有 PR

Tools/scripts/addport -a -l -1 -d py-gnutls

參考資料：clsung (mentor) 當年的筆記 [ports] add new port

• Removing an Existing Port

這也有寫好的 script 可以用，但是用別人寫的 script 總是怕怕的，這玩易兒為什麼老是要去把 ports repository 裡面所有東西都 check out 出來才甘心阿 @_@ （雖然也都被我 cancel 掉就是了…）

~/cvsroot/ports 下，其實也不一定要在這邊做啦…

Tools/scripts/rmport devel/crossgo32 devel/crossgo32-djgpp2 devel/crossgo32-djgpp2-pdcurses

然後寫寫 MOVED，寫寫 commit log 就可以送出拉。（現在到了真正要 ci 的時候還是會有點怕怕的…）

• Repository Copies
  這個其實不難，大意就是把皮球踢給 portmgr XD
  詳情看 Committer’s Guide 裡面 Repository Copies 的部份
  步驟簡單整理如下：
  1. change State 為 repocopy 還有 change Responsible 為 portmgr

  記得要在 Why: 那邊寫清楚要把什麼 copy 到那邊去，不然會被 portmgr 罵 @_@

  2. portmgr 做完之後就會被 assign 回來，這時候裡面的東西除了檔名以外都是舊的，所以就像平常一樣快快樂樂 update 就好
  3. 其它地方的東西該改的改一改，這次就差點忘了要去加 lang/Makefile 裡面的 SUBDIR，還有 CVSROOT 裡面的 modules

  還好是在 Ports Tree Frozen 之前想起來，不然到時候還要找 portmgr Approve 事情就複雜了…

  作業成果：ports/112223: [NEW PORT] lang/gnat-gcc42
  注意到了嗎？Responsible Changed 裡面有個 ：

  lwshu->lwhsu

  我在 Big5 的世界會因為許的關係受到很多不公平的對待…想不到 ASCII 的世界也對我不好阿…
  之前 gnn 在 irc 上面也是把我名字叫錯好幾次…Orz
  （不過學到了一句話 “blames his keyboard” XD）

• Regular port update

這就沒有什麼太多好說了，大概做的事和以前做得差不多，反正就是改改改，tinderbox testing，過了就 ci，porttools 很好用，請多愛用。That’s all.
阿對了，還有也可以處理別人的 PR，tinderbox testing 不過就退稿 XD

大致上就是這些工作啦，Mk/ 下面的東西，小朋友沒事不要亂動。據說新手要等到那天把 ports INDEX break 了才可以從 mentorship 裡面被放出來…大概就跟拔到獅子的鬃毛就會長頭髮的道理一樣吧 XD

References:

• Committer’s Guide — 我倒底把這東西翻完了沒呀 -_-