SylphReader

所谓“人为错误”
其他人的BUG
创造者的思维方式
关系式模型的实质
对 Go 语言的综合评价
电视编剧的问题
一个对 Dijkstra 的采访视频
我的第一次和最后一次 Hackathon 经历
程序语言与它们的工具
RubySonar：一个 Ruby 静态分析器
程序语言与……
PySonar2 与 Sourcegraph 集成完毕
丘奇和图灵
Pydiff Python结构化程序比较工具
原因与证明
Ydiff 结构化的程序比较
程序语言不是工具
编辑器与IDE

CCTV10-大真探(889)
CCTV10-自然传奇(4292)
CCTV10-探索发现(3661)
CCTV10-地理中国(4094)
CCTV09-舌尖上的中国(31)
CCTV07-乡土(1581)
plumz.me(18)
yinwang.org(369)