Versions:
2013-04-17
2013-04-26
2013-05-04
2013-06-04
2013-06-27
2013-07-09
2013-07-16
2013-07-22
2013-07-29
2013-09-24
2013-10-09
2013-10-30
2013-11-08
2013-11-17
2013-11-25
2014-01-16
2014-01-25
2014-02-13
2014-02-25
2014-04-12
2014-04-16
2014-04-26
2014-05-03
2014-05-11
2014-05-19
2014-06-19
2014-07-29
2014-08-14
2014-08-20
2014-09-05
2014-09-15
2014-09-28
2014-10-17
2014-11-25
2014-12-26
2015-01-06
2015-01-21
2015-02-02
2015-02-05
2015-02-25
2015-03-04
2015-03-13
2015-03-21
2015-03-24
2015-03-28
2015-04-05
2015-06-19
2015-07-02
2015-07-09
2015-09-24
2015-10-19
2015-11-07
2015-11-15
2015-11-26
2015-12-13
2016-01-09
2016-01-21
2016-02-21
2016-02-28
2016-03-14
2016-03-21
2016-04-01
2016-04-12
2016-04-18
2016-05-14
2016-05-21
2016-05-26
2016-06-07
2016-06-13
2016-06-18
2016-06-24
2016-06-29
2016-07-08
2016-07-13
2016-09-17
2016-09-22
2016-10-06
2016-10-10
2016-10-16
2016-10-29
2016-11-15
2016-11-19
2016-11-20
2017-05-06
2017-05-14
2017-05-17
2017-05-21
2017-05-26
2017-06-02
2017-07-10
2017-07-21
2017-08-05
2017-08-11
2017-08-20
2017-09-09
2017-09-26
2017-10-03
2017-10-12
2017-10-19
2017-10-25
2017-10-31
2017-11-06
2017-11-10
2017-11-15
2017-11-19
2017-11-30
2017-12-06
2017-12-12
2017-12-19
2018-01-03
2018-02-21
2018-02-28
2018-03-05
2018-03-09
2018-03-23
2018-03-27
2018-03-30
2018-04-16
2018-05-09
2018-06-01
2018-06-07
2018-09-18
2018-10-19
2018-10-26
2018-11-26
2018-12-10
2019-02-04
2019-02-11
2019-07-04
2019-07-09
2019-07-13
2019-07-24
2019-08-07
2019-08-22
2019-09-07
2019-10-09
2019-10-22
2019-11-08
2019-12-08
2019-12-21
2019-12-27
2020-01-18
2020-02-17
2020-03-11
2020-05-11
2020-06-04
2022-08-16
Toggle navigation
当然我在扯淡
博客
付费
对某领导离任有感
中国人如何经营自己
智能合约和形式验证
成都的雾霾
理性的力量
人体工学
旅行的智慧
我为什么爱猫
生活的智慧
如何掌握所有的程序语言
带猫回国经历
DSL
Kotlin 和 Checked Exception
什么是现实理想主义者
美国企业的装嫩问题
人工智能的局限性
美国公司管理层的洗脑技巧
对 Rust 语言的分析
测试的道理
Swift 语言的设计错误
正面思维的误区
博文的自愿付费方式
给Java说句公道话
编程的智慧
图灵的光环
对 Parser 的误解
数学和编程
谈程序的正确性
DRY原则的误区
所谓软件工程
编程的宗派
智商的圈套
设计的重要性
不要做聪明人
怎样尊重一个程序员
所谓“人为错误”
创造者的思维方式
人的价值
牛校综合征
谈创新
关系模型的实质
对 Go 语言的综合评价
黑客文化的精髓
一个对 Dijkstra 的采访视频
程序语言与它们的工具
我和权威的故事
原因与证明
编辑器与IDE
程序语言的常见设计错误(2) - 试图容纳世界
谈程序的“通用性”
Scheme 编程环境的设置
测试驱动开发
爱因斯坦谈教育
Currying 的局限性
惰性求值
函数式语言的宗教
什么是“脚本语言”
Lisp 已死,Lisp 万岁!
论对东西的崇拜
“解决问题”与“消灭问题”
程序语言的常见设计错误(1) - 片面追求短小
谈语法
Oberon 操作系统:被忽略的珍宝
解密“设计模式”
TeXmacs:一个真正“所见即所得”的排版系统
怎样写一个解释器