0530
本を読んだりスライドを読んだり。BB(5)が2024年に解決していたことを知った。そしてこのあたりの停止性問題にはコラッツ予想と類似した形のものがあるらしい。へえ。
LLMでコード書くときに簡易的なタスク管理をさせるために使っているCLIがあるのだけど、直さなくても困らないけど微妙に気になる不具合があり、issueを立てたがリアクションがない。もちろん自分で直すこともできなくはないが、Zigで書かれていてあんまり読めないのでLLM任せのPRを送るのはさすがに抵抗がある。それなら自分でいちから作ってしまうほうがいいんじゃないかとか、なんとか。
あと数時間で今週のレートリミット期間が終わる。そしたらまたいろいろ実装をしたい。最近考えているのはYAMAHA RTX830の設定ファイルの可視化ツール。標準のWebコンソールでは設定できない項目もあるし、なんかコンソール見てもあんまりよくわからないので、自分の関心事に合った形でわかりやすく表示するツールがほしいのだ。
寝ます。