- 类型论驿站写作计划 作者分享了 Lambda 演算和 Coq 的学习笔记
- Why is pi here? And why is it squared? A geometric answer to the Basel problem - YouTube
- Synode: understanding and automatically preventing injection attacks on Node.js | the morning paper
Sanity check on
- Exposing congestion attack on emerging connected vehicle based traffic signal control | the morning paper Paper about the malicious nodes probroblems in autonomous driving.