光阴冢
赛博空间的自留地
Blogs
Posts
Notes
Photos
About
GitHub icon
Keybase icon
Telegram icon
Instagram icon
LinkedIn icon
Steam icon
RSS
Books
Concrete Semantics
ML for the working programmer
Programming: The derivation of algorithms(Kaldewaij)