細かい問題シリーズ

なんか、gpgsm の --disable-crl-checks の flag が、また落ちていた。環境設定の hg のミスか

macOSの Text Replace の sqlite3 の ZTIMESTAMP は、日付文字列ではなくて、mac time (unix time - 978307200)の十進文字列なことを発見

なので、sqlite3のCURRENT_TIMESTAMPは使ってはいけないらしい

Red Black Tree のAgdaでの証明付きの記述は、なんか軌道に乗った感じ。もっと早くやれってことだが、まぁ、いつものことか

少し元気になってるってことかも

まだ咳と熱が残ってるな。月曜日の授業が最後なんだが微妙な感じ...


https://github.com/shinji-kono/macos-text-replacement