記事によれば、Rustはエージェントでの開発に適している。強力な型システムによるガードレールと、Rustはデフォルトで高速な上に、メモリ周りなどを細かく制御できるチューニングのつまみをたくさんもっている。エージェントは、プロファイラと組み合わせて限界までチューニングする作業を非常に得意としている（ので、Rustの力を引き出しやすい）。 エージェント登場以降Rustはどう進化するべきかについては、1. より複雑な条件や意図を型システムで表現できるように拡張するべき、2. Verusのような定理証明ツールをコンパイラに簡単に統合したり拡張したりできるようにするべき、3. 証明系を使って未定義動作を起こさないことを数学的に証明したunsafeコードを実現し、CVEの根絶を目指すべき、4. コードの記述の短さより、多少記述が冗長であっても許容されるので、人間が後から読んだ時に意図がわかる言語デザインにしておくべき、とのこと。 エージェントに最も適した言語か？の議論は、Goが最も適しているという人もいるしさまざま意見があると思う。ただ私の経験則的には、強い型付けなどでコードをロバストにしておくと、たとえばエージェントによる実装後の手戻りが減るなどしてトークン効率に実は影響があったりしないかな？（そして、誰かそういう実験してくれないかな？）と思っていたりする。 What agents mean for Rust (and vice versa) smallcultfollowing.com/babys…

たしかに私も経験があるけど、gitリポジトリでコード量が数百万行と膨大とか、10年とか経ってコミット数が膨大とかいう条件を満たすととても遅くなるんだよな（rust-lang/rustの方を見ながら）。Anthropicでもチューニングたくさんがんばったけどそろそろ限界っぽかったので、新しいVCSを作ったみたいな話。 雑にまとめるとgitはリポジトリ全体の状態を持っているため重くなるときはなってしまうが、Scionはそれを差分だけの記録に徹して回避した、みたいな感じかな？🤔 細かい違いとしては、 - gitはリポジトリ全体の状態を表すツリーのポインタになっているが、Scionのchangesetはツリーのポインタは持たない。blobも持っておらず、blobが保存されているストレージへのアドレスだけ持ってる。 - Scionは新しいchangesetを受け入れる際に圧縮ファイルの処理やサーバー側の同期調整、データベースのロックなどが一切発生しない。ロックはボトルネックの一つだった。 - gitはコミットのたびにrefsを動かす必要があったが、Scionの場合changesetとrefsの移動は完全に切り離されている。refsの移動はSpannerの行更新一つで済むのでコミットがボトルネックにならなくなる。 - changesetはサーバー側で管理するので、ローカルからpushみたいな概念はない。即時同期。 - changesetだけだとコミットグラフの構築ができないが、そこはderived dataというメカニズムで都度自動構築される（ちなみに、ここは仕組みがあんまり読んでもわかんなかった）。 あと横道話題だけど、Google Cloudを使ってるんですね👀 Redesigning source control at Anthropic anthropic.com/engineering/re…

たしかに多いんだけど、ひとつひとつ意味が理解できると自然に使いこなせるようになるのもまた言えると思う。ChatGPTに整理してもらった表を貼っときますね💁🏻‍♀️

Rust、何もわからない、こちらで受付開始しています！

Boris Taneの新作出てる。適応度関数をちゃんと定義しておき、エージェントはフィードバックを受けて、常に適応度関数を更新できるようにする。良いとは何か、つまり適応度関数の定義が人間の最後の仕事かもしれない🤔 Self-improving software is inevitable boristane.com/blog/self-impr…

コーディングエージェントをサンドボックス環境で動かせたらいいなと思ってたらDockerが出していた。かなり手軽に立ち上げできてよかった。MicroVMなのでたとえばClaude Codeのsandboxよりさらに安全っぽく見える👀 Docker Sandboxes docs.docker.com/ai/sandboxes…