人々がcleveref動かんと言っているのを観測した (TL2025だとだいぶ挙動が怪しい

さくらインターネットのwebページはクラシックだったのか…

えー状態数5のオートマトンで済むと思った例が間違っていて、19状態必要なことがわかってしまったので体力勝負になった

しかし一晩経ってもaccept, weak accept, weak acceptで通らないのは厳しいという思いしかないな…

色々あって家のデスクトップPCの環境を整備し直した。最近使っているEXWMは控えめに言って変態的なWMだけど、別にこれで特に困る訳でもないのであった
https://github.com/emacs-exwm/exwm

Overleafが死んでいるっぽいな…

ということで中一週間での国際会議出張×2が終わったのであった(まだ空港を出たところだけど

羽田に着いた

TSAというものに絶妙な既視感があると思ったらTimed Symbolic Automatonだった