の日記
日常
歯医者に行った。
飴を噛んで詰め物が撮れちゃいましたと正直に報告したところ、怒られなかった。取れたのは詰め物じゃなくて、削って壁が薄くなっていた歯の一部だったらしい。先生も氷を噛んで歯が欠けたことあるらしい。
技術
帰ってから、codexに頼んでcodexをcargo buildするnixを書いてもらった
仕事
調査課題の原因が判明したので、実際に修正に着手している。
並行して、速度改善タスクでは、2回に分けていた影響でlimit句のパラメータバインドが溢れていたクエリを1つにできるように修整している。