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

口呼吸が直り今まで舌の位置が正しくないというだけで機能していなかった鼻が使われ始めている。

舌の位置で口呼吸が直るとか、今までの人生はいったいなんだったの？って普通に思う……。

舌の位置を直すだけで、口呼吸やめられそう。いままで口呼吸を直すのに必要なのは、口を閉じるように意識することだと思ってた。そうじゃなくて舌を上顎に付ける必要があったなんて……。

Guix に `emacs-ido-at-point` を追加するパッチを送ったら何事もなくすぐにマージしてくれた！嬉しい。https://issues.guix.gnu.org/46714

guix に ido-at-point を追加してもらうためのパッチを送った。いままで、誰もパッチを送ってないの、Guix における ido ユーザーの少なさを物語っている感がある。

久しぶりに Guix に emacs のパッケージを追加する対応をしようと思ってる。

Guile で `mkdir -p` がしたいだけなんだよなーって思ってたら、まさに `mkdir -p` をするだけのライブラリがあった。https://mkdir-p.divoplade.fr/

いまさら Guix の manifests 機能を知って使い始めた。これは最高。

ACL2 が難しいわけではなく、本当に難しいのは問題領域そのもの。

ACL2 の実行環境、定理証明手習いでは Dracula と ACL2 Sedan のみ紹介され、Emacs は紹介されていないことに気づいた。

ACL2 を効果的に使えるようになるまでの道は長く険しい道のりであることを理解し、少し落ち込んでたけど定理証明手習いの (D. 休んでなんていられない？) を読んでちょっとやる気が出てきた。

十分信頼できる情報源だし、この内容なら FSF に報告しても問題なさそう。FSF のサイトに載せてもらえるかも。

Smooz から続報来てた。これは勉強になりそう。あとで読む。https://smoozapp.com/blog/2021/02/19/user_data_report/

まだ、emacs-exwm-edit という可能性があるか。。。

ノートPCに Guix System を入れたんだけど、 uim-skk の変換中の文字列がウィンドウの左下(画面外)に出ちゃう問題が解決できないので Debian に戻します。いままで Emacs でメモしてたから気づかなかったけど Nextcloud Notes でメモを取るようになるとこれはきつい。。。

なんとなく趣味環境では helm から ido に移行してみようと思う。

Guix System のグラフィカルインストール中に、Window Manager の選択肢に EXWM があったのでそれを選んだ。楽でいい。

先に icecat を入れてある程度環境構築が終わってから firefox とかをインストールするか。ビルド待ってる間何もできないとか明らかにつらい。

いま、 guix pull が終わるまでまってるところなので実際暇。そしてこれから linux (not linux-libre) と firefox をビルドするからもっと暇になる。

せっかくだし今までの dotfiles と決別して新たな人生を送ろうかな(暇人)