跨年间

Feb 14, 2020 # Recording

回家之前，最后一顿好吃的。当时哪里会想到，接下来几个月都无法在外面吃饭了呢。

2019 总结

Dec 31, 2019 # Recording

2019 年发生了很多事情。

Dec 31, 2019 # Recording

马上就要跨年了。

今年仍然去了好几次西湖，但是比起去年少了许多了。

Dec 12, 2019 # Haskell # RankNTypes # Formal Proofs # Curry–Howard Isomorphism # Functional Programming # Codewars

这几天在看 Concrete Semantics 的类型理论部分，于是想做一下之前没有做下去的 Codewars 上的几道 Haskell 题。

Nov 30, 2019 # WireGuard # Networking

WireGuard 可以用来建立安全的点对点的连接。INRIA 的研究人员于 2019 五月发表了对于该协议的一份机器证明。