Login
Sign Up For Free
English
中文 (繁體)
中文 (香港)
中文 (简体)
日本語
Filipino
Bahasa Indonesia
Bahasa Melayu
Pусский
Português (Brasil)
Magyar
Français
Español
Deutsch
Čeština
العربية
Català
Dansk
Ελληνικά
فارسی
Suomi
Gaeilge
Hindi
עברית
Hrvatski
Italiano
Norsk bokmål
Nederlands
한국어
Polski
Română
Slovenský
Svenska
Türkçe
українська
беларуская
ไทย
Standard view
PkmX
@PkmX
79
Friends
25
Fans
Karma
0.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/
希望沒有腿很大
delete
reply
edit
cancel
cancel