Versions:
2014-02-08
2014-06-25
2014-08-04
2014-12-22
2015-03-15
2015-03-18
2016-01-25
2016-08-31
2016-11-23
2016-12-02
2016-12-03
2017-04-12
2017-04-18
2017-05-12
2017-05-24
2017-05-27
2017-07-01
2017-10-06
2017-12-16
2018-02-17
2018-02-24
2018-03-04
2018-03-06
2019-06-22
2019-07-17
2019-08-15
2019-08-18
2019-09-15
2019-10-02
2019-11-19
2019-12-25
2020-02-04
2020-03-02
2020-03-04
2020-03-12
2020-03-24
2020-03-26
2020-04-10
2020-05-03
2020-05-17
2020-06-11
2020-09-21
2020-09-26
2020-11-20
2021-01-19
2021-01-22
2021-02-06
2021-02-28
2021-04-28
2021-05-15
2021-07-13
2021-07-26
2021-07-28
2021-07-29
2021-09-26
2021-09-28
2021-10-06
2021-10-09
2021-10-20
2021-12-01
2022-02-04
2022-02-07
2022-02-23
2022-03-16
2022-03-28
2022-04-09
2022-04-24
2022-06-25
2022-07-07
2022-07-29
2022-09-12
2022-10-09
2022-11-26
2022-12-06
2023-01-02
2023-03-13
2023-09-23
2023-12-25
Toggle navigation
当然我在扯淡
Blog
GitHub
Email
Blog
Homeless!我需要你的帮助!
休息,休息一会儿
批判的价值
SQL,NoSQL 以及数据库的实质
对 Go 语言的综合评价
黑客文化的精髓
天下第一萌程序
学术腐败是历史的必然
一个对 Dijkstra 的采访视频
创造力的真正含义
程序语言与它们的工具
RubySonar:一个 Ruby 静态分析器
程序语言与……
我和权威的故事
PySonar2 与 Sourcegraph 集成完毕
在 Sourcegraph 的第三天
再见 Voxer,你好 Sourcegraph
PySonar2 开源了
PySonar 的第二个用户
丘奇和图灵
Pydiff Python结构化程序比较工具
原因与证明
Ydiff 结构化的程序比较
程序语言不是工具
编辑器与IDE
程序语言的常见设计错误(2) - 试图容纳世界
关于语言的思考
Yoda 表示法错在哪里
几个超炫的专业词汇
标准化试卷标记语言
一种新的操作系统设计
Markdown 的一些问题
谈程序的“通用性”
什么是启发
Scheme 编程环境的设置
谈“测试驱动的开发”
爱因斯坦谈教育
谈谈 Currying
谈惰性求值
对函数式语言的误解
爱因斯坦对美国的第一印象
什么是“脚本语言”
Lisp 已死,Lisp 万岁!
“解决问题”与“消灭问题”
程序语言的常见设计错误(1) - 片面追求短小
谈语法
Oberon 操作系统:被忽略的珍宝
谈 Linux,Windows 和 Mac
解密“设计模式”
Braid - 一个发人深思的游戏
TeXmacs:一个真正“所见即所得”的排版系统
怎样写一个解释器
什么是语义学
什么是“对用户友好”