最近需要學習用 ML 族的語言寫一個 VHDL 的 Parser，於是就有了一系列的嘗試，順便完成了幾道 Codewars 上的習題。

最近發現很多同學都升級到了 Ubuntu 20.04 LTS，於是也就把現有的幾臺伺服器升級了（畢竟沒在跑什麼需要可靠性的服務）。

暑假讀了一下 SICP。

這幾天在看 Concrete Semantics 的型別理論部分，於是想做一下之前沒有做下去的 Codewars 上的幾道 Haskell 題。

WireGuard 可以用來建立安全的點對點的連線。

標題是很早以前就取好了的。

什麼是隨機呢？不確定性是一個很迷人的東西。