Kinuko Yasuda

Principal Software Engineer @Google 🇩🇪 / Large scale AI, Safety, C++ / Opinions are my own
@kinuko.bsky.soc

[Kinuko Yasuda @kinu]

次男が唐突にカシオのカラー関数電卓が欲しい！欲しい！と騒ぐので買ってあげたら、これ Python 動くのね。さっそく本見ながら毎日なんかぽちぽち打ってる。
今日はこれ作った、明日はあれ作る、と夢広がりまくり
うちの子はAIが得意なことが得意だなあ…と思いつつ
わかる、わかるよ、楽しいよねそれ

[Kinuko Yasuda @kinu]

Mythos が Apple MIE を破ったのは割と象徴的というか、MIE はすごく良くやってるけど穴をゼロにする手法ではないので、AIで攻撃側のコスト関数が変わって「狙えば攻撃は可能なはず」がそのまま示された形に見える。攻撃面を大きく減らす MIE の利点は変わらないけど、戦略的位置づけは変わりそう

[Kinuko Yasuda @kinu]

ふだんユーロの国にいるせいでドルの値段を見るとユーロ比だと安く感じてしまうけど、ここで正気に返って円換算すると意識が飛ぶので正気に返らずに1ドルも1ユーロも100円換算し続けるのですよ…

[Kinuko Yasuda @kinu]

またアメリカ出張に来てるけど、ミュンヘン出るときのチェックインカウンターの人がこの前日本に旅行してきてそれがすっごく良かったらしく、
「最高だったわ〜！であなたいつ帰るの？え、ここに帰ってくるの？え、ここに住んでるの？？なんで？？？」
と出国に関係ない質問されまくって答えに困った

[Kinuko Yasuda @kinu]

どういうコードベースを想定してるのかな？ASTはデータフローを表すものじゃないし100%のグラフの根拠にならない、Taint 解析も証明支援系や充足可能ソルバを使わず AI に探索させても特に保証にならないけど
(構造化されたデータをあげた方が良いケースがあるのはその通り)
https://t.co/h1c1MG8EUt

[Kinuko Yasuda @kinu]

社内の全員が見られるチャットに私のエージェントくんが華麗に日本語で誤爆する実績を解除してしまったぜ

[Kinuko Yasuda @kinu]

@ernegI_ そうですね、テキストでもそろそろ危ないですね…この先生の講義では課題のようなものは proctor 付きでやるようにしたようです

[Kinuko Yasuda @kinu]

10年以上アメリカの大学でCS教えてる先生が、2024年だったかな？の春に学生に急激な変化が起きて、家でやってきてもらう課題はみんな満点に近いのに最終試験が前代未聞のひどさで、学生が１学期かけてほぼ何も学ばなかったことがわかったらしい。名門大学でこれ。授業も評価方法も全部変えたとか

[Willy OES ☀ @willyoes]

残念ながら家でやったレポートに点数をつける時代は終わった。AIで書いたかどうか判定とかAIで解けないようにしたトラップとか意味がない。授業時間内にテストするか、評価自体をやめるかのどちらかだろう。

[Kinuko Yasuda @kinu]

@ken0802 最終プロジェクトとして何か作るというのもあって、例年は学生が作ったかなり面白いものが見られるのにこの年はこれもひどかったらしいです(AIがちゃんと使えてればいいものが見られたはず)。良い大学はすべての授業が大変で競争的環境なので、課題のタイパに過度に適応してしまったのでしょうね

[Kinuko Yasuda @kinu]

いろんな人が反論してるけど、これは私の周りの感覚ともあんまりあってないなあ… AI 周りの状況の陳腐化が速すぎて難しいフェーズなのは確かだけど、Opus の話も普通にするし token クオータは常に話題にあがっている、なんなら caveman ハックも共有されてた

[Yuta Kashino @yutakashino]

↓まじ…？Google，会社の採用凍結方針が続いたためにエンジニアの新陳代謝が進まず，中高年エンジニアが化石化，老害化してて，コーディングエージェントの完全拒否が2割，IDE/チャットからしか使わない勢が6割（しかもGeminiだけ)，だそう…

[Kinuko Yasuda @kinu]

@masapong ほんとお疲れさま。。お大事にね！

[Kinuko Yasuda @kinu]

ここ２か月くらいでのサイバーセキュリティ界の様相の変わり方がなかなか激しいな… いろんなグラフの傾きが急に変わってもうまったく違う性質の問題になってる。でももっと怖いのはこれがサイバー界だけじゃなくて外でも起こるだろうことかしら

[Kinuko Yasuda @kinu]

自転車で通勤するようになって以来、雨の日は家にいがち。周りにも徐々に気づかれており、「明日は雨らしいので（オフィスで会う）予定キャンセルしましょうか？」と聞かれるようになった

[Kinuko Yasuda @kinu]

今気づいたけど昨日ミーティングで話しててちょっと大学行かなきゃなんで落ちるねって途中で消えた人 Stanford の教授じゃんね…

[Kinuko Yasuda @kinu]

いろんな人が書いているけど、今までだったら数ヶ月かけて検証してたものがエージェントと一緒にやると３日くらいで回せたりする(できないものももちろんある)。でもそれは自分だけじゃないので進歩が速くて気がつくと前提が変わってるし、最強感と最弱感が交互にきて忙しい。来年は多分もう全然違うね

[Kinuko Yasuda @kinu]

データフロー解析とかSMTソルバでやってたことを今どきのLLMにやらせるとベンチマークみたいな問題ではもう簡単に解いてくる、けど絶妙に100%にはならないし実際の問題だと同じようなところでつまづく。じゃあ formal reasoning を深堀りするべきかというと目的によるかなと…でもソルバはまだ必要そう

[Kinuko Yasuda @kinu]

久しぶりにベイエリアに出張きてます。毎日AIの話してるわけだけど、ディナーの時とかにはエンジニアもリサーチャーも「自分たちの子供が大人になったとき何やるのかもう全然わからんね」みたいな話してる。「わかんないねーﾊﾊ」って言いながら毎日新しいこと試すメンタリティの人だけ生き残ってく感

[Kinuko Yasuda @kinu]

[ゆる募] あした23日の昼〜昼過ぎ、渋谷オフィスかその付近でランチかお茶ご一緒できる相互知り合いの方…何らかの形で教えてください！

[Kinuko Yasuda @kinu]

今年後半くらいからすべての動きがどんどん加速してる感じがあって、なんというかXでは一ヶ月くらい気を失っていました… でも今年の仕事は大体おさめた🙌🙌うれしい！！
クリスマス付近に少しだけ東京に出没する予定なので、その頃まだいる人はもしかしたらお会いしましょう

[Kinuko Yasuda @kinu]

@tsekine ありがとうございますー！

[Kinuko Yasuda @kinu]

久しぶりに昇進しまして、11月から Google で Principal Engineer (L8 / Director相当) になりました。けっこう大変だったので素直に嬉しいです。家族、いろいろ一緒にやってくれた方々、議論やフィードバックを頂いたすべての皆様に感謝します