Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 187

下火になっていた ACL2 のモチベがまた湧いてきた。引越し準備で忙しくてプログラミングから離れてたんだけど感覚が変わるな。

おお、permissions-policy: interest-cohort=() きてた！これで FloC 対策完了だ。アップデートしてよかった。

引っ越し準備ちゅうでまさに今大変な目にあってる……。大きなものを買うのは勇気いる。

FSF への寄付特典の Jitsi Meet をよく使ってる。音質が良いとのことで好評。

3.4.1 へのアップグレード終わった。

Mastodon のアップグレード、さっきは間違えて最初に停止してから始めちゃってたんだけど、よく読んだら最後の方に一回再起動するだけでいいんだな。無駄にダウンタイム作ってしまってた。

3.3.0 -> 3.4.0 にアップグレードした。なんか、マイグレーションを二回実行するという謎の儀式があった。これから 3.4.0 -> 3.4.1 のアップグレードをやる。

公言

VPN 繋いでないと mastodon に繋げないの忘れてて焦った。(セキュリティ上なんか重要っぽいことを光源していくスタイル)

いまからマストドンのアップグレード対応をするので、たぶん15分くらい mastodon.tojo.tokyo に繋らなくなります。

部屋の掃除が一段落ついたし、スナップショットも取ったのでマストドンをアップデートする。

部屋掃除する

misskey だとリソース少なくて済むのかな

これは格安だ

うわ、今回マイグレーションあるのか。スナップショット取ってからやろう。

しまった、あと 4 分でマストドンの更新しようと思ってるけどさすがに無理そう。

4章でインタプリタ、5章でコンパイラ。

SICP の 5 章でプログラミング言語作るし、やはり SICPなのでは。

Lisp 系の言語なら構文解析的な部分が簡単で比較的よさそう。

ああ、Send Clipboard 機能最高……。これはずっと求められてた機能(結構前からあった気はする、昔はなかった)