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

新規 HHKB ユーザーを観測した

部屋の掃除しないと

ドメインのサービスのメールを member.fsf.org 経由で受け取ってるんだけど、このことを忘れそうで怖いんだよな……。

お名前.com どうでもいいメールの中に超重要なメールが混ざってて困る。ある意味スパムメールよりも悪質では。

なるほど、予定通りの年末休暇になるという発表の後の謎の残念な空気はこのためだったのか

「縁起悪い」の意味が素でわからないという体験をしてしまった。かなり遠くまで行ってしまった感ある。

Nextcloud つよいなhttps://twitter.com/nextclouders/status/1332266109026885632?s=21

お昼休み中に趣味プログラミングはしないほうが、よい一日を過ごせるということを経験から学んだので我慢する。

無駄に正座して仕事して足が痺れている

GNU/Linux のシステムを使っているひとなら guix のインストールは結構簡単で、下記のインストールスクリプトを実行すれば動かせる。https://guix.gnu.org/manual/en/html_node/Installation.html

Ubuntu とかに guix インストールして、大切なソフトウェアのパッケージは guix で管理するという運用はかなり楽かもしれない。

Files · develop · Masaya Tojo / vikalpa · GitLabhttps://gitlab.com/tojoqk/vikalpa/-/tree/develop定理証明手習いにでてくる定理証明支援系のJ-Bobをもとにした定理証明支援系を作ってる。だいたい動くようになってきた。

develop ブランチの wip 祭りが止まらない。適当なタイミングで適当に開発しているプロジェクトで適切な粒度でコミットするとか無理なのでは。

Mastodon、月5ドルの追加コストでほとんど落ちなくなった。これがお金の力か。

https://gitlab.com/tojoqk/vikalpa/-/commits/develop/

develop ブランチの wip の嵐をどうするか悩んでいる

断見は死んだら終わりで、常見は死んでも残る。仏教では五蘊皆空といって「私」のなかに本質的で変化しない固定的な実体があるとは考えないので、断見も常見も否定される。

神回。これは諸行無常と諸法無我の悟りの境地からみた死の話で一般的な浄土真宗(南無阿弥陀仏と極楽浄土)の話とは内容が違う。浄土真宗について知るなら前編から見た方がいいけど後編だけでも十分よい。私は断見と常見を否定した仏教的な死生観(輪廻転生ではない)を知ってからだいぶ楽になってる。https://youtu.be/JVCTSEa7kBo

コーラゼロを24本まとめ買いしてみたけど幸福になったのかよくわからない。やはり、自販機まで歩いて買うことに意味があったのでは……。

寒い