王垠：我的 tweet 系统

[xtynk]

http://www.yinwang.org/tweet.html

有意思

[icedx]

自动过滤心理不正常的人
23333

[iz]

然而万能的 Emacs 已经内置了这样的功能， org-capture 配合 org-publish ，手到擒来。 http://isaac.updog.co/p-tweets.html

[ffffwh]

上次看了他的 weibo 才知道 the little prover 出了

[holong2000]

@ffffwh little prover 是什么？

[honmaple]

这个想法挺不错的，我也来弄一个

[loading]

@lyog 你倒是贴出来啊

tǔ
百度百科写的挺有意思：
圡是一个汉语词汇，基本意思是土到掉渣。读

[daya]

妹纸听了我的观后感，笑了 :)

[arens]

"..评论，不方便转载。可.."

复制粘贴是最方便的转载~

[ffffwh]

@holong2000 就是那个 mini coq

[piao1057]

@yangff 夹在眼镜鼻梁位置的那种夹片不难受

[adow]

这里的顶上有一个 “时间轴”