PkmX
@PkmX
78Friends 25Fans
Karma0.0
male Taipei, Taiwan
National Chiao Tung University
Department of Computer Science

Google+
Types are propositions, and programs are proofs. If your program satisfies the type, it is a proof of the proposition.
PkmX 說
13 years ago 2
entity system寫到最後居然開始做起database normalization了
PkmX 說
13 years ago 10
昨天寫計組作業一直想:make，我一定是壞掉了^q^ (annoyed)
PkmX 說
13 years ago 2
一週一科期中考（輸出入→計組→正規）
PkmX 好奇
13 years ago 6
Nov 20 22:37:08 localhost kernel: [102672.798060] sshd[692]: segfault at b060fb0 ip 0804f61c sp bfcb3fe0 error 4 in sshd[8048000+79000]
PkmX 說
13 years ago 2
Years of development in C++11 and efforts put into gcc and finally I am able to write this over-generic and useless vector class.
PkmX 說
13 years ago 4
打算寫信問OS助教要用哪一版的MSVC，不知道能不能用rvalue references和variadic template寫thread class快讓我 了
PkmX 說
13 years ago 1
昨天幹掉三個作業，今天又冒出三個 (fuu)
PkmX 說
13 years ago 2
發現之前做了件蠢事：我忘了筆電開機要用grub2，就很高興的把/boot partition給移走了...（狀態顯示為無法開機
PkmX 覺得
13 years ago 6
值班的時候寫作業效率超高，一個晚上幹掉三份作業XD
PkmX 說
13 years ago 1
看完電腦動畫assignment 2的投影片以後不知道要幹麻 (yay)