SylphReader

程序语言与……
PySonar2 与 Sourcegraph 集成完毕
丘奇和图灵
Pydiff Python结构化程序比较工具
原因与证明
Ydiff 结构化的程序比较
程序语言不是工具
编辑器与IDE
程序语言的常见设计错误(2) - 试图容纳世界
关于语言的思考
Yoda 表示法错在哪里
几个超炫的专业词汇
标准化试卷标记语言
一种新的操作系统设计
谈程序的“通用性”
Scheme 编程环境的设置
Currying 的局限性
惰性求值

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