PkmX
@PkmX
79Friends 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 說
11 years ago 5
You've Been Invited to Play Ingress
PkmX 說
11 years ago 1
怒刷dd-wrt
PkmX 好奇
11 years ago 4
4k lines of somebody please kill me right now
PkmX 說
11 years ago 3
GNU guix - a purely functional package manager
PkmX 說
11 years ago 4
‮kerker
PkmX 說
11 years ago 2
$ winetricks list-all | grep kde
kde KDE on Windows (various, 2011) [downloadable]
PkmX 好奇
11 years ago 3
Ingress - It's time to Move.
PkmX 說
11 years ago 2
計圖學講義好像很多東西都只有稍微點過啊，這樣根本不知道要考什麼= =
PkmX 說
11 years ago
An SSD in your pocket 237MB/s read & 143MB/s write
PkmX 說
11 years ago 6
httpstatuscats.com/ 希望沒有腿很大