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
当然我在扯淡
博客
付费
智能合约和形式验证
成都的雾霾
理性的力量
人体工学
旅行的智慧
我为什么爱猫
生活的智慧
如何掌握所有的程序语言
带猫回国经历
DSL
Kotlin 和 Checked Exception
什么是现实理想主义者
人工智能的局限性
美国公司管理层的洗脑技巧
对 Rust 语言的分析
测试的道理
Swift 语言的设计错误
正面思维的误区
博文的自愿付费方式
给Java说句公道话
编程的智慧
图灵的光环
谈谈Parser
数学和编程
谈程序的正确性
DRY原则的误区
所谓软件工程
编程的宗派
智商的圈套
设计的重要性
不要做聪明人
怎样尊重一个程序员
所谓“人为错误”
创造者的思维方式
人的价值
牛校综合征
谈创新
关系模型的实质
对 Go 语言的综合评价
黑客文化的精髓
一个对 Dijkstra 的采访视频
程序语言与它们的工具
我和权威的故事
丘奇和图灵
原因与证明
编辑器与IDE
程序语言的常见设计错误(2) - 试图容纳世界
谈程序的“通用性”
Scheme 编程环境的设置
测试驱动开发
爱因斯坦谈教育
Currying 的局限性
惰性求值
函数式语言的宗教
什么是“脚本语言”
Lisp 已死,Lisp 万岁!
论对东西的崇拜
“解决问题”与“消灭问题”
程序语言的常见设计错误(1) - 片面追求短小
谈语法
Oberon 操作系统:被忽略的珍宝
解密“设计模式”
TeXmacs:一个真正“所见即所得”的排版系统
怎样写一个解释器