本次系統安全暑期學校涵蓋的內容非常廣泛，有深有淺地包括了模糊測試技術，AI 系統安全，硬體輔助系統安全，傳統二進位制安全，嵌入式系統安全以及韌體分析，形式化方法等各種內容。

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

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

暑假讀了一下 SICP。

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

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

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