朝眠すぎて、8時に起床したけど、プラスチックゴミを捨てに行った後、こたつに潜り込んだら二度寝してしまい、気がついたら10時になっていた。　ボーッとした頭を洗顔とコーヒーで叩き起こして仕事をしてた。　12月になって、というか11月末くらいからなのだけど、仕事はやることがあまりなくて平穏すぎる。　先日「AWSのRDSの証明書を来年2月5日までに更新してください」と通知が来ていた、証明書を適用するのにインスタンスを再起動しないといけなかったので、それの対応をやったり、TwilioというIP電話みたいなサービスでオーストラリアの電話番号を2つ購入していたのだけど、全然使ってないのに電話番号を手放すのを忘れていて15,000円くらい課金されていたのを決済して解約手続きしたり、コーポレートサイトを表示しているレンタルサーバーの更新期限が年内なのでそれの手続きをしたりと、開発以外のことをやっていた。　先日PHP7.4.0がリリースされて、個人的に使っているさくらのVPSやさくらのクラウドのPHPのバージョンを最新に上げたいなぁとか、仕事で使ってるAmazon LinuxをAmazon Linux2にしたいなぁとか思ったりしていた。

夜はジョギングへ。　金曜か土曜に、もう一度ハーフ走りたいので、今日は軽く体を動かす程度で。　内容がめっちゃ難しい「Turing Complete FM」の第10回、第11回を聞きながら、5,36, 5.37, 5.43, 5.45, 5.37, 5.43, 5.37と、7.3kmを41分18秒、キロ5分40秒ペースで走ってきた。
このポッドキャストもIT技術系のポッドキャストなのだけど、扱っている話題が低レイヤー過ぎて、内容が難しすぎる。　自分たちが普段使っているプログラム言語やコンピュータは、こういう低レイヤーの技術があるからこそ快適に使えてるんだな、と思った。　C言語のコンパイラを自作する話とか、OSを自作する話、ブートローダー作るのに2ヶ月かかるとか、CPUの演算で除算は足し算、引き算、掛け算だけで実現できるとか、CPUを作るとか、そんな話ばかりだ。　PHP, Ruby, Pythonとか、Windows, Macとか、そんな争いはどうでもいいほど、根本の部分の話題なので、聞いていても半分どころか1割も理解できていないと思う。

そんな今夜は、月火と2日連続で27時過ぎてしまった就寝時間を矯正すべく、26時半くらいには寝ることができたが、それでも遅い。　やっぱ26時には寝ないと、翌朝がつらすぎる。