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
当然我在扯淡
博客
微博
付费
AlphaGo Zero 和强人工智能
理性的力量
如何掌握所有的程序语言
DSL
Kotlin 和 Checked Exception
美国企业的装嫩问题
我为什么不在乎人工智能
美国公司管理层的洗脑技巧
对 Rust 语言的分析
测试的道理
Tesla autopilot 引起致命车祸
养生节目的危害
Java 有值类型吗?
Swift 语言的设计错误
正面思维的误区
博文的自愿付费方式
我为什么不再做PL人
为什么自动车完全不可以犯错误
AlphaGo与人工智能
我看自动驾驶技术
给Java说句公道话
Tesla Autopilot
编程的智慧
图灵的光环
谈谈Parser
数学和编程
谈程序的正确性
DRY原则的误区
所谓软件工程
编程的宗派
智商的圈套
设计的重要性
不要做聪明人
怎样尊重一个程序员
所谓“人为错误”
创造者的思维方式
人的价值
牛校综合征
我和 Google 的故事(2015 修订版)
谈创新
关系模型的实质
对 Go 语言的综合评价
黑客文化的精髓
学术腐败是历史的必然
一个对 Dijkstra 的采访视频
程序语言与它们的工具
程序语言与……
我和权威的故事
丘奇和图灵
原因与证明
程序语言不是工具
编辑器与IDE
程序语言的常见设计错误(2) - 试图容纳世界
关于语言的思考
一种新的操作系统设计
谈程序的“通用性”
什么是启发
Scheme 编程环境的设置
我为什么离开 Cornell
测试驱动开发
爱因斯坦谈教育
Currying 的局限性
惰性求值
对函数式语言的误解
什么是“脚本语言”
Lisp 已死,Lisp 万岁!
论对东西的崇拜
“解决问题”与“消灭问题”
程序语言的常见设计错误(1) - 片面追求短小
谈语法
Oberon 操作系统:被忽略的珍宝
解密“设计模式”
Braid - 一个发人深思的游戏
TeXmacs:一个真正“所见即所得”的排版系统
怎样写一个解释器
什么是语义学
什么是“对用户友好”