最近終於自己寫了個 site generator tr，這套機制確實是解決我很多問題，所以就開始遷移舊的部落格了。原則上大部分文章或是筆記都不會跟過來，因為這也是趁機丟掉一些已經過時/太簡單的筆記的機會，tr 讓我可以直接嵌入 wiki/nLab 來取代解釋基礎的定義。
最近終於自己寫了個 site generator tr，這套機制確實是解決我很多問題，所以就開始遷移舊的部落格了。原則上大部分文章或是筆記都不會跟過來，因為這也是趁機丟掉一些已經過時/太簡單的筆記的機會，tr 讓我可以直接嵌入 wiki/nLab 來取代解釋基礎的定義。