PkmX
@PkmX
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.
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
想要
KVM switch 
PkmX
覺得
img716.imageshack.us/img... boost.rant
PkmX
說
被8051婊了 
PkmX
說
從 ttoonnyy80 ㄉㄉ借來RS232轉USB的線以後，成功將linux的console轉到ttyS0上了XD
PkmX
好奇
OS作業問「遇到的問題和解決方式」，我直接寫"No"就有45分耶XD
PkmX
說
看了半個學期的finite fields 
PkmX
說
下星期好像只需要考兩科期中考：ㄇㄇ學+OS 
PkmX
說
復活了 