Cheng Sheng

#haskell Funny... A function "emptyArray :: Ix i => Array i e" seems not definable if we only assume "i" has class Ix.

@leemars 熊你越来越沧桑了

I'm at 曼妙午后 4sq.com/RhLyDY

I'm at 亿象城 4sq.com/1qqfdGX

Transferring... (@ Frankfurt Airport (FRA) - @airport_fra w/ 52 others) 4sq.com/Qr8wrE

Start traveling again! (@ Zürich Airport (ZRH) - @zrh_airport w/ 43 others) 4sq.com/1jiFjsU

@leemars 熊你失恋啦？哦，又。

@iveney 这不科学... 她如何保持脸部肌肉不会变成屠洪纲那样的？

@leemars 熊手下还有三千小弟的呀！

@FreePeter3000 你熬夜赶sigmod中居然还有时间上推特来浪费时间？小盆友果然彪悍啊。

哈哈，#swisscom 提供的一个prepaid的#sim卡 很可爱的嘛：前1分钟通话每秒付CHF 0.01，之后通话时间在1分钟和1小时之间的话总共付CHF 0.6。

@FreePeter3000 大清早的。你在哪儿？康村那边现在是凌晨吧？

@FreePeter3000 @leemars @shen72 不知道，先待一段时间看看情况。

@leemars @shen72 已经晚了... 到苏黎世了。

@shen72 @leemars 嘿，业余人士讨论问题，专业人士还是回避好了，不然每句话看上去都像当年小猪头在系版上的发帖...

@leemars 跑完最后放慢速度跑到呼吸顺畅就好了。突然换成走路甚至停下来的话会气喘到像是要憋死的感觉的。

@leemars 结果还是没能开始跑步？

@iveney 太CS的人不应该碰到NP-hard就开始想approximation或是parameterized complexity吗？用heuristic的是伪CS吧.

@shen72 @leemars 大神童鞋回到墙内突然tweets猛增啊

@leemars 熊你中毒已深。连TDD创始人都说自己是能少写tests就少写的。