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

ob-acl2、とりあえず私が使える状態にはなったな(とても微妙だけど)。これをもって Jupyter Notebook は一旦やめて org-mode に移行する。

Emacs Lisp なんもわからない。

ob-acl2 はなんも分からんけどとりあえず動くやつできそう。

公式の ACL2 が、なんというか bash に S 式を流し込んで解決ってやっているわけだから ob-acl2 も凝ったことしなくていい気がしてきた。適当に作ろう。

ob-acl2 実装するのやっぱ大変だ。大変なのでしばらくは Jupyer Notebook を使って org-mode への移行は長期目標にしよう。

JupyterLab を見てなんか Jupyter が進もうとする方向性が自分の求めているものとなんか違うことに気づいてしまって、Jupyter Notebook に対する熱が冷めてしまった。

ob-acl2 をどうにかして実装して、org-mode で生きていくことにした。

Guix が使えてほしいんだよな。Bitcoin の勢力がこの問題に取り組んでいた気がするので確認するか。

s/heatbet/heartbeat/

heatbeat 監視を悪用してディスク監視をしてるんだけど、明らかに正しいノウハウではない感があるのでいつか余裕があったらまともな方法に直したい気持ちはある。

これで定期バックアップしたいもの全部バックアップできたな。失敗したら気づけるようにもなっているしいい感じだ。

よし、定期バックップの設定終わった。重要でかつこんな簡単に終わることを一年間やってなかったんだな。

下記のアドバイスを受け Redis のバックアップも取得することにした。簡単だったし。https://fedibird.com/@noellabo/106984042353254399

え、わたしの DB 圧縮した結果 875 MB になるのなんか間違ってそう。あとでちゃんと復元できるのか確認した方がよさそうだな。このまえリモートの status を削除しまくったのでその影響でちっちゃくなっている説はあるが。

とりあえず、DB のバックアップ第一段ができたので、ゲームオーバーになるリスクは下がった。いままでは、DB が破損してやばいってなったときにスナップショットでも DB が破損しててゲームーバーになるリスクがあった。

s3cmd、標準入力をアップロードできるのか。いいな。

以前、投稿の頻度がめっちゃ下がったと勝手に思ってたけどなんやかんやで週に 10 回以上は投稿してたのか。

なんか今週からトゥート頻度が上がってるな。https://mastodon.tojo.tokyo/api/v1/instance/activity

@noellabo 初めて知りました。これを監視すれば異常を検知できそうでいいですね。他のバックアップをする設定をして余裕があれば、Redis のバックアップも取ろうと思います！

職場で使用している技術を使うとダメージを受ける呪いにかかっているっぽいんだけど、いまのところ Vultr と Guix System がなんら仕事と関係がないことで助かっている。

そういう意味では Guix System が普及していないことは救いなんだけどそれでいいかは微妙。

私の Web サイトに GnuPG の鍵のインポート方法を記載しているんだけど、この情報めっちゃ役立ってる。たぶん私しか使ってないけど。https://www.tojo.tokyo/contact.html