This is a post in series "What I Touched"
- 类型论驿站写作计划 作者分享了 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.
- Revert multiple git commits
- h.264 - Concatenate two mp4 files using ffmpeg - Stack Overflow
- HBO送我去了西部世界，而我见识了人性在褪去枷锁后的泯灭 | PingWest品玩