欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Chrome 安全相关
访问 chrome://chrome/settings/passwords，鼠标放在任一个密码上，点击显示，密码一览无余。
