豆瓣
扫码直接下载
可能今天位移量比较大(虽然都是坐车..)，所以吃了四顿还是饿醒了，平时都是一天两顿都保持快五年了；
方向：formal verification，program synthesis。 ---- 我是一只虫子， ...
> 返回到此一游 e/acc的全部广播
