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
当然我在扯淡
Blog
简书
微博
GitHub
Blog
文章更新通知
未来计划
关于博文的自愿付费方式
到底是谁在欺负我们读书少?
我为什么不再做PL人
Go语言,Docker和Kubernetes
为什么自动车完全不可以犯错误
Google的眼光
AlphaGo与人工智能
不要去SeaWorld
我看自动驾驶技术
给Java说句公道话
Tesla Autopilot
给Las Vegas的差评
Tesla Model X的车门设计问题
写书计划
Tesla Model S的设计失误
编程的智慧
图灵的光环
谈谈Parser
数学和编程
谈程序的正确性
DRY原则的误区
所谓软件工程
编程的宗派
智商的圈套
我为什么不再公开开发Yin语言
设计的重要性
我为什么在乎这一个A+
不要做聪明人
怎样尊重一个程序员
所谓“人为错误”
创造者的思维方式
人的价值
牛校综合征
我和 Google 的故事(2015 修订版)
在三藩的两年
恶评《星际穿越》
RSS与三不主义
谈创新
谦虚不是一种美德
怎样成为一个天才
休息,休息一会儿
关系模型的实质
对 Go 语言的综合评价
黑客文化的精髓
电视编剧的问题
天下第一萌程序
学术腐败是历史的必然
一个对 Dijkstra 的采访视频
程序语言与它们的工具
RubySonar:一个 Ruby 静态分析器
程序语言与……
我和权威的故事
PySonar2 开源了
丘奇和图灵
Pydiff Python结构化程序比较工具
原因与证明
Ydiff 结构化的程序比较
程序语言不是工具
编辑器与IDE
程序语言的常见设计错误(2) - 试图容纳世界
关于语言的思考
Yoda 表示法错在哪里
几个超炫的专业词汇
一种新的操作系统设计
Markdown 的一些问题
谈程序的“通用性”
什么是启发
Scheme 编程环境的设置
我为什么离开 Cornell
谈“测试驱动的开发”
爱因斯坦谈教育
谈谈 Currying
谈惰性求值
对函数式语言的误解
什么是“脚本语言”
Chez Scheme 的传说
Lisp 已死,Lisp 万岁!
论对东西的崇拜
“解决问题”与“消灭问题”
程序语言的常见设计错误(1) - 片面追求短小
谈语法
Oberon 操作系统:被忽略的珍宝
谈 Linux,Windows 和 Mac
解密“设计模式”
Braid - 一个发人深思的游戏
TeXmacs:一个真正“所见即所得”的排版系统
怎样写一个解释器
什么是语义学
GTF - Great Teacher Friedman
什么是“对用户友好”