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

実際に空腹すぎるので横たわっていたら意識を失ってしまいこんな時間に……。出前を頼んだ。

朝早く稼働した場合、朝食を食べないともたない説あるな。空腹のレベルが半端ではない。この空腹感で外出するの厳しい。

はやく起きないといけないので早めに寝た結果、今日は冴えてる。やっば睡眠は大事だ。

体調悪いと感じたときにしか体温を測らないので平熱がわからない問題

この問題を解消するために Google アプリを有効化させるための措置が取られると影響があるので困るな。何も起きないことを祈る。

これ、実際のところ Google アプリを無効化したままにする人は多いと思うのでしゃれにならないくらいの打撃があると思う。

Android の Google アプリに不具合が発生していて、「Googleが繰り返し停止しています」というポップアップが表示される状態になってるらしい。購入時に Google アプリを無効化しておいたおかげで助かった。

籠原を越えたあたりから電車の扉付近にあるボタンの意味が明らかになる

めちゃくちゃ遠い場所の遅延が影響してくるので困る

ものによっては群馬の高崎まで繋がってるめちゃくちゃ長い電車だ

新居にオシュレット付いてるの最高すぎる

AI が発展して働かなくて良くなったら、そのまま働かなくていいと思ってる。

これは無理な気がしてきた。

SICP 会中にすごいアイデアを思いついてしまった。いままで Guile で ACL2 のコードを書くことばかり考えてたけど、逆も可能だ。Guile のコードから ACL2 で解釈可能な可能な限り等価なコードを生成して ACL2 で証明すればいい。こっちの方が簡単だし、まさに私のやりたいことだ。

飲食店、自分の行きつけだった店も潰れてるところが多くてつらい。

昨日、引越しのために大きな机を分解きて片付けて代わりの小さなテーブルで仕事をしてるんだけど、机の上がすっきりして集中しやすくなった気がする。

この List の末尾が null であることを期待してはいけませんってやついやだな……。https://www.emacswiki.org/emacs/GuileEmacs

やっぱ、ACL2 の nil は Guile では '() ってことにしようかな……。

たぶん、GNU Guile が Emacs Lisp との相互運用の可能性を捨てることはないと思うんだよな。なので、もしも GNU Guile から nil が消えたら、Guile の新しい Emacs Lisp サポートの仕方を参考にすればいいはず……。

引っ越し終わったら、このまえやってた ACL2 on Guile の続きの開発しようと思ってる。Guile Emacs の開発が続く限り ACL2 on Guile も可能なはず。(nil があるから)

ACL2 のソースコードをテザリングでダウンロードしてるんだけど、まだか 100 MB もあるとは……。こんなに大きいとは思わなかった。