換 theme
決定把用很長一段時間的 Phantasea gmail theme 換掉了。
原因很簡單，顏色對比太低，辨識新信舊信，還有讀信時不是很便利。
先換 Turf 試試，暫時沒空細看。
另兩個一個用 High Score, 一個用 Mountains.
還有一個不明原因不能換... @@
2009-12-07
Alligator Eggs!
Alligator Eggs!
這還真有趣，尤其裡面的描述，雖然有點莫名其妙，但還滿生動的。
我看了半天，才忽然發覺，其實這可以真的拿來教小孩 lambda calculus.
因為其實這並不是很困難的東西，如果有個具體的概念與規則可以類比，
我想確實是可以這樣試試的。（雖然我不知道學這有啥用？邏輯訓練之類的？）
原本都是把他當搞笑在看，所以就沒想到這層
ptt PLT 板 stopcrying 貼了影片，有人寫了程式輔助玩這東西...
（是說，還是印出來玩「建構式」lambda calculus 比較有趣吧？ :p）
Alligator Eggs revisited
天之痕
日前看到楓舞軒轅電子報第四十九期
其實我完全想不起來自己是玩到哪個結局了。
但是根據上面的形容，應該是打到所謂玉兒結局，
因為我記得是打師父沒錯。怪哉，我以為兩個結局沒什麼差別，
只差在結尾不一樣？實際上還是有一點差嗎？
我一直滿想重打一次的，因為沒什麼印象了，
只記得感覺不錯。不像軒轅劍參是走馬看花，
就像一般遊戲這樣打過去而已。當然，每個人喜好不同，
我也只打過三和天之痕兩個，其他都沒打過。
也很清楚天之痕因為進度的關係，音樂其實作得很混，
但至少我是覺得很好聽.. 主題音樂也是有優勢的。
而三的音樂花色多很多，尤其一開始的氣氛做得很好，也無庸置疑。
唔，怎麼說。
雖然這種 RPG 真的做爛了，但氣氛做得很好，
遊戲本身不要太差，就能讓人一直回想。
可以把他當成一種電影或小說，媒體本身沒什麼變化，
所以注意力會放到其他東西上。另一種方式吧。
至少對我的胃口就是了。也是難得覺得對中國題材比較感興趣的。
這點也是講到爛了...
可是後面就沒有接觸呢。不知道，少了點什麼契機吧。
或是講得強烈些，那種心情。那種可以坐下來，有一點娛樂的心情。
確實是很久很久都沒有了。再加上某些心理障礙...
扯遠了。
其實我本來只是想說記不起來自己打到哪個結局，
還有三代橫越很多地方，這點確實是滿不錯的。
現在聽聽三代的音樂，彷彿還能拉回一些那時候的感覺，
不，應該說是，那種身在遊戲中的感覺，不是那時候。
那種無限可能與另一個世界的感覺，我猜？
這大概也是我迷戀 RPG 的原因吧。當然，指日式的。
日式的往往比較唯美一點... 歐美式的又是另一回事了。
事實上卻有「遊戲」感得多。或是說，那種真正的 RPG 精神。
*
為什麼要是悲劇？真是個好問題... 實在答不上來。
如果說悲劇比較容易感動，這個理由我實在不怎麼能接受。
又不是自虐或是無病呻吟... 還是徹底的心理變態？
但我是覺得純粹的喜劇確實不容易感動，或是說有虛假感。
現實從來沒那麼好，如果沒有一點共鳴，是覺得很難感動。
天之痕很悲嗎？是覺得還好，雖然確實算是 bad ending 沒錯。
電腦線圈是 good ending 啊，甚至連一點 bad 都沒有，
唯一死的人在第一話之前就死了，後來也沒有人真的受什麼傷過。
甚至所有人都從陰影中走出來... 之歡樂的。但我可不會說他是喜劇。
而是，那種會為了裡面的角色，沒有走到那種下場而鬆口氣。
也許不可否認悲劇比較簡單吧。就像如果每天都很美好，
那也不容易記得那種美好感。沒有悲傷，也不會知道什麼是快樂。
所以我想是比較容易應該沒錯吧？
然而只是做那些確實沒什麼挑戰性，是嗎？
尤其要讓人體會到那種平凡與平常的好，實在是非常不容易。
或許那是因為我們總是會希望好，還要更好吧。
每天走到馬路都是綠燈，真的會想到運氣這麼好？
但如果反過來，卻又會一直覺得倒楣。
我一直覺得所謂莫非定律只不過是如此，好的事忘了，壞的事卻印象深刻。
或許是因為需要改進壞，而好只要持續，所以要記下壞吧？
嘖，這不正是讓人感到痛苦的原兇嗎？不滿足...
*
我不知道那種玩遊戲的心情是否還能夠再有
好笑的是，有時候回想起來，再微不足道的過去也會覺得懷念
得失心重的我，就會覺得那些東西不會再回來，永遠無法再體會
只能在記憶中重建，或是從別人口中重建，而這個別人是一個很小的集合
想到這裡，不免一片茫然
看別人的回憶，亦有這種茫然感
想當年...
看范光陵的《電腦和你》的開頭，忽然有這樣的感覺
end, 不知道講啥了
倒是 sky crawler 又忘記看了......
2009-12-06
Agda on Redmine on Heroku
失敗...
因為覺得 Open Foundry 的 wiki 實在有點難用，
除了修改需要填寫數字的 CAPTCHA 外（這個字我永遠拼不對...），
反應速度超級慢，版面也像是用 iframe 嵌進去的感覺，
也不知道要怎麼新增頁面？剛剛試在已存在的頁面上加入 wiki link,
然後連過去才能新增。按列出所有頁面，很慢以外，有時候還會有 server 錯誤...
再加上沒有 source browse 不太方便，又只支援 svn 和 cvs.
所以試了一下，看能不能在 heroku 上架 redmine.
結果是失敗，而且原因不明。
首先當然 heroku 上面沒有灌 darcs,
好沒關係，反正之前我很暴力地把 darcs repo 轉成 git 了，
花了我好幾天的運算時間..... 在這篇：1201. 10-12 darcs-to-git
我忘記有沒有說明後續了，反正後來真的是跑了好幾天。
於是我把 redmine clone 下來，然後把這個 git repo,
整個當成 bare repo 塞到 redmine 裡面！放在 Agda.git 裡面。
然後竄改 redmine 讀取 path 的方式，硬在前面加個 Rails.root.
這樣一來，就能指到正確的 git repo 位置：
/disk1/home/slugs/95379_56e4575_4da9/mnt/Agda.git
很不幸的是，在我自己的電腦上跑得起來，但在 heroku 上沒反應。
這應該是 read-only 的操作才對，其他都是寫入資料庫。
需要 fs 操作的動作，我全部暴力 comment 掉了。
結果居然不行... orz 而且還原因不明 @@
稍微 google 一下好像也沒看到有人設起來。
幾個 demo 都沒有設 repository.
唔唔，揪~~~竟該怎麼辦才好？
2009-12-05
2009-12-05
updated 2009-12-05 22:05 suckcomic 的文章水準下降了... :(
*
我覺得可笑的是，假日才能有能夠好好工作的感覺。
可笑的是，那恍似一種變心，而到今天，我才頭一次稍有一點這樣的感覺。
於是，才能有那麼一點點體會那種無奈，而不是永遠的無法理解。
*
空談師看完了，也許應該重看一次，因為還真的是看不懂
Lin Jen-Shin 空談師閱畢，誠如預期，看不懂...
5 minutes ago
線很多，也很雜亂，感覺有三四種以上的勢力，
而且獵人是什麼我還是不懂...
有趣的倒是，看到很多夏日蜘蛛的影子 XD
也許可以這樣想，把空談師看成亂灑一些想法與感覺，
而在後面的作品裡面才真正實作，或是整理成比較容易理解的路子。
who knows?
please elaborate!
*
累累累，今天會早睡吧？
2009-12-04
2009-12-04
i think i am more clear to this now,
putting all attention on programming and
self-entertaining, ignoring any other things.
though it is suffering sometimes indeed,
but there's nothing i can do with this,
for years, nothing changed except time and space.
i don't know if i had tried or not,
nor you had tried or not, but that's it,
and i would never know any answer to these.
so yes, there's no difference comparing to
yesterday, it is all happening this way,
and i am always acting that way. but...
just take it, and believe it, hoping things
could be easier, life could be simpler,
not always saying or thinking that why the hell
nor why the heaven, why the earth, why the moon...
why the what-so-ever, then, should believe that,
it is the best i could do and i could get.
in the end, it should be fine and smooth,
i hope, i pray, i believe, i roll (the dice)...
(and i hope i won't be thinking about things
i could never get, stop imagine them, please)
2009-12-03
Monad Transformers Step by Step
Monad Transformers Step by Step
As described:
It is not a paper about implementing transformers,
but about using them to write elegant, clean and
powerful programs in Haskell.
you wrote fluently, i read quickly,
pin pin pon pon bon bon, wow, it's so easy and simple.
but why? ...
how did that type check... orz
i should try myself, and use :t to see the types there.
All About Monads is a good reference,
but a little too hard (abstract?) for a beginner
who didn't familiar with monads.
bashrc or bash_profile? (dot-rc)
這真是一個好麻煩的問題啊。總之我現在決定只用 bash_profile,
雖然這樣會造成 sudo su abc 不會讀取 bash_profile,
但或許該養成習慣用 sudo su - abc 吧？
畢竟我怎麼想都覺得 switch user 肯定是要用 login shell 的，
不然把兩個人的環境混在一起，通常不會想這樣做吧？
如果把 su alias 成 su - 不知道會怎麼樣 @@
另一方面，2009-12-02 (dot-rc) 這裡提到的 bash 換行問題，
應該是已經解決了。我想他的問題是，bash 把 control sequence 當成一般的
character, 因此在時機還沒到時，就 carriage return 了，
而 terminal (iterm, xterm) 碰到這個 CR 當然就 CR 了，
接下來就一堆不正常的事...
本來想欺騙 bash 說其實我的 $COLUMN 更大喔，讓他晚點 CR,
但完全失敗啊。而奇怪的是，把 control sequence 用另一種方式，
寫在 PS1 裡面的話，就不會有這個問題。嗚，bash 是笨蛋....
於是最後的解決辦法，就是改寫整個 bash_prompt...
把所有的 control sequence 都想辦法拉到 PS1 裡。
這意味著我沒辦法讓 control sequence 也在 condition 籠罩下。
幸好上次的改寫，已經把很多一樣的地方抽出來，因此沒花太多時間就改好了。
但是！
bash 實在詭異啊。感覺有一堆 special case,
例如 where=$where' ' 居然沒有任何效果...
我猜是他的 = 會把 trailing whitespace 吃掉吧？
就像 `command` 其實也會把多餘的空白通通吃掉！
好像很方便，可是這樣讓我一堆地方都要改寫。
還有 test "`command`" 才能過，test `command` 會有奇怪結果，
諸如此類....... 我懶得深究了。只能說，bash 實在很詭異，
很多地方都有 special case, 沒辦法依照直覺來寫。
剛開始用 fish 會覺得 fish 比較笨，很多地方不會幫忙處理，
但是 script 寫久就會發現，這種笨法實在比較容易用，
會幫你處理一堆 case 的 bash, 有很多地方就需要依照情況改寫。
這樣是否有點 perl style? zzz
不過 bash 實在比 fish 快太多了，試用了一下接近 fish 的 bash,
感覺很爽 XD 因為反應速度快了好多倍，也不會無故停住了....
==
就差按上的快速搜尋，如果這個也能做出來的話，
基本上我用 fish 的意義就不大了 @@
因為平常也不會寫 shell script... 很難用，
就算是 fish 一樣不是很好用... 跟 ruby 差太多了。
還是 ruby 比較現代化... unix 一堆程式都有一堆詭異的特性...
但想也知道不可能會改，這些東西的優勢，應該就是不會改吧。
所以再詭異再古老，也只能一直沿用了。
因此 application 跑 bash 就比 fish 好很多了。
但人類在用時，覺得還是 fish 好太多了...
人類其實很能接受 bug, 當然 bug 太多是不行的，
但方便性真的才是重點。不過習慣又是另一回事了....
一旦習慣，又可以凌駕其他的事情 :/ 難搞啊。
/usr/local/bin
剛剛才發現困擾已久的問題，原來這麼容易解決。
> sudo mkdir -p /usr/local/bin
這樣就好了。因為我原先完全沒有 /usr/local,
結果 fish 看來是有 bug, 會產生奇怪的錯誤：
[Fish-users] Setting PATH fails for non-existent directories
我當然沒有把 /usr/local/bin 加到 PATH,
而是在 /opt/loc 按 tab, 就會噴出那個錯誤。
一直不懂這關 PATH 屁事，看來是 fish 底下的 magic,
加上這個 bug 產生的吧。
意外解決了 @@
==
奇怪，fish 遠比 bash 好用啊，討論的人好少。
應該加入 fish-users 嗎？上次有貼了一則 here doc 的 request
到 sourceforge 上的 tracker, 不知道作者有沒有看到...
很不活躍啊。
Merge Commits are Back
Merge Commits are Back (and Better than Ever)
其實我不記得曾經有過？但這是很重要的 review 方法，
以前只會看到一堆 merge commit, 完全不知道在 merge 什麼。
能夠顯示這個真的是方便很多，可以很輕易看出這次的 merge 差異。
==
我發現我已經懶得用 console 來看 git log,
上 github 看比較容易...... workflow 真的是會受影響。
2009-12-02
2009-12-02 (dot-rc)
updated 2009-12-03: 喔對了，還有 firefox 需要強制關閉的機率：90%
今天電腦完全死翹翹一次。
*****
不是，是 cmd + tab 可以看到切換 app,
但是不管做其他任何事都沒反應，而且螢幕一片黑
對
而且 app 不會顯示，只有 dock 那個切換的 bar
剛剛是 CrashReport 爛掉，狂吃 cpu
然後強制關閉，他又會再跑出來（因為 CrashReport crash ? 無窮遞迴嗎...）
想關機又不小心按到 sleep 就變那樣了
還有用 expose 每按一次 dock 就 crash 一次
就這一次而已 XD
但睡死很多次了..... 幾天就一次
*****
升級 10.6 後有許許多多的睡死記錄，一開始還會希望他醒來，猛吻..? XD
後來已經快變成一看到沒反應就切電源了...
沒有特別抱怨是因為已經很習慣 mac 常常有問題了。
windows 98 用到後來也確實都不會抱怨啊...
*
狀況時好時壞，現在已經不知道要說什麼了。
不過最近睡眠狀況都很糟，所以精神不太好。
*
今天搞了好久的環境。已經把 bash 弄到有點 fish flavor 了...
http://github.com/godfat/dot-rc
本來想多講一點，不過現在好累，有點懶...
條列式好了：
1. 整個 $HOME 是罩在 git repository 底下，就是 dot-rc
所以 .gitignore 裡有主要這兩行：
/*
!/.config
第一個是忽略所有的東西。第二個是除了 .config 以外的東西。
因為我希望把 config 都集中在這裡面。雖然有些沒辦法啦。
2. 拿掉 fish 的 ll, la, 因為內建，我不需要自己寫
3. 大幅改寫 fish_prompt. 首先是不隱藏 hostname,
因為我會同時需要登入好幾個 server, 隱藏的話，看不出來在哪裡...
但如果 (whoami)@(hostname) 是 godfat@godfat 的話，則隱藏。
不要隱藏 / 目錄。cd / 我不想看到空白的...
由於整個 home 籠罩在 git 裡，我也不想永遠看到 branch name.
這樣我甚至很難分辨是不是跑到另一個 git 底下...
因此做一個 special case, 如果 git config --get fish.hide
存在的話，則隱藏 branch name, 但顯示 dirty index. (*)
因此如果我改了 config, 會看到類似這樣：
~*>
因為我在 home 底下，又是 godfat@godfat, 隱藏 hostname.
這樣夠簡潔吧。我實在討厭 bash 那樣會長超大的。
一般情況則是：
~>
某個 git 目錄則會顯示，例如：
~/p/g/friendly_format master>
除了最後一個目錄，其餘只用一個開頭字母表示。
路徑用 green, branch 名稱用 cyan, 其餘是一般色 (foreground?)
4. bash 跟以上的差別，只在 > 改成 $
試很久，因為 bash 有些地方真的很怪，例如 test equality,
如果有 trailing whitespace 就永遠過不了？
那個 cwd 則是這樣做：
cwd=`pwd | ruby -e 'puts $stdin.read.sub(ENV["HOME"], "~").gsub(/(\w).*?\//, "\\\\1/")'`
本來是想用 sed, 不過我放棄了，實在不太會用...
5. linux 用 ls --color, mac 用 ls -Gw
這是唯一一個 mac 和 linux 上不同的，我懶得追究原因了。
以後需要在新 node 上放東西，就先 clone 這個 dot-rc,
我就有很習慣的環境可用了... 包含 vim 的設定，雖然沒設什麼。
喔對了，還加了個 mate-git:
function mate-git -d 'mate a project'
mate (git ls-files | sed 's/\/.*//g' | uniq)
end
因為如果我用 mate .
會打不開 . 開頭的隱藏檔。而且如果裡面一堆垃圾，
例如我打了 mate ~ 就等著強制關閉 TextMate...
用 mate-git 的話，就只會開有 track 的檔案而已，
這樣就不會把一堆雜七雜八的垃圾一起打開，弄爛 TextMate...
不過 bash 有個問題，上色之後，換行的控制怪怪的...
如果這個解決不了的話，我考慮把顏色拆掉。因為換行有問題，這問題很大！
screen fish xterm (2)
太感謝了，原來是預設的 home/end key 本身就怪怪的？
真怪異，為什麼 mac 預設的都會這樣？
是找 fish-users 的 mailing list,
sourceforge 本身太大了，另外找到另一個 archive:
Mailing List Archive, 裡面也有 fish-users 可以看。
然後 google://site:www.mailinglistarchive.com+fish-users+home+end
找到沒什麼關係的這篇：[Fish-users] help binding keys
接著再看應該是作者？的回覆，提到：
which for me generates the ascii code of ^[[H for Home.
然後才想到，之前我 ctrl + arrow 都需要改設定，改成 ^[f ^[b
之類的吧？從最早用 10.4 時的 iTerm, 和 10.5 的 Terminal.app
都曾經設過這些。而 home/end 卻沒設過，表示這些也是要設吧？
這裡有上一次最近的筆記：xterm-256color
照著設成 send escape sequence [H 和 [F (end),
加上 high interception priority, 就成功了！！
（灑花）
==
原因懶得追究了...
screen fish xterm
...關於 HOME 和 END key
xterm + fish 正常
screen + fish 不正常，變成 OH 和 OF
xterm + bash 正常
screen + bash 正常
一直以為是 screen 的問題，剛剛在 screen 裡切 bash 才發現，
是 fish + screen 的問題，要一起用才有問題，分開用都沒問題 @@
orz
這樣好難 google, 會碰到這種狀況的人應該不多吧？
而且 fish, screen, home, end, oh, 這些字眼都太普通...
唉，不熟啊...
==
btw, 現在 iTerm 用很習慣了，不過 256color 還沒正式使用...
還有我發現之前說 cmd 鍵壞掉的原因是什麼，
是如果我用 shell command 跑 open /Applications/TextMate.app
這樣 cmd 就會壞掉，毫無反應，不能 cmd +q (+w, +c, +v, etc)
這應該是 Mac OS 10.6 的 bug 吧？因為在 10.5 時是很正常的。
好煩啊，打理環境有一堆狀況
環境要設好還有很長的路...
2009-12-01
東方 Bad Apple (Shadow Art) (3)
8 bit 版 XD
音樂很喜歡，編得滿不錯的。不知道作者是誰？
只是畫面一點都不 8 bit.....
引用 xcloudx 的 blog post:
C75：ROCKGIRL 東方岩少女 東方紅魔郷 AST
那張圖才叫 8 bit 風格，上面那個畫面太細了，充其量只是解析度比較低而已...
雖然我不是很熟 rockman 的音樂，但還是很喜歡東方岩少女 XD
做得非常完整，漂亮地結合了 rockman 與東方系列，
兩者的編曲風格都有抓到，非常有趣。
還有一個好處是，這種音樂用電腦放就行了，不用特地用耳機 -_-
雖然買了 cd 和 cd player 不用也有點怪怪的啦...
我覺得買同人 cd 實在很划算，因為很便宜，而且品質不會差 XD
雖然要投其所好也會比較難，但這樣更有挖寶的感覺。
另一方面則是覺得這些活動都該鼓勵這樣。
==
btw, 我其中一個 gmail 的 theme 用 HIGH SCORE! XD
powerset (3) hanoi
看到老林在上篇 comment 裡提到的 hanoi,
我記得我那時候，有照著老林說的概念自己試過一次。
已經不記得那時候是試什麼，但概念倒是還記得，
走在路上時，就開始在想，是不是能重做一次看看？
結果還真的一試就成了...
只能說這個解釋確實很清楚好懂？大概是這樣的：
hanoi 的三個柱子，可以看成 source, buffer, 和 destination.
想像現在只有一個盤子要搬，那當然是 source => destination.
但如果現在要搬的盤子，上面還有其他盤子(n-1)，那必須把上面的先搬到
buffer, 然後把自己搬到 dest, 最後再把 buffer 裡的搬到 dest.
全部也只有這個動作而已。因為我們可以互換每個柱子的角色。
當我們要把上面的盤子(n-1)搬到 buffer, 我們可以互換 buffer
與 dest 的角色，也就是說把 buffer 當 dest, 把 dest 當 buffer.
而因為你要搬 n 時，要先搬 n-1, 要搬 n-2 時，要先搬 n-1,
所以實際上只要不斷變換柱子的角色，就能把整個過程看成一種遞迴，
實際上真正的操作，只有 source => destination,
其餘都是讓 buffer 與 dest 互換，還有讓 buffer 與 source 互換。
後者是從 buffer 搬到 dest, 讓 source 變成 buffer 的意思。
寫成表大概像這樣：
(n-1) source => buffer (buffer 與 dest 互換)
(n) source => destination (唯一真正的移動)
(n-1) buffer => destination (buffer 與 source 互換)
翻譯成 Haskell, 一開始我是寫成這樣：
n 是盤子編號，f 是 from(source), b 是 buffer, t 是 to(dest),
而 r 則是 result, 所有步驟的 List.
ha :: Integer -> Char -> Char -> Char -> [(Integer, Char, Char)] -> [(Integer, Char, Char)]
ha 0 _ _ _ r = r
ha n f b t r = ha (n-1) f t b r ++ [(n, f, t)] ++ ha (n-1) b f t r
試了一下，看起來真的是對的。很少一寫就成過...
雖然我原本是想把柱子寫成 List, 像是：
hanoi :: List a -> List a -> List a -> ...
但想來想去，這樣做的話就不知道怎麼互換柱子了？
只好還是用代號表示柱子。或許要把這當成某種 flag, 才能做 List.
然後覺得 r 很多餘，可以改成：
ha' :: Integer -> Char -> Char -> Char -> [(Integer, Char, Char)]
ha' 0 _ _ _ = []
ha' n f b t = ha' (n-1) f t b ++ [(n, f, t)] ++ ha' (n-1) b f t
接著可以省掉一個 ++, 雖然我不知道有沒有意義...
ha'' :: Integer -> Char -> Char -> Char -> [(Integer, Char, Char)]
ha'' 0 _ _ _ = []
ha'' n f b t = ha'' (n-1) f t b ++ ((n, f, t) : ha'' (n-1) b f t)
我想這樣再來看這個（Zelda triangle（誤）），應該比較容易懂吧？
ICFP 2009 演講全程錄影上網
camping
看到這個真的是會很想打人...
camping.rb
而且看一下 L22-L23, 這邊判斷如果 v 是 String 的話，
會幫你設定 path. 但如果不是的話，就跳過去。
結果我在 rubycas-server 裡，cookie 沒設 expires 的話，
path 有正常設好，但是設了 expires, 這個 v 會變成 Hash,
就不會幫你設 path 了。
.........
然後 safari 運作會不正常。firefox 會用 uri 幫你設正確的 path,
也就是 /cas/, 但是 safari 有時候設 /cas, 有時候設 /cas/,
結果就會造成 single sign-on 有問題...
這 rubycas-server 我真的快受夠了，camping 也不支援 1.9,
裡面一堆垃圾 code, 可以整個重寫嗎？？？
Subscribe to:
Posts (Atom)
favorite albums