過保

不知不覺，PB 三週年紀念日過了大約一個月。這三年和 PB 相處下來，我的心得是以後只要買 Mac 就好了，完全迎合我的需求 XD。希望再撐個一年半到兩年我就可以讓它光榮退休 XD。

--
預計出國的時候換機，所以最後一句暗喻早點解決兵役、學校申請順利 XD。

汰舊換新

Agda 最近終於更新得可以用 ghc-6.10.1 編出正常的版本了，所以 ghc-6.8.2 就正式退休啦（先不要斬草除根，免得哪天又突然用到 XD）。連同先前也編譯成功的 gcc-4.3.2（自動編成中文版！），PB 上最重要的兩部編譯器都是最新版了！

--
連 ocaml-3.10.2 也是 XD。

PB 劫數

今天「資訊理論與編碼技巧」上課，吳家麟老師正在講解幾組 coding 的特性（instantaneously decodable / uniquely decodable / ...），突然我的 PB 就從桌子上滑下去，摔在地上！拿起來稍微檢查一下，似乎沒什麼大礙。回來要插電才發現，那一帶外殼因為撞到而些微變形，使得插頭異常難插，幸好還插得進去。唔，既然插得進去就暫不送修啦 XD。

--
摔下去的時候其實沒有很驚慌，因為有 Time Machine XD。

背水一戰

和新版 ghc、Agda 以及眾 libraries 拚死一戰 XD。大致解讀關於 ghc 6.8.1 與 Leopard PPC 的討論串，似乎是 ghc 的 native code generator 產生的某種 code pattern 在 Leopard 下的詮釋有問題。討論串上好像有人用 -fvia-C option 編譯成功，所以我也依樣畫葫蘆，在 /usr/local/bin/ghc 裡面轉呼叫 ghc-6.8.1 時加上 -fvia-C option。奇蹟立刻發生了，binary、QuickCheck 等 libraries 不再出現惱人的 "unknown scattered relocation type 4"，但 zlib 仍然在 preprocessing 時出現兩行，我只好先祈禱那不影響大局 XD。很可惜，稍後 Agda-2.1.3 雖然看起來編譯成功，Agda mode 卻果然當在那邊不動。多試了幾次以後，我對 zlib source 下指令 runhaskell Setup.hs build --verbose=3 看看到底是誰丟出錯誤訊息，發現兇手只可能是 hsc2hs。在直覺的引導下，我手動把那次 hsc2hs invocation 所用的 linker 從 ghc 改成 gcc 產生 Stream.hs，然後再次建造 zlib ─ 成功了！Agda-2.1.3 編譯再次成功，而且這次 Agda mode 也可以 work 了！！！現在總算可以開始做正事嘍 ─ 等明天圖論期中考考完馬上開始 XD。正事的第一步自然是好好地看一下 standard library 和 scm 老師近幾天生出來的好多 code，然後就可以試著把 insertion sort 湊完。

--
幸好沒掉到水裡 XD。現在趕快讓 Time Machine 備份 XD。

---

Time Machine 很快就派上用場，因為我大喜之下把先前我寫的 Agda files 刪個精光 XD。當然因為這些 code 大部份都貼到 blog 上了，所以沒有 Time Machine 也不至於太慘重 XD。

--
不過有 Time Machine 還是最方便 XD。

徹夜工作

我很快就去睡了，是 PB 要徹夜工作 XD。看到 Agda standard library 的時候就有不好的預感，現在果然要把所有的 code 轉換過去。但 standard library 好像用到新的 Agda features，所以連 ghc 都要一起升級才能編譯新的 Agda，等不到 MacPorts 的更新。現在準備 build from source…

--
試試 6.8.2 版 XD。

---

還是試用 6.8.1 的 binary distribution 吧，才一下子 make 就失敗了 XD。

--
這樣就變成我也要工作 XD。

您終於回來了

Time Machine 再次啟動，然後又準備不完，我就知道重新啟動到 Tiger 的確會讓 Time Machine 起疑。於是手工把 Tiger 的 /opt 全部搬到 Leopard 裡面，再把 /usr 裡面某處的 Agda-2.1.2/ 也搬過來，現在 Agda mode 看起來又恢復正常了。萬歲！XD

--
以後不要亂刪東西了 XD。On the other hand，現在有 Time Machine，好像又沒什麼關係 XD。

準備不完

現在 Time Machine 正在備份，但是狀態一直停留在「正在準備」，而這應該相當快才對。幸好蘋果官網上有個討論串，裡面所描述的原因和我的情況相當吻合，知道不是故障，也不會再把整個硬碟備份一次。現在我比較擔心的是，重新啟動到 Tiger 下面滿可能也會讓 Time Machine 懷疑 fsevents 的 log。那就糟了 XD。

--
如果真的這樣，就應該試著把 MacPorts 動過的檔案都搬到 Leopard 下面了 XD。

Leopard Stack

看完 Leopard Guided Tour，把桌面上堆滿的文件都塞到一個 stack 裡面，也把 Firefox/Safari 的下載目的地設定為 Leopard 新增的「下載項目」資料夾。現在桌面超清爽，而且桌布的圖案完整可見，好美啊 XD。

--
不過 stack 還可以再改得更好用一點就是了 XD。

Time Machine 初體驗

為了做 TOY Machine Architecture 的桌布，用 Illustrator 開 Princeton 的投影片抓向量圖，改到一半不小心順手按了 Command-S，原始檔案就毀了 XD。當然可以再從 cyy 的網頁上抓一份下來，不過不利用這個機會玩一下 TIme Machine 就太可惜了 XD。進入課程資料夾，按下 Dock 上的 Time Machine，從右邊的時間軸選一個時間點，把當時的檔案選起來，按下回復 — 檔案就飛躍時空回到現在了！不得不說視覺效果相當好 XD。（Apple 官方網站以前有動畫，現在我只找得到截圖，可參考 XD。）另外快速預覽功能也可以在 Time Machine 裡面使用，相當方便 XD。最後關於吃硬碟的問題，Time Machine 的設定面板上說

Time Machine 保留

• 過去 24 小時的每小時備份
• 過去一個月的每日備份
• 每週進行備份直到備份磁碟已滿

PB 第一次完成備份是在今天 12:50 AM，硬碟現在用量是 55.34 GB，而備份硬碟只用掉 43.35 GB。會滿得多快還要再觀察幾天 XD。

--
上面是 TOY Architecture 的桌布 XD。

---

剛剛又備份了一次，13.7 MB。

--
所以硬碟應該不會吃太兇？XD

---

Wikipedia 上有影片的連結 XD。

--
不過正式版的效果有多一點點 XD。

字體簿

誇完 Leopard 的好，也要講些缺點平衡一下 XD。整體說來，Leopard 還沒有 Tiger 穩定，而且不時會 lag（不知道是 PB 慢還是 Leopard 慢），雖然已經可以接受了。（Vista 那樣都可以用了，Leopard 沒什麼理由不能用 XD。）然後今天早上很驚恐地發現字體簿裡面缺了不少字體，但檔案明明都還在。接著不管是安裝、移除、停用字體，都不理我。然後我就開始乾坤大挪移，直接對付 ~/Library/Fonts 和 /System/Library/Fonts，兩次把 Leopard 的中文顯示搞爛 XD。最後發現只是字體簿擺烏龍 — 用 Firefox、Word 等其他軟體看，所有字體都安安穩穩在那裡 XD。目前字體簿完全是沒有用處的東西，不知道別人有沒有遇上這種狀況 XD。

今天知識論梁老師問我們「讀完 Chapter 5 的舉手」、「沒有？！」、「那讀完一半的舉手」、「也沒有？！」接著就開始從講台一端走到另一端，走過來又走過去好幾趟，一副很慌張焦慮的樣子。呃啊，我知道錯了，下星期一定會好好預習的 XD。

這幾天來做點 Leopard 版的「理性之美」桌布，汰舊換新 XD。

--
哲學系和數學系老師都好可愛 XD。

Leopard 初體驗

喔，Leopard 真是讓人驚呼連連！灌完重開，一進桌面就來一段超炫的開場動畫 XD。接著吸引注意的自然是立體化的剔透鏡面 Dock，我喜歡 XD。以下是一般的 Exposé 畫面，可以發現我已經開很多程式了（Dock 上那些螢光點！）。

接著隆重登場的就是 Spaces 了！整個系統操作起來非常直覺柔順，而且和既有的 Exposé 整合得很好。好幾次我喃喃自語「該不會還可以這樣拖吧」邊試著一拖，真的就拖過去了 XD。按下 F8，四個虛擬桌面就會出現。你可以直接任意拖移各個應用程式到各個桌面。

接著在同一畫面下按下 F9，所有桌面同時 Exposé！

而且還可以在這個超級 Exposé 模式下繼續拖移程式！視覺效果非常棒！（我把 Safari 從左上拖到右下了 XD。）

各個虛擬桌面也可以和其他桌面交換位置，也是滑鼠拖來拖去，很流暢！Spaces 最多可以設定 4 x 4 個桌面，無聊的時候可以玩 sliding puzzle XD。（只是要小心，因為 Spaces 也可以對角交換 XD。）

雙螢幕也沒問題！Spaces 會把兩個螢幕的東西集中到一個，我想是為了方便拖移。（圖中那個很像俄羅斯方塊的擺設方式是我調的，因為 VP171s 比較高，調成這樣比較符合現實情況 XD。）

喔，這完完全全是 Apple 設計的東西！和完美的 Spaces & Exposé 組合相較之下，Vista 那個 3D 視窗疊在一起捲的功能根本不知道是幹嘛的 XD。（不用跟別人比就不知道在幹嘛了 XD。）

再來 Finder 的 cover flow 和我的筆記圖檔是絕配！翻～過去那種滑順的手感太完美了！XD

用這個比例看，快速翻過去的時候更美 XD。

喔當然，另外有個快速預覽功能非常實用，Command-Y 按下去瞬間就看到內容了 XD。（這個快速鍵一定要背！）（補註：其實只要按空白鍵就行了！）

最後用終端機收尾 — 終端機支援多國語言了 XD！所以我可以寫這種程式（很白話吧 XD）：

然後也可以和 Agda interpreter 說中文！

Leopard 剛灌進去的時候有點慢，不過那是因為 Spotlight 在做索引的關係。喔對了，Spotlight 現在會直接把 highlight 放在最佳搜尋結果上，所以直接按 Enter 就可以了！這種貼心的改變 MS 是絕對做不到的啊 XD。然後還在 Tiger 的時候，我不小心失手把 /opt 刪去大半，所以 MacPorts 整個被我毀了 XD。到了 Leopard 上要重裝 ghc 以至 Agda，但 MacPorts 還沒有 Leopard 用的 ghc！幸好 Agda interpreter 還在，等個幾天 MacPorts 應該就會更新 ghc 了吧 XD。

最後雖然北方香說 Time Machine 的機制很差，但看 ptt Mac 板上似乎沒那麼糟，所以現在正在試 XD。

--
結論：Leopard 大勝 Vista！XD

Installing Leopard

本來已經把光碟灌到外接硬碟上，準備從外接硬碟開機。結果因為外接硬碟的分割表格式不合，最後還是用光碟安裝 XD。安裝一開始選取目標磁碟時，PB 自己的磁碟似乎沒掛載上去，試了幾次之後，在磁碟工具程式隨便點一點，才突然出現 XD。現在光碟機正在辛苦工作 XD。

然後我忘記選「封存並安裝」了（第一次灌 Mac OS X 人生地不熟 XD），希望沒有壞影響 XD。

--
畫面上說要一、兩個小時 XD。

72%

今天在 sinica 又把 PB 的電池操爆了，現在 health 只剩 72% XD。以後一定要記得帶變壓器去 XD。

--
好像每次都會寫完幾枝白板筆。所以應該連手寫板一起帶？XD

78%

近兩個週末的晚上都把 PB 拿到床上寫 Agda，操到只剩備用電源才停歇。後果就是電池容量從先前穩定的 84% 一下降到 78% XD。

--
又不敢把變壓器一起帶上去 XD。