豆瓣
扫码直接下载
今天跑了大半个上海，终于回来；
方向：formal verification，program synthesis。 ---- 我是一只虫子， ...
> 返回到此一游 e/acc的全部广播
