最近需要学习用 ML 族的语言写一个 VHDL 的 Parser，于是就有了一系列的尝试，顺便完成了几道 Codewars 上的习题。

最近发现很多同学都升级到了 Ubuntu 20.04 LTS，于是也就把现有的几台服务器升级了（毕竟没在跑什么需要可靠性的服务）。

暑假读了一下 SICP。

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

WireGuard 可以用来建立安全的点对点的连接。

标题是很早以前就取好了的。

什么是随机呢？不确定性是一个很迷人的东西。