张景林

去年有个学生来找我，成绩很好，做事也认真。他问我：我该上大学学什么。

这个问题我回答过很多年，几乎不用想。先问问他喜欢什么、擅长什么，再看看眼下什么行业缺人，然后给个方向——计算机、数学、电子，都行——最后加一句：好好学，这条路是稳的。学生听了踏实，我也觉得自己尽到了责任。

如果哪一天，AI 把一个定理完整地证完了，摆在你面前，你打开形式化验证器跑一遍，结果显示：正确。

然后你问它：这个定理意味着什么？它答了。你追问：为什么它重要？它也答了。每一句都通顺，每一句你都能读，但你就是没法确认——它说的是不是真的那个“重要”。

十年

这个站点的第一篇文章写于 2016 年 2 月，最后一篇停在 2017 年 5 月。

在使用前端框架的时候，我们的后端平台可能是 API，我们在每次请求的时候发送 jwt 而不是依赖于 Session。我们完成两个路由功能

1. 创建 /login 路由请求令牌
2. 创建 /secret 路由，只有持有令牌的认证用户能够访问。

首先， 创建项目目录。

使用基于 Knex 的 Bookshelf ORM和 Sqlite 创建 Node Express 项目

设置项目

1
2
3
4

mkdir project-dir
cd project-dir
mkdir bin server
npm init -y

Express

1
2

yarn add express body-parser morgan
touch app.js

app.js 文件内容

如何使用 Sequelize ORM 来创建一个 Express 的项目

设置项目

1
2
3
4

mkdir project-dir
cd project-dir
mkdir bin server
npm init -y

Express

1
2

yarn add express body-parser morgan
touch app.js

app.js 文件内容