Feb 14, 2020 #
Recording
回家之前,最后一顿好吃的。当时哪里会想到,接下来几个月都无法在外面吃饭了呢。
Read more
Dec 12, 2019 #
Haskell #
RankNTypes #
Formal Proofs #
Curry–Howard Isomorphism #
Functional Programming #
Codewars
这几天在看 Concrete Semantics 的类型理论部分,于是想做一下之前没有做下去的 Codewars 上的几道 Haskell 题。
Read more
Nov 30, 2019 #
WireGuard #
Networking
WireGuard 可以用来建立安全的点对点的连接。INRIA 的研究人员于 2019 五月发表了对于该协议的一份机器证明。
Read more