Wang Yin's Blog Archive

2025-05-15
成立校友会暨第一次会议
2025-05-12
计算机科学视频班招生说明
2025-04-27
过去的一年
2024-05-03
计算机科学基础班第 5 期成功结束
2023-12-23
计算机科学基础班（第5期，现实接轨班）招生
2022-12-12
continuation 和并发计算专项班
2022-12-01
计算机科学阅读班提供疫情特价
2022-10-09
相对论推导练习
2022-02-22
自然视力恢复法
2022-02-22
近视防治指南
2022-02-22
计算机科学进阶班招生
2022-02-07
计算机科学阅读班招生说明
2021-10-08
计算机科学阅读班继续招生
2021-10-06
地平说是“心理烟幕弹”
2021-09-25
艾滋病，中医，科学和伪科学
2021-09-16
第一位“计算机科学少年班”学生毕业
2021-07-29
“超人类机器视觉”是不存在的
2021-07-29
“AI 超人类视觉”是骗局
2021-07-27
居里夫人，核武器和诺贝尔奖
2021-07-24
阿波罗登月是骗局
2021-07-21
对 Michelson-Morley 实验的怀疑
2021-07-12
对爱因斯坦和相对论的怀疑
2021-05-11
『Ground-Up Computer Science』样章
2021-05-10
计算机科学基础班（第 4 期）报名
2021-04-16
大提琴为什么这么难学
2021-02-16
计算机科学阅读班（实验）
2021-02-15
计算机科学基础班（第三期）报名
2021-01-19
巴赫，肖邦与莫扎特
2020-12-30
吉他的正确调音方式
2020-12-19
音乐的语言是很糟糕的
2020-11-12
中国的审美问题
2020-09-24
计算机科学集体班（第二期）报名
2020-08-28
生活模仿艺术
2020-08-24
干货
2020-08-23
学霸
2020-06-10
新丑陋的中国人
2020-05-23
几个需要避免的美国英语习惯
2020-04-30
一对一教学计划
2020-04-10
知识的传递
2020-04-09
知道与不知道
2020-03-26
计算机科学入门班报名
2020-03-23
对智商的怀疑
2020-03-17
谈知识的交流
2020-03-06
英语学习的一些经验
2020-03-05
知识星球试运营
2020-03-04
课程计划变动
2020-03-03
计算机科学课程
2020-03-02
新的付费咨询方式（取消）
2020-02-17
谈职场中的命令口气
2020-02-13
一道 Java 面试题
2020-02-05
如何阅读别人的代码
2020-02-03
知识的价值
2020-01-17
顾问业务试运营（v2.0）
2020-01-16
我的事业计划
2020-01-15
未来的事业
2019-12-31
2020新年寄语
2019-12-26
所谓“成功”
2019-12-24
我不是编译器专家
2019-12-23
抱怨与观察的差别
2019-12-15
自动化服务的误区
2019-11-05
永恒
2019-10-24
写在 1024 程序员节
2019-10-17
免费食物不是好事
2019-10-11
欢迎关注我的微博
2019-09-30
自动驾驶车的责任和风险分析
2019-09-16
机器与人类视觉能力的差距（3）
2019-09-15
机器与人类视觉能力的差距（2）
2019-09-14
机器与人类视觉能力的差距（1）
2019-09-11
Talk is not cheap
2019-09-11
Talk-is-not-cheap
2019-08-19
关于微内核的对话
2019-08-17
中国人的信任危机
2019-07-31
关于人的素质
2019-07-21
再谈“P vs NP”问题
2019-07-21
再谈P-vs-NP问题
2019-07-16
再谈“P vs NP”问题
2019-07-12
学习的智慧
2019-02-22
智能合约和形式验证
2019-01-30
机器学习与逻辑编程
2018-11-24
解谜英语语法（1）
2018-11-23
解谜英语语法
2018-10-14
更新一下
2018-05-28
改变
2018-04-13
第一章 - 初识计算
2018-04-13
解谜计算机科学
2018-03-29
中国人的鉴赏力
2018-03-27
扶门的礼仪
2018-03-21
解谜计算机科学（前言）
2018-03-08
从苹果产品的设计错误学教训
2018-03-05
关于写书
2018-03-01
真相
2018-02-26
对某领导离任有感
2018-02-24
中国人如何经营自己
2018-02-22
智能合约和形式验证
2018-02-16
成都的雾霾
2018-02-16
春节随想
2017-11-11
天才是不存在的
2017-11-09
iPhone X
2017-11-06
开通付费问答咨询服务
2017-11-05
网络用语
2017-11-04
AlphaGo Zero 和强人工智能
2017-11-01
理性的力量
2017-10-30
中国式母亲
2017-10-27
不再发售『加湿器的秘密』
2017-10-24
美国家庭用什么取暖设备
2017-10-22
CIIA双11优惠
2017-10-16
人体工学
2017-10-15
CIIA 报告 No.1 发货完毕
2017-10-13
微信公众号
2017-10-11
CIIA 报告 No.1 两天后开始发货
2017-09-25
教苹果设计师做设计（CIIA 报告 No.1 预告片）
2017-09-05
商业计划
2017-08-19
知乎和 MITBBS
2017-08-16
微博
2017-08-14
旅行的智慧
2017-08-11
杭州
2017-07-21
我为什么爱猫
2017-07-08
生活的智慧
2017-07-06
带猫回国经历
2017-07-06
如何掌握所有的程序语言
2017-06-28
回国了
2017-05-25
DSL 的误区
2017-05-24
关于广告和付费
2017-05-23
Kotlin 和 Checked Exception
2017-05-17
什么是现实理想主义者
2017-05-16
对中国人的信心
2017-05-10
微软的秘密离职协议
2017-05-08
美国企业的装嫩问题
2017-05-04
新的联系方式
2017-05-01
纪念五一劳动节
2017-04-23
人工智能的局限性
2017-04-19
那些垠黑们
2017-04-18
代码进入闭源状态
2017-04-17
美国公司管理层的洗脑技巧
2017-04-15
求带猫回国经验
2017-04-14
经验和洞察力
2017-04-11
一个人的罢工
2017-04-06
更新
2017-01-02
精英主义的灭亡
2016-12-01
9-11 袭击的真相
2016-11-22
给 Julian Assange 捐款
2016-11-20
希拉里的“邮件门”丑闻是怎么回事
2016-11-18
对希拉里 Twitter 的分析
2016-11-17
希拉里的真实面目
2016-11-16
媒体是如何妖魔化 Trump 的
2016-11-14
Trump 为什么会取胜
2016-11-13
与希拉里支持者的对话
2016-11-09
美国的新总统
2016-10-25
如何赢得技术争论
2016-10-13
C# 的 IDisposable 接口
2016-10-12
C 编译器优化的 Bug
2016-09-18
对 Rust 语言的分析
2016-09-16
支付宝的身份验证问题
2016-09-14
测试的道理
2016-09-12
收回前一篇文章
2016-09-10
微软感受
2016-08-29
微软
2016-07-10
Tesla autopilot 引起致命车祸
2016-07-05
Google Maps的设计问题
2016-06-28
养生节目的危害
2016-06-27
老虎出租
2016-06-24
欧盟草拟法案，对机器人征税
2016-06-22
两个计划的变动
2016-06-20
IT业给世界带来的危机
2016-06-19
关于离开美国的决定
2016-06-14
美国社会的信息不平等现象
2016-06-08
Java 有值类型吗？
2016-06-06
Swift 语言的设计错误
2016-05-25
我的 tweet 系统
2016-05-22
正面思维的误区
2016-05-19
文章更新通知
2016-05-14
未来计划
2016-04-13
博文的自愿付费方式
2016-04-07
到底是谁在欺负我们读书少？
2016-03-31
我为什么不再做 PL 人
2016-03-27
Go语言，Docker和Kubernetes
2016-03-19
为什么自动车完全不可以犯错误
2016-03-17
Google 的眼光
2016-03-09
AlphaGo与人工智能
2016-02-25
不要去SeaWorld
2016-02-12
我看自动驾驶技术
2016-02-12
我看自动驾驶技术
2016-01-18
给Java说句公道话
2016-01-10
Tesla Autopilot
2016-01-04
给Las Vegas的差评
2015-12-21
Tesla Model X的车门设计问题
2015-12-19
写书计划
2015-12-12
Tesla Model S 的设计失误
2015-11-21
编程的智慧
2015-11-11
大数据的高烧
2015-10-18
图灵的光环
2015-09-19
对 Parser 的误解
2015-07-04
数学和编程
2015-07-02
谈程序的正确性
2015-06-28
评《侏罗纪世界》
2015-06-14
DRY原则的误区
2015-06-07
所谓软件工程
2015-04-03
编程的宗派
2015-03-21
英语口音
2015-03-20
为什么拍照是个坏习惯
2015-03-20
智商的圈套
2015-03-18
我为什么不再公开开发Yin语言
2015-03-17
设计的重要性
2015-03-13
我为什么在乎这一个A+
2015-03-11
关于Git的礼节
2015-03-08
不要做聪明人
2015-03-03
怎样尊重一个程序员
2015-02-24
所谓“人为错误”
2015-02-20
其他人的BUG
2015-02-01
创造者的思维方式
2015-01-29
人的价值
2015-01-19
小费和中国人的尊严
2015-01-05
牛校综合征
2014-12-31
我和 Google 的故事（2015 修订版）
2014-12-29
生活的点滴
2014-12-24
写在圣诞节前夕
2014-12-11
在三藩的两年
2014-11-12
恶评《星际穿越》
2014-09-17
RSS与三不主义
2014-09-15
谈创新
2014-09-13
给成都公交的设计建议
2014-08-29
FAQ
2014-08-15
贡献和价值
2014-08-14
谦虚不是一种美德
2014-08-11
怎样成为一个天才
2014-07-30
Homeless！我需要你的帮助！
2014-07-17
休息，休息一会儿
2014-05-08
设计和开发 Yin 语言
2014-05-04
批判的价值
2014-04-24
关系式模型的实质
2014-04-24
SQL，NoSQL 以及数据库的实质
2014-04-18
对 Go 语言的综合评价
2014-04-11
黑客文化的精髓
2014-04-10
电视编剧的问题
2014-04-09
推荐几款专业级耳机
2014-04-07
天下第一萌程序
2014-03-24
学术腐败是历史的必然
2014-02-18
一个对 Dijkstra 的采访视频
2014-02-15
我的第一次和最后一次 Hackathon 经历
2014-02-09
程序员的心理疾病
2014-02-06
创造力的真正含义
2014-02-04
程序语言与它们的工具
2014-01-28
RubySonar：一个 Ruby 静态分析器
2014-01-25
程序语言与……
2013-11-26
为什么说面向对象编程和函数式编程都有问题
2013-11-25
PySonar2 与 Sourcegraph 集成完毕
2013-11-13
在 Sourcegraph 的第三天
2013-11-08
再见 Voxer，你好 Sourcegraph
2013-10-29
PySonar2 开源了
2013-10-06
PySonar 的第二个用户
2013-07-28
知乎
2013-07-13
丘奇和图灵
2013-07-13
为什么停用微博
2013-07-06
PyDiff - Python 结构化程序比较工具
2013-06-23
为什么一种程序语言是不够用的
2013-06-23
“One语言”是不存在的
2013-06-22
“One语言”的设计理念
2013-06-21
PySonar 的工作原理
2013-06-19
我离开了 Coverity
2013-06-17
半年来的工作感受
2013-04-26
原因与证明
2013-04-24
关于 Go 语言
2013-04-21
ydiff - 结构化的程序比较
2013-04-21
程序语言不是工具
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
Markdown 的一些问题
2013-04-14
标准化试卷标记语言
2013-04-14
几个超炫的专业词汇
2013-04-14
Yoda 表示法错在哪里
2013-04-14
一种新的操作系统设计
2013-04-14
论“我”和“我们”
2013-04-13
谈程序的“通用性”
2013-04-13
我为什么不为 Google 工作
2013-04-12
什么是启发
2013-04-11
Scheme 编程环境的设置
2013-04-11
Scheme 编程环境的设置2
2013-04-10
我为什么离开 Cornell
2013-04-07
测试驱动开发
2013-04-03
爱因斯坦谈教育
2013-04-02
Currying 的局限性
2013-04-01
惰性求值
2013-04-01
Hindley-Milner 类型系统的根本性错误
2013-03-31
函数式语言的宗教
2013-03-30
爱因斯坦对美国的第一印象
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-15
程序设计里的“小聪明”（1）
2013-03-15
程序设计里的“小聪明”
2013-03-08
谈语法
2013-03-07
谈 Linux，Windows 和 Mac
2013-03-07
Oberon 操作系统：被忽略的珍宝
2013-03-07
解密“设计模式”
2013-03-04
Braid - 一个发人深思的游戏
2013-03
谈“P=NP?”
2012-09-18
Texmacs:一个真正“所见即得”的排版系统
2012-09-18
TeXmacs：一个真正“所见即所得”的排版系统
2012-09-15
对博士学位说永别
2012-09-14
不再推荐Haskell
2012-09-09
知识份子的傲慢与偏见
2012-08-01
怎样写一个解释器
2012-07-25
什么是语义学
2012-07-12
我和 Google 的故事（2012 年原版）
2012-07-12
我和谷歌的故事
2012-07-04
GTF - Great Teacher Friedman
2012-06-13
程序语言理论的学习对于程序员教育的作用
2012-05-18
什么是“对用户友好”
2012-04-11
Unix的缺陷
理论是围城
用脑图来分享思想
完全用Linux工作
谁是真正的程序语言专家
上海
反省
论研究
为什么需要正则表达式
什么是程序语言研究
再别IU
从工具的奴隶到工具的主人
我看PhD
让科学和理性回到计算机科学
给Texmacs的推荐信
警惕“编译器人”和“函数式程序员”
十年前的我的来信
康奈尔感受
2005-09-27
清华梦的粉碎
2004-08-26
写给支持和反对《完全用Linux工作》的人们