0720
相変わらずFableとCodexがなんらかの物理学をやっている。成果物をたまにスクショで報告してくれるのだが、確かに今回はまともな動きをしている感じがあり、ようやくいい流れに入ったなと思った。と言ってもまだまだきれいに準安定状態が見えているわけではないので、道は遠い。
あと新しいMacBookの環境構築ついでにdotfilesを整理しようとしている。今はstowというsymlink張るくんみたいなコマンドでインストールしているが、素直にchezmoi（ってなんて読むの？？）に載せる方が理に適っていそうだ。
Fableがそこそこ有名な数学の予想に反例を出してきたらしいと話題になっている。まあでも、反例を出すのは可能な選択肢を愚直に試せばいい（証明だって極論すればそうだが）わけで、AI向きの仕事と言えばそうかもしれない。実際にはそんな単に誰も試してなかっただけみたいな話でもないのかもしれないが、よく知らない。
寝ます。