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
当然我在扯淡
博客
付费
解谜计算机科学(1)
CIIA 苹果报告自觉付费模式
智能合约和形式验证
iPhone X
理性的力量
我为什么爱猫
如何掌握所有的程序语言
DSL
Kotlin 和 Checked Exception
什么是现实理想主义者
美国企业的装嫩问题
人工智能的局限性
经验和洞察力
C 编译器优化过程中的 Bug
对 Rust 语言的分析
测试的道理
Tesla autopilot 引起致命车祸
养生节目的危害
IT业给世界带来的危机
Java 有值类型吗?
Swift 语言的设计错误
正面思维的误区
博文的自愿付费方式
为什么自动车完全不可以犯错误
AlphaGo与人工智能
不要去SeaWorld
我看自动驾驶技术
给Java说句公道话
Tesla Autopilot
Tesla Model X的车门设计问题
Tesla Model S的设计失误
编程的智慧
图灵的光环
对 Parser 的误解
数学和编程
谈程序的正确性
编程的宗派
智商的圈套
为什么拍照是个坏习惯
设计的重要性
不要做聪明人
怎样尊重一个程序员
所谓“人为错误”
其他人的BUG
创造者的思维方式
小费和中国人的尊严
牛校综合征
我和 Google 的故事(2015 修订版)
谈创新
贡献和价值
谦虚不是一种美德
怎样成为一个天才
关系模型的实质
对 Go 语言的综合评价
黑客文化的精髓
电视编剧的问题
一个对 Dijkstra 的采访视频
我的第一次和最后一次 Hackathon 经历
程序语言与它们的工具
程序语言与……
我和权威的故事
丘奇和图灵
原因与证明
程序语言不是工具
编辑器与IDE
程序语言的常见设计错误(2) - 试图容纳世界
关于语言的思考
Yoda 表示法错在哪里
几个超炫的专业词汇
一种新的操作系统设计
论“我”和“我们”
谈程序的“通用性”
什么是启发
Scheme 编程环境的设置
Currying 的局限性
惰性求值
函数式语言的宗教
什么是“脚本语言”
Lisp 已死,Lisp 万岁!
论对东西的崇拜
“解决问题”与“消灭问题”
程序语言的常见设计错误(1) - 片面追求短小
谈语法
Oberon 操作系统:被忽略的珍宝
谈 Linux,Windows 和 Mac
解密“设计模式”
Braid - 一个发人深思的游戏
TeXmacs:一个真正“所见即所得”的排版系统
怎样写一个解释器
什么是语义学
GTF - Great Teacher Friedman
什么是“对用户友好”