Joined May 2007
- Tweets 5,409
- Following 695
- Followers 14,397
- Likes 12,007
205 Photos and videos
May 27
次男が唐突にカシオのカラー関数電卓が欲しい！欲しい！と騒ぐので買ってあげたら、これ Python 動くのね。さっそく本見ながら毎日なんかぽちぽち打ってる。
今日はこれ作った、明日はあれ作る、と夢広がりまくり
うちの子はAIが得意なことが得意だなあ…と思いつつ
わかる、わかるよ、楽しいよねそれ
1
34
2,984
May 18
Mythos が Apple MIE を破ったのは割と象徴的というか、MIE はすごく良くやってるけど穴をゼロにする手法ではないので、AIで攻撃側のコスト関数が変わって「狙えば攻撃は可能なはず」がそのまま示された形に見える。攻撃面を大きく減らす MIE の利点は変わらないけど、戦略的位置づけは変わりそう
1
15
2,765
May 13
ふだんユーロの国にいるせいでドルの値段を見るとユーロ比だと安く感じてしまうけど、ここで正気に返って円換算すると意識が飛ぶので正気に返らずに1ドルも1ユーロも100円換算し続けるのですよ…
1
21
2,801
May 12
またアメリカ出張に来てるけど、ミュンヘン出るときのチェックインカウンターの人がこの前日本に旅行してきてそれがすっごく良かったらしく、
「最高だったわ〜！であなたいつ帰るの？え、ここに帰ってくるの？え、ここに住んでるの？？なんで？？？」
と出国に関係ない質問されまくって答えに困った
1
31
3,657
Apr 26
どういうコードベースを想定してるのかな？ASTはデータフローを表すものじゃないし100%のグラフの根拠にならない、Taint 解析も証明支援系や充足可能ソルバを使わず AI に探索させても特に保証にならないけど
(構造化されたデータをあげた方が良いケースがあるのはその通り)
qiita.com/harupython/items/e…
2
22
3,413
Apr 15
10年以上アメリカの大学でCS教えてる先生が、2024年だったかな？の春に学生に急激な変化が起きて、家でやってきてもらう課題はみんな満点に近いのに最終試験が前代未聞のひどさで、学生が１学期かけてほぼ何も学ばなかったことがわかったらしい。名門大学でこれ。授業も評価方法も全部変えたとか
Apr 14
残念ながら家でやったレポートに点数をつける時代は終わった。AIで書いたかどうか判定とかAIで解けないようにしたトラップとか意味がない。授業時間内にテストするか、評価自体をやめるかのどちらかだろう。
9
1,118
3,409
362,739
Apr 14
いろんな人が反論してるけど、これは私の周りの感覚ともあんまりあってないなあ… AI 周りの状況の陳腐化が速すぎて難しいフェーズなのは確かだけど、Opus の話も普通にするし token クオータは常に話題にあがっている、なんなら caveman ハックも共有されてた
Apr 14
↓まじ…？Google，会社の採用凍結方針が続いたためにエンジニアの新陳代謝が進まず，中高年エンジニアが化石化，老害化してて，コーディングエージェントの完全拒否が2割，IDE/チャットからしか使わない勢が6割（しかもGeminiだけ)，だそう…
2
32
14,332
Mar 31
ここ２か月くらいでのサイバーセキュリティ界の様相の変わり方がなかなか激しいな… いろんなグラフの傾きが急に変わってもうまったく違う性質の問題になってる。でももっと怖いのはこれがサイバー界だけじゃなくて外でも起こるだろうことかしら
2
12
2,649
Mar 31
自転車で通勤するようになって以来、雨の日は家にいがち。周りにも徐々に気づかれており、「明日は雨らしいので（オフィスで会う）予定キャンセルしましょうか？」と聞かれるようになった
16
2,119
Mar 21
今気づいたけど昨日ミーティングで話しててちょっと大学行かなきゃなんで落ちるねって途中で消えた人 Stanford の教授じゃんね…
1
17
4,311
Mar 18
いろんな人が書いているけど、今までだったら数ヶ月かけて検証してたものがエージェントと一緒にやると３日くらいで回せたりする(できないものももちろんある)。でもそれは自分だけじゃないので進歩が速くて気がつくと前提が変わってるし、最強感と最弱感が交互にきて忙しい。来年は多分もう全然違うね
2
34
5,063
Mar 18
データフロー解析とかSMTソルバでやってたことを今どきのLLMにやらせるとベンチマークみたいな問題ではもう簡単に解いてくる、けど絶妙に100%にはならないし実際の問題だと同じようなところでつまづく。じゃあ formal reasoning を深堀りするべきかというと目的によるかなと…でもソルバはまだ必要そう
1
10
2,162
Feb 12
久しぶりにベイエリアに出張きてます。毎日AIの話してるわけだけど、ディナーの時とかにはエンジニアもリサーチャーも「自分たちの子供が大人になったとき何やるのかもう全然わからんね」みたいな話してる。「わかんないねーﾊﾊ」って言いながら毎日新しいこと試すメンタリティの人だけ生き残ってく感
14
93
12,765
22 Dec 2025
[ゆる募] あした23日の昼〜昼過ぎ、渋谷オフィスかその付近でランチかお茶ご一緒できる相互知り合いの方…何らかの形で教えてください！
1
6
5,551
18 Dec 2025
今年後半くらいからすべての動きがどんどん加速してる感じがあって、なんというかXでは一ヶ月くらい気を失っていました… でも今年の仕事は大体おさめた🙌🙌うれしい！！
クリスマス付近に少しだけ東京に出没する予定なので、その頃まだいる人はもしかしたらお会いしましょう
18
3,398
8 Nov 2025
軽いご報告のつもりで書いたらバズってビビってますが普段は割と静かめなアカウントです😌 日本でもUSでもなくミュンヘンにいます (いいところです！)。
なお、数は少なくても L8 の方は他にも(日本の人も)いらっしゃいますのでよろしくお願いします。一次情報以外は真偽の判断にお気をつけください！
1
1
245
69,403
7 Nov 2025
久しぶりに昇進しまして、11月から Google で Principal Engineer (L8 / Director相当) になりました。けっこう大変だったので素直に嬉しいです。家族、いろいろ一緒にやってくれた方々、議論やフィードバックを頂いたすべての皆様に感謝します
82
157
7,356
10,356,289
6 Nov 2025
もらうたびに売ってたっていうそこそこ古株の中の人も知ってるからまあ人生いろいろだな… みたいな
(それでも結構いい額になると思うけど)
1
3
151
325,766
31 Oct 2025
OpenAI Atlasのアーキテクチャ。Chromiumの巨大なコード、ビルド時間、UXやクラッシュから開発プロセスやUXを隔離するために新たなIPCレイヤを作って Chromium 自身を別プロセスにし、Atlas 本体は Swift などで迅速に開発
Chrome の遺伝子を受け継ぐ進化版というか、開発チームの顔ぶれが強いのよね…
30 Oct 2025
ChatGPT Atlas builds on Chromium in a unique way to deliver on our ambitious product goals - enabling a fast, responsive browser with agent DNA. Read more about how we did this in a new engineering blog post by Ken Rockot & I. openai.com/index/building-ch…
1
13
115
300,917