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

自分の Web サイトで Google Chrome の FloC をオプトアウトする対応をした。もしかしたら、将来仕様が変更されて意味がなくなるかも。Mastodon の方はまだ対応できてない。https://git.tojo.tokyo/guix-config.git/commit/?id=c8dcaeef7b206368f0cba00ddd4d88651fd80c27

たぶん、小指の強度には個人差があるんだと思う。自分は小指が痛くなったりしたことないんだよね……。小指がつらい人には Spacemacs おすすめ。

1000 記事くらいったら考えるかもしれない。

決めた。私はいくら長くなっても自分のブログではページネーションしないことにした。C-f 推奨しよう。

おじいちゃんじゃないけど Google アカウントなしで Android 使ってます。

F-Droid なら Google のアカウントなしに自由ソフトウェア入れ放題

ところでメールアドレスが、xxxx.yyyyみたいに名前と苗字のセットだと個人情報で、ランダムな羅列だと個人情報にならないみたいなバグはいつなおりますか？

退勤かな。

Slack 死す

@t_sin メンションするときに公開範囲を `ダイレクト` にすると DM になるみたいです(使ったことないですが……)

Scheme の SRFI-17 の Generalized set! の ML がおすすめhttps://srfi-email.schemers.org/srfi-17/msg/2778583/

ACL2 のモチベを上げるために、Dracula みたいな感じで Guile から ACL2 のコードが読めるようにしよう。

箱買いしたコカコーラゼロよりもたまに飲むコカコーラゼロの方が美味しい。

web サーバーと mail サーバーのシステムのアップグレードしてた。無事に終わってよかった。Guix System だと何かあっても roll back できる安心感があるので、できれば Nextcloud と Mastodon も Guix で動かしたい。

Guix に Terraform ないのか。需要ありそうなのにないとなると難しい理由が何かありそう。ビルドするの難しいのかな。

Vultr は公式で Terraform のサポート頑張ってるっぽいな……。正直仕事感が出てきて嫌なんだけど Terraform 使うか。https://github.com/vultr/terraform-provider-vultr

メンテナンスする意志がかろうじて残っているプロジェクトは全て https://git.tojo.tokyo に移した。これもう GitHub.com や GitLab.com に用はない。

オブジェクトストレージ料金で 500 円、サーバーに 1000 円かかってる。

Mastodon 費用、月 1500 円くらいかかってる。Mastodon を動かすサーバーは定期再起動を実施しているため一段階安くできて、1000 円にできそうなのでやりたい(面倒くさい)。

Typed Racket で型クラスっぽいものを実装したやつを見つけた。こういうのはいるのかいらないのか微妙すぎて困る。ずっと GitHub に置いておこう。。。https://github.com/tojoqk/type-class