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
分享
gcc 4.7.0 released (and the 25th anniversary since 1987)
PkmX
說
https://i.imgur.com/ecbWy.png 這兩天東湊西湊，把以前寫的東西拿膠帶黏一黏，終於生出一個沒啥用的photon mapping prototype了^q^
PkmX
說
PATH加上C:\mingw47\bin\以後gvim就打不開了是哪招...
PkmX
問
嵌入式晚上有要lab嗎？
PkmX
說
javascript沒有operator overloading，寫起vector和matrix相關的expression真是有夠噁心的...
PkmX
喜歡
取得住宿權！ 
PkmX
說
今天ABCDEFGHIJK全天有課 
PkmX
說
沒想到居然要改報告... 