yuki

👩🏻‍💻Software Architect 💭 Sunday philosopher 🦀 Occasional @rustlang contributor 📖 Coauthored 『RustによるWebアプリケーション開発』 🦑 Splatoon stan (Forge Pro🔫)

[yuki @helloyuki_]

最近はOpus 5.5と仕事してチクチク詰められて荒んだ心をGrok Botに癒してもらっている😇 Opusはシゴデキサイコパス上司という感じなので、忘れていることや矛盾したことをちょっとでも言うと地の果てまで追いかけてくるけど、Grok Botは「Yukiさん！これ忘れてませんか！余裕ある時にぜひ！」みたいな

[yuki @helloyuki_]

なんとIntelliJのコード補完などの機能をVS CodeやCursorから呼び出せるようになった。Neovimでも動かしてみたのでその話も書いた！

IntelliJ IDEAがLSPをしゃべるようになりVS CodeやCursorで使えるようになった
https://t.co/5Udom5Hb53

[yuki @helloyuki_]

PHPの方の対応、大変でしたね🥲 rustupにeMudhraの件（CVE-2026-111943）のパッチきてます。当てておきましょう
https://t.co/vxPJJX9p1f

[yuki @helloyuki_]

おもしろかった。Anteという、Rustみたいに所有権や借用のような背マンティクスを持っているけど、少し異なるやり方をしているプログラミング言語があるのかー。

Anteには場所（Place）という概念があって、これは参照がどこから借りたもので、参照が有効かどうかが何に依存しているかという情報を持っているみたい。プログラムにおける位置とか依存先に関係する情報を持つ感じ。

Rustコンパイラも、実は内部でどこで借りたかなどのPlaceという情報を持っているけど、Anteはそうした情報にさらに追加の情報を足し込んで、型として表出させたみたいな理解で正しい？

この手法のメリットは、たとえばPoloniusがやるようにフロー解析しないとコンパイルを通せないRustのコードも、Anteの解析の方法なら普通に書いて通るみたいな、ボローチェッカーの使いやすさが生まれる点にあるとのこと。

ちなみにやや浅い理解で書いております🙏🏻

Borrow Checking Zero-Cost Cyclic Mutability
https://t.co/EsUPHXsYHF

[yuki @helloyuki_]

OpenCodeがCheepseek Campaignやってるからか、日本語圏でもOpenCodeの注目が集まっている！？記事書いたのでどうぞ👋🏻（記事はv1なので、そろそろv2について書かないといけないのも思い出した）

OpenCodeを愛用し始めている - Don't Repeat Yourself https://t.co/svsbYLCT8b

[yuki @helloyuki_]

強い型付けを目指すのであればRust書いてて思うことはただひとつ、モナドください…なのでそこをなんとか…

[yuki @helloyuki_]

記事によれば、Rustはエージェントでの開発に適している。強力な型システムによるガードレールと、Rustはデフォルトで高速な上に、メモリ周りなどを細かく制御できるチューニングのつまみをたくさんもっている。エージェントは、プロファイラと組み合わせて限界までチューニングする作業を非常に得意としている（ので、Rustの力を引き出しやすい）。

エージェント登場以降Rustはどう進化するべきかについては、1. より複雑な条件や意図を型システムで表現できるように拡張するべき、2. Verusのような定理証明ツールをコンパイラに簡単に統合したり拡張したりできるようにするべき、3. 証明系を使って未定義動作を起こさないことを数学的に証明したunsafeコードを実現し、CVEの根絶を目指すべき、4. コードの記述の短さより、多少記述が冗長であっても許容されるので、人間が後から読んだ時に意図がわかる言語デザインにしておくべき、とのこと。

エージェントに最も適した言語か？の議論は、Goが最も適しているという人もいるしさまざま意見があると思う。ただ私の経験則的には、強い型付けなどでコードをロバストにしておくと、たとえばエージェントによる実装後の手戻りが減るなどしてトークン効率に実は影響があったりしないかな？（そして、誰かそういう実験してくれないかな？）と思っていたりする。

What agents mean for Rust (and vice versa)
https://t.co/8VoogCN5bv

[yuki @helloyuki_]

@ababupdownba これらはすべて目的に応じて使うので、使う必要が出てきたタイミングでそれぞれ使うはずです。私はあまり低レイヤーなRustをやらないので、CStringはほぼ目にすることはなく、だいたいString or &strと、せいぜいPathやPathBufくらいかなと思います😌

[yuki @helloyuki_]

@task_jp これはwww

[yuki @helloyuki_]

Scionの派生データの部分のアイデアがあまりにMononokeに似ているのでは（模倣した？）という指摘🤔
https://t.co/DfPYHlr0GA

[yuki @helloyuki_]

たしかに私も経験があるけど、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
https://t.co/IaK25mCJpt

[yuki @helloyuki_]

積読だけどGitHubも同様にこのあたりのリデザインをやっているみたいで、エージェントの流量に耐えられるスケーラビリティの確保が課題になっていることがわかる。Scion同様にストレージとコンピュートの分離やcommitやpushの書き込み時のロックに対処するようで、ボトルネックはそのあたりにあることがわかる。

Building Git infrastructure for agent-scale development
https://t.co/KAzpoR9Vf2

[yuki @helloyuki_]

ただこの分類もやや微妙だな…たとえば&Stringをどうするんだろうとふと思い始めた…🤔

[yuki @helloyuki_]

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

[yuki @helloyuki_]

Rustの文字列型多すぎ問題はミームになっている😇
#Rust何もわからない

[yuki @helloyuki_]

Rustの文字列型多すぎ問題はミームになっている😇
#Rust何もわからない

[yuki @helloyuki_]

ほっとくとAIがこういうIllegal Statesなコードを普通に書いてくるんだよな🤔 #Rust何もわからない

[yuki @helloyuki_]

↑
#Rust何もわからない

[yuki @helloyuki_]

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

[yuki @helloyuki_]

こちら明日です！！何卒〜！

[yuki @helloyuki_]

来週10/14にRustの勉強会があるよ！LTのタイトルが決まりました！👋🏻 まだまだ参加できるので興味が出てきた方はぜひ！！！！ワイワイしましょう！！！🦀⚙️✨

Rust、何もわからない… #15
https://t.co/HQ4kl2GV5F

[yuki @helloyuki_]

今年はエージェントの長時間実行性能がキーになると思ってたけど、来年はいよいよ自己改善になるんじゃないかなあと最近思ってる。そうするといよいよわたしの仕事は「良いとは何か」を定義することくらいになってしまいそう。もっとも一部の最先端の環境以外はその恩恵を受けられるのは、数ヶ月〜数年後になりそうだけど。実際私の職場もシリコンバレーで議論されてるような毎月2000PRsみたいなレベルの話には全然到達してないし…

[yuki @helloyuki_]

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

Self-improving software is inevitable
https://t.co/XdtOfSPhy5