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
說
mosh亂改人家的$TERM然後又不作轉換 
PkmX
說
終於...（imgur狀態顯示為爛掉中
PkmX
說
[arch-announce] systemd is now the default on new installations https://i.imgur.com/hDcuX.jpg
PkmX
好奇
NVIDIA的driver噴了接近37萬行的錯誤以後就panic了 
NVRM: Xid (0000:01:00): 26, Ch 00000000 M 00000104 D 00000000 intr 04400000
NVRM: Xid (0000:01:00): 26, Ch 00000000 M 00000104 D 00000000 intr 04400000
PkmX
說
bootstrap v2 + IE6 簡直悲劇... 
PkmX
需要
防降
PkmX
說
0016022 張庭愷 -> 0116022 陳柏宇，這麼菜市場名是要怎麼人肉搜索 
PkmX
說
新寫的code還沒push，還躺在宿舍電腦裡面，結果宿舍斷網連不回去，真的不知道該不該拿先前的revision直接重寫= =
PkmX
說
終於全部考完了 