移住したので、移住先が死んだり、末代のLTLが見たくなったときに現れます。
X^b と書いたとき、「集合 X の要素のバッグ（順序なしベクトル？）」を表すのは一般的なのか？
「集合Xの要素のバッグの集合」だった
あっ、ご隠居死んだ
ディスク食いつぶしてる。下手に再起動すると復旧不可能なやつでは
Gitea のリポジトリディレクトリが馬鹿なサイズになってる。なんだこれは
もしかして、 Gitea でアーカイブダウンロード連発すると、ディスク食い潰せる DoS 攻撃できるのでは……？
再稼働させる前に nginx のログ回収しておかないとな……
User-Agent「MJ12bot」、なるほど、クローラーに zip ファイルクロールされまくったか……
