Principal Software Engineer @Google 🇩🇪 / Large scale AI, Safety, C++ / Opinions are my own @kinuko.bsky.soc https://xitter.cf/t.co/6rTECc5OSx

München / Tokyo
Joined May 2007
さいきん本当にいろんな人から日本旅行の話を聞くんだけど、この前インドの人と話しててミュンヘンに来る前は東京にいたって言ったら、「ここではビジネスではみんなヨーロッパに行きたがる。東京は観光でみんな行きたがる」って言われてそうか、つまりそういう話なんだな…ってなった
14
2,581
不正アクセスが増えまくってて怖いけど、ずっと予想されてたのでついに来たか感もある… セキュリティはそもそも守備と攻撃の間に非対称性があって、守備は全称量化側でどうしても不利になる。双方が同じくらいのモデルを使うとすると、守備側は似たような戦略(見つけてなおす)だけだと勝つのが難しい
3
79
6
377
31,431
今回の出張中、リアルで初めて会った人もけっこういたけど、ミーティングルームにバッグを置き忘れていくのを3回くらいやったのでみんな私のこと良くわかってくれたと思う
13
2,287
今週はアトランタに来てるんだけど、アトランタは全米で最も監視カメラが多い都市らしい。ちなみに警官も街中にめちゃめちゃおり、カメラとの連携も進んでるらしい。でもそれで安全に感じるかは当たり前だけど人によるっぽい… 他の場所に行くと「あれっ警察少ないな…」って思うとも言ってた
3
1,300
確かにアメリカの人は人にもよるけどかなり婉曲表現を使う気がする… 婉曲過ぎて何言われてるのかわかんないこともあった ドイツは直球表現の人が多くて、最初引いたけど(いや今でも時々引くけど)これはこれでわかりやすくて悪くない。めちゃ言い合ってるうちにだんだん仲良くなってることも
実はアメリカは日本寄りである
18
5,316
ええと、株でもうけた分をゴールドで溶かしてる人はもちろん私以外にもいらっしゃいますよね
1
13
3,765
今週だけで4つくらいエスカレーションdoc書いてる AI 時代になってインフラや専門性による優位性も長期プランも誰も気にしなくなって、仁義なき戦いが起こりまくり 一方で AI 関係なくちゃんとした設計思想や品質管理がないまま作られるとやっぱり酷いクオリティになるわけですよ、当たり前でしょ。。
5
39
3,196
数週間が経過し、作るものが 素数判定→ 素因数分解→ 簡易pythonインタプリタ(?)→ 弾幕ゲーム(??) と謎の進化を遂げている、ちなみに環境はスマホ上で Pydroid + Gemini (検索のAIモード) というね、、ときどきチャットでコードが送られてきて「実行してみて!」と強要される いまどきの子…なのか?
次男が唐突にカシオのカラー関数電卓が欲しい!欲しい!と騒ぐので買ってあげたら、これ Python 動くのね。さっそく本見ながら毎日なんかぽちぽち打ってる。 今日はこれ作った、明日はあれ作る、と夢広がりまくり うちの子はAIが得意なことが得意だなあ…と思いつつ わかる、わかるよ、楽しいよねそれ
18
5,001
次男が唐突にカシオのカラー関数電卓が欲しい!欲しい!と騒ぐので買ってあげたら、これ Python 動くのね。さっそく本見ながら毎日なんかぽちぽち打ってる。 今日はこれ作った、明日はあれ作る、と夢広がりまくり うちの子はAIが得意なことが得意だなあ…と思いつつ わかる、わかるよ、楽しいよねそれ
1
2
37
8,608
Mythos が Apple MIE を破ったのは割と象徴的というか、MIE はすごく良くやってるけど穴をゼロにする手法ではないので、AIで攻撃側のコスト関数が変わって「狙えば攻撃は可能なはず」がそのまま示された形に見える。攻撃面を大きく減らす MIE の利点は変わらないけど、戦略的位置づけは変わりそう
2
16
3,355
ふだんユーロの国にいるせいでドルの値段を見るとユーロ比だと安く感じてしまうけど、ここで正気に返って円換算すると意識が飛ぶので正気に返らずに1ドルも1ユーロも100円換算し続けるのですよ…
1
23
3,291
またアメリカ出張に来てるけど、ミュンヘン出るときのチェックインカウンターの人がこの前日本に旅行してきてそれがすっごく良かったらしく、 「最高だったわ〜!であなたいつ帰るの?え、ここに帰ってくるの?え、ここに住んでるの??なんで???」 と出国に関係ない質問されまくって答えに困った
1
31
4,128
どういうコードベースを想定してるのかな?ASTはデータフローを表すものじゃないし100%のグラフの根拠にならない、Taint 解析も証明支援系や充足可能ソルバを使わず AI に探索させても特に保証にならないけど (構造化されたデータをあげた方が良いケースがあるのはその通り) qiita.com/harupython/items/e…
2
23
3,815
社内の全員が見られるチャットに私のエージェントくんが華麗に日本語で誤爆する実績を解除してしまったぜ
25
3,441
10年以上アメリカの大学でCS教えてる先生が、2024年だったかな?の春に学生に急激な変化が起きて、家でやってきてもらう課題はみんな満点に近いのに最終試験が前代未聞のひどさで、学生が1学期かけてほぼ何も学ばなかったことがわかったらしい。名門大学でこれ。授業も評価方法も全部変えたとか
残念ながら家でやったレポートに点数をつける時代は終わった。AIで書いたかどうか判定とかAIで解けないようにしたトラップとか意味がない。授業時間内にテストするか、評価自体をやめるかのどちらかだろう。
9
1,082
33
3,357
363,586
いろんな人が反論してるけど、これは私の周りの感覚ともあんまりあってないなあ… AI 周りの状況の陳腐化が速すぎて難しいフェーズなのは確かだけど、Opus の話も普通にするし token クオータは常に話題にあがっている、なんなら caveman ハックも共有されてた
↓まじ…?Google,会社の採用凍結方針が続いたためにエンジニアの新陳代謝が進まず,中高年エンジニアが化石化,老害化してて,コーディングエージェントの完全拒否が2割,IDE/チャットからしか使わない勢が6割(しかもGeminiだけ),だそう…
2
1
32
14,756
ここ2か月くらいでのサイバーセキュリティ界の様相の変わり方がなかなか激しいな… いろんなグラフの傾きが急に変わってもうまったく違う性質の問題になってる。でももっと怖いのはこれがサイバー界だけじゃなくて外でも起こるだろうことかしら
2
12
2,883
自転車で通勤するようになって以来、雨の日は家にいがち。周りにも徐々に気づかれており、「明日は雨らしいので(オフィスで会う)予定キャンセルしましょうか?」と聞かれるようになった
16
2,343
今気づいたけど昨日ミーティングで話しててちょっと大学行かなきゃなんで落ちるねって途中で消えた人 Stanford の教授じゃんね…
1
17
4,525