ヒィーッ明日出かける予定があるのを忘れていた
今日はほぼ復習で終わってしまった
でもストリング図はかわいさで売ってるみたいなところあると思う（？）
論文を図のかわいさで判断している謎の人
相対随伴を調べていたら virtual equipment の論文が出てきた、やはり形式圏論やるなら double category なのか
Nostr の長文投稿 (NIP-23) 少し気になっているけど数式は厳しいのかな
Firefox にウェブサイトのタイトルと URL をコピーするためだけの拡張機能を入れた
椎名さんが初代アイマスやってる
【 初代アイドルマスター 】今日からはじめる！古の知識で挑むはじめてのアイマスやるぞおおおおおおお🎤✨〖にじさんじ/椎名唯華 〗 - YouTube
もう日付変わるのか……
脳内で区分求積できるとかの話はさすがにびっくりした。伝聞なので盛られているのかもしれないけど、Gauss とか von Neumann とかの逸話を考えると本当にそういう人がいてもいいのかもしれない
今日は優秀な学部生の人たちの異様な計算能力の逸話を聞いてすごいなあとなっていた。数学科は計算ができないと言ったりもするけど、膨大な計算ができてはじめて見えてくるものってたくさんあるのだろうなあ
すっかり Typst に慣れきってしまったのでいざ必要になったとき LaTeX に戻れるかが心配（論文誌や arXiv が Typst に対応する日は来るのかしら）
ぬぬぬ
エディタ、長らく Emacs を使っていたけれど Emacs LISP がわからなすぎて最近 Scoop で入れた Zed に乗り換えた。まともなコーディングをしたことがないのでほとんど Typst の編集にしか使っていませんが。
眠すぎるオブザイヤー 2025
ひさびさに Jacobs 読むか～
最近は Toggl Track で日々の生活時間を記録しているのだけど、特に時間の使い方が改善するわけでもなく、ただおしまいの生活リズムが記録されていっている
今日で諸々が一段落です
超黎明期の Twitter ではよくいる人の全員のアイコンと名前が一致したという話を思い出すなど
とりあえず 10 人くらいフォローして nostter の通知設定をフォロイーのフォロイー限定にしてみました
⁂です