当然我在扯淡
  • Night
  • Sort
  • All
  • 博客
  • GitHub
  • Tweet
  • 微博
  • 公众号
  • 简书
  • 付费
  • 联系方式
Programming
PL
OS
Insight
Design
Car
Temp
  • iPhone-X
  • AlphaGo Zero 和强人工智能
  • 理性的力量
  • 智能家居
  • 不再发售『加湿器的秘密』
  • 中国式母亲
  • 美国家庭用什么取暖设备
  • 人体工学
  • 人体工学（草稿）
  • CIIA 报告 No.1 发货完毕
  • 微信公众号
  • CIIA 报告 No.1 两天后开始发货
  • 教苹果设计师做设计（CIIA 报告 No.1 预告片）
  • 商业计划
  • 知乎和MITBBS
  • 微博
  • 旅行的智慧
  • 我为什么爱猫
  • 生活的智慧
  • 如何掌握所有的程序语言
  • 回国了
  • 不谈政治
  • DSL
  • DSL(旧)
  • 聊聊 DSL(旧)
  • 关于广告和付费
  • 关于广告和付费(旧)
  • Kotlin 和 Checked Exception
  • Kotlin 和 Checked Exception(旧)
  • Kotlin 和 Checked Exception(旧)
  • 什么是现实理想主义者
  • 什么是现实理想主义者(旧)
  • 对中国人的信心
  • 对中国人的信心(旧)
  • 微软的秘密离职协议
  • 微软的秘密离职协议(旧)
  • 美国企业的装嫩问题
  • 美国企业的装嫩问题(旧)
  • 新的联系方式
  • 纪念五一劳动节
  • 我为什么不在乎人工智能
  • 我为什么不在乎人工智能(旧)
  • 那些垠黑们
  • 为什么我的代码进入闭源状态
  • 美国公司管理层的洗脑技巧
  • 求带猫回国经验
  • 经验和洞察力
  • 一个人的罢工
  • 更新
  • 更新(旧)
  • 精英主义的灭亡
  • 新年展望
  • 9-11 袭击的真相
  • 给 Julian Assange 捐款
  • 希拉里的“邮件门”丑闻是怎么回事
  • 希拉里的真实面目
  • 可恶的 C# IDisposable 接口
  • C 编译器优化过程中的 Bug
  • 对 Rust 语言的分析
  • 支付宝的身份验证问题
  • 测试的道理
  • Tesla autopilot 引起致命车祸
  • Google Maps的设计问题
  • 养生节目带来的危害
  • 欧盟草拟法案，对机器人征税
  • 两个计划的变动
  • IT业给世界带来的危机
  • 关于离开美国的决定
  • 美国社会的信息不平等现象
  • Java 有值类型吗？
  • Swift 语言的设计错误
  • 我的 tweet 系统
  • 正面思维的误区
  • 未来计划
  • 关于博文的自愿付费方式
  • 到底是谁在欺负我们读书少？
  • 我为什么不再做PL人
  • Go语言，Docker和Kubernetes
  • 为什么自动车完全不可以犯错误
  • Google的眼光
  • AlphaGo与人工智能
  • 不要去SeaWorld
  • 我看自动驾驶技术
  • 给Java说句公道话
  • Tesla Autopilot
  • 给Las Vegas的差评
  • Tesla Model X的车门设计问题
  • 写书计划
  • Tesla Model S的设计失误
  • 编程的智慧
  • 编程的智慧(旧)
  • 图灵的光环
  • 谈谈Parser
  • 数学和编程
  • 谈程序的正确性
  • DRY原则的误区
  • 所谓软件工程
  • 编程的宗派
  • 智商的圈套
  • 我为什么不再公开开发Yin语言
  • 设计的重要性
  • 我为什么在乎这一个A+
  • RPG游戏是怎么炼成的
  • 不要做聪明人
  • 怎样尊重一个程序员
  • 所谓“人为错误”
  • 不要让其他人修补自己的BUG
  • 创造者的思维方式
  • 人的价值
  • 牛校综合征
  • 我和 Google 的故事（2015 修订版）
  • 在三藩的两年
  • 恶评《星际穿越》
  • RSS与三不主义
  • 谈创新
  • 谦虚不是一种美德
  • 怎样成为一个天才
  • 休息，休息一会儿
  • 批判的价值
  • 设计和开发 Yin 语言
  • 关系模型的实质
  • SQL，NoSQL 以及数据库的实质
  • 对 Go 语言的综合评价
  • 关于go语言
  • 黑客文化的精髓
  • 电视编剧的问题
  • 天下第一萌程序
  • 婚姻不止是爱情的坟墓
  • 学术腐败是历史的必然
  • 版权声明
  • 一个对 Dijkstra 的采访视频
  • 十年前的我的来信
  • 程序语言与它们的工具
  • RubySonar：一个 Ruby 静态分析器
  • 程序语言与……
  • 我和权威的故事
  • 为什么说面向对象编程和函数式编程都有问题
  • 再见 Voxer，你好 Sourcegraph
  • PySonar2 开源了
  • 随便写点
  • 知乎
  • 丘奇和图灵
  • 为什么一种程序语言是不够用的
  • Pydiff Python结构化程序比较工具
  • “One语言”是不存在的
  • “One语言”的设计理念
  • PySonar 的工作原理
  • 前进
  • 我离开了Coverity
  • 原因与证明
  • Ydiff 结构化的程序比较
  • 程序语言不是工具
  • 编辑器与IDE
  • 程序语言的常见设计错误(2) - 试图容纳世界
  • 关于语言的思考
  • Yoda 表示法错在哪里
  • 几个超炫的专业词汇
  • 一种新的操作系统设计
  • Markdown 的一些问题
  • 标准化试卷标记语言
  • 谈程序的“通用性”
  • 什么是启发
  • Scheme 编程环境的设置
  • 我为什么离开 Cornell
  • 谈“测试驱动的开发”
  • 爱因斯坦谈教育
  • 谈谈 Currying
  • 谈惰性求值
  • Hindley-Milner 类型系统的根本性错误
  • 对函数式语言的误解
  • 爱因斯坦对美国的第一印象
  • 什么是“脚本语言”
  • Chez Scheme 的传说
  • 谈编译器
  • Lisp 已死，Lisp 万岁！
  • 论对东西的崇拜
  • “解决问题”与“消灭问题”
  • 程序语言的常见设计错误(1) - 片面追求短小
  • 谈语法
  • Oberon 操作系统：被忽略的珍宝
  • 谈 Linux，Windows 和 Mac
  • 解密“设计模式”
  • Braid - 一个发人深思的游戏
  • 你好，世界
  • 再别IU
  • 好话只说一遍
  • 最后一篇博文
  • 结构化版本控制
  • 关于类型推导的幻灯片
  • PhD 的 oral exam
  • 用脑图来记录思想
  • TeXmacs：一个真正“所见即所得”的排版系统
  • 反省
  • 不再推荐Haskell
  • 理论是围城
  • 对博士学位说永别
  • 知识分子的傲慢与偏见
  • 论研究
  • 如何掌握程序语言
  • 什么是社会主义
  • 什么是程序语言的研究
  • 怎样写一个解释器
  • 怎样写一个解释器(旧)
  • 一个中国人的反省
  • 什么是语义学
  • GTF - Great Teacher Friedman
  • 程序语言理论的学习对于程序员教育的作用
  • Unix的缺陷
  • 名称和本质
  • 什么是“对用户友好”
  • 小小科学家的归来
  • 为什么需要正则表达式
  • 让科学和理性回到计算机科学