新策略

發現「十點多上床看 paper 和《Gödel, Escher Bach》看到不支睡著」是個不錯的方案，有助提升睡眠品質 XD。如果有了 iRex iLiad 而不用把 paper 印出來，就更理想了 XD。

最近的主題是「HOAS 沒你想像得那麼簡單」，解法是大家的好朋友 category theory，請讀 Martin Hofmann 的〈Semantical analysis of higher-order abstract syntax〉。

--
不過這樣會打壓到 MSN 時間就是了 XD。