Toggle navigation
当然我在扯淡
博客
草稿
付费
2023年12月23日
计算机科学基础班（第5期，现实接轨班）招生
2022年12月12日
continuation 和并发计算专项班
2022年12月01日
计算机科学阅读班提供疫情特价
2022年02月22日
自然视力恢复法
2022年02月22日
计算机科学进阶班招生
2022年02月07日
计算机科学阅读班招生说明
2021年09月16日
第一位“计算机科学少年班”学生毕业
2021年07月29日
“超人类机器视觉”是不存在的
2021年05月11日
『Ground-Up Computer Science』样章
2021年05月10日
计算机科学基础班（第 4 期）报名
2021年04月16日
大提琴为什么这么难学
2021年02月16日
计算机科学阅读班（实验）
2021年02月15日
计算机科学基础班（第三期）报名
2020年09月24日
计算机科学集体班（第二期）报名
2020年05月23日
几个需要避免的美国英语习惯
2020年04月30日
一对一教学计划
2020年03月26日
计算机科学入门班报名
2020年03月23日
对智商的怀疑
2020年03月06日
英语学习的一些经验
2020年03月03日
计算机科学课程
2020年02月13日
一道 Java 面试题
2020年02月05日
如何阅读别人的代码
2019年12月24日
我不是编译器专家
2019年09月30日
自动驾驶车的责任和风险分析
2019年09月16日
机器与人类视觉能力的差距（3）
2019年09月15日
机器与人类视觉能力的差距（2）
2019年09月14日
机器与人类视觉能力的差距（1）
2019年09月11日
Talk is not cheap
2019年08月19日
关于微内核的对话
2019年07月21日
再谈“P vs NP”问题
2019年07月12日
学习的智慧
2018年11月23日
解谜英语语法
2018年04月13日
解谜计算机科学
2018年02月22日
智能合约和形式验证
2018年02月16日
成都的雾霾
2017年11月11日
天才是不存在的
2017年11月05日
网络用语
2017年11月04日
AlphaGo Zero 和强人工智能
2017年11月01日
理性的力量
2017年10月16日
人体工学
2017年08月14日
旅行的智慧
2017年07月08日
生活的智慧
2017年07月06日
如何掌握所有的程序语言
2017年07月06日
带猫回国经历
2017年05月25日
DSL 的误区
2017年05月23日
Kotlin 和 Checked Exception
2017年05月17日
什么是现实理想主义者
2017年04月23日
人工智能的局限性
2017年04月14日
经验和洞察力
2016年10月13日
C# 的 IDisposable 接口
2016年10月12日
C 编译器优化的 Bug
2016年09月18日
对 Rust 语言的分析
2016年09月14日
测试的道理
2016年07月10日
Tesla autopilot 引起致命车祸
2016年06月28日
养生节目的危害
2016年06月08日
Java 有值类型吗？
2016年06月06日
Swift 语言的设计错误
2016年05月22日
正面思维的误区
2016年04月13日
博文的自愿付费方式
2016年03月19日
为什么自动车完全不可以犯错误
2016年03月09日
AlphaGo与人工智能
2016年02月12日
我看自动驾驶技术
2016年01月18日
给Java说句公道话
2016年01月10日
Tesla Autopilot
2015年12月21日
Tesla Model X的车门设计问题
2015年11月21日
编程的智慧
2015年10月18日
图灵的光环
2015年09月19日
对 Parser 的误解
2015年07月04日
数学和编程
2015年07月02日
谈程序的正确性
2015年06月14日
DRY原则的误区
2015年06月07日
所谓软件工程
2015年04月03日
编程的宗派
2015年03月21日
英语口音
2015年03月20日
智商的圈套
2015年03月17日
设计的重要性
2015年03月11日
关于Git的礼节
2015年03月03日
怎样尊重一个程序员
2015年02月24日
所谓“人为错误”
2015年02月20日
其他人的BUG
2015年02月01日
创造者的思维方式
2015年01月19日
小费和中国人的尊严
2014年11月12日
恶评《星际穿越》
2014年04月24日
关系式模型的实质
2014年04月18日
对 Go 语言的综合评价
2014年02月18日
一个对 Dijkstra 的采访视频
2014年02月09日
程序员的心理疾病
2014年02月04日
程序语言与它们的工具
2014年01月28日
RubySonar：一个 Ruby 静态分析器
2014年01月04日
我和权威的故事
2013年11月25日
PySonar2 与 Sourcegraph 集成完毕
2013年07月13日
丘奇和图灵
2013年07月06日
Pydiff Python结构化程序比较工具
2013年04月26日
原因与证明
2013年04月21日
Ydiff 结构化的程序比较
2013年04月20日
编辑器与IDE
2013年04月18日
程序语言的常见设计错误(2) - 试图容纳世界
2013年04月17日
关于语言的思考
2013年04月16日
Yoda 表示法错在哪里
2013年04月15日
几个超炫的专业词汇
2013年04月14日
标准化试卷标记语言
2013年04月14日
一种新的操作系统设计
2013年04月14日
Markdown 的一些问题
2013年04月13日
谈程序的“通用性”
2013年04月12日
什么是启发
2013年04月11日
Scheme 编程环境的设置
2013年04月10日
我为什么离开 Cornell
2013年04月07日
测试驱动开发
2013年04月02日
Currying 的局限性
2013年04月01日
惰性求值
2013年04月01日
Hindley-Milner 类型系统的根本性错误
2013年03月31日
函数式语言的宗教
2013年03月29日
什么是“脚本语言”
2013年03月28日
Chez Scheme 的传说
2013年03月26日
Lisp 已死，Lisp 万岁！
2013年03月24日
论对东西的崇拜
2013年03月19日
“解决问题”与“消灭问题”
2013年03月15日
程序语言的常见设计错误(1) - 片面追求短小
2013年03月08日
谈语法
2013年03月07日
Oberon 操作系统：被忽略的珍宝
2013年03月07日
谈 Linux，Windows 和 Mac
2013年03月07日
解密“设计模式”
2013年03月04日
Braid - 一个发人深思的游戏
2012年09月18日
TeXmacs：一个真正“所见即所得”的排版系统
2012年08月01日
怎样写一个解释器
2012年07月25日
什么是语义学
2012年07月04日
GTF - Great Teacher Friedman
2012年05月18日
什么是“对用户友好”