交互式技术课程

第 1 课

一步步看懂 HTTP

跟着一个请求从 DNS 走到页面渲染完成，对着模拟 API 试遍每个 HTTP 方法，再做个小测验。

第 2 课

设计好用的 API

修复命名糟糕的端点，选出正确的状态码，看清游标分页为什么更好，并学会判断哪些变更会破坏客户端。

第 3 课

动手学 SQL

点一点就能拼出查询，看 JOIN 如何匹配行、GROUP BY 如何分组，并弄清一条查询真正的执行顺序。

第 4 课

设计数据库

弄坏一张“大表”再把它规范化，为关系建模，让全表扫描和索引赛跑，并在有无事务的情况下让一笔转账中途崩溃。

第 5 课

形式化验证

看看测试为什么会漏掉罕见的 bug，动手写规约，逐个状态地对加锁协议做模型检测，并用循环不变式证明循环正确。