いろんな人が書いているけど、今までだったら数ヶ月かけて検証してたものがエージェントと一緒にやると３日くらいで回せたりする(できないものももちろんある)。でもそれは自分だけじゃないので進歩が速くて気がつくと前提が変わってるし、最強感と最弱感が交互にきて忙しい。来年は多分もう全然違うね
0
2
34
5,258
データフロー解析とかSMTソルバでやってたことを今どきのLLMにやらせるとベンチマークみたいな問題ではもう簡単に解いてくる、けど絶妙に100%にはならないし実際の問題だと同じようなところでつまづく。じゃあ formal reasoning を深堀りするべきかというと目的によるかなと…でもソルバはまだ必要そう
0
1
10
2,335
久しぶりにベイエリアに出張きてます。毎日AIの話してるわけだけど、ディナーの時とかにはエンジニアもリサーチャーも「自分たちの子供が大人になったとき何やるのかもう全然わからんね」みたいな話してる。「わかんないねーﾊﾊ」って言いながら毎日新しいこと試すメンタリティの人だけ生き残ってく感
0
14
92
12,926
今年後半くらいからすべての動きがどんどん加速してる感じがあって、なんというかXでは一ヶ月くらい気を失っていました… でも今年の仕事は大体おさめた🙌🙌うれしい！！
クリスマス付近に少しだけ東京に出没する予定なので、その頃まだいる人はもしかしたらお会いしましょう
クリスマス付近に少しだけ東京に出没する予定なので、その頃まだいる人はもしかしたらお会いしましょう
0
0
18
3,542
軽いご報告のつもりで書いたらバズってビビってますが普段は割と静かめなアカウントです😌 日本でもUSでもなくミュンヘンにいます (いいところです！)。
なお、数は少なくても L8 の方は他にも(日本の人も)いらっしゃいますのでよろしくお願いします。一次情報以外は真偽の判断にお気をつけください！
なお、数は少なくても L8 の方は他にも(日本の人も)いらっしゃいますのでよろしくお願いします。一次情報以外は真偽の判断にお気をつけください！
1
1
239
69,552
久しぶりに昇進しまして、11月から Google で Principal Engineer (L8 / Director相当) になりました。けっこう大変だったので素直に嬉しいです。家族、いろいろ一緒にやってくれた方々、議論やフィードバックを頂いたすべての皆様に感謝します
81
153
7,275
10,357,644
OpenAI Atlasのアーキテクチャ。Chromiumの巨大なコード、ビルド時間、UXやクラッシュから開発プロセスやUXを隔離するために新たなIPCレイヤを作って Chromium 自身を別プロセスにし、Atlas 本体は Swift などで迅速に開発
Chrome の遺伝子を受け継ぐ進化版というか、開発チームの顔ぶれが強いのよね…
Chrome の遺伝子を受け継ぐ進化版というか、開発チームの顔ぶれが強いのよね…
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…
1
13
115
301,055
これのせいで EU ブルーカードビザ (高資格・技能保持者用の専門職ビザ、いろいろ優遇あり) を取るのにガチで苦労した私が通りますよ… どういう学位に相当するのか審査するために学部・院で取った全科目から高校の成績まで出すはめになったよ
実質コンピュータサイエンスに相当する学部の名称が日本の大学だとなぜか独自名称が多い気がする（Applied InformaticsとかEnvironmental Information Studiesなんちゃらとか）。
就職とかビザの取得で不利だし、そもそも意味が伝わらないから、普通にComptuer Scienceと名乗った方がいいと思う。
0
50
267
246,509
CodeMender は DeepMind とメモリ安全性チームが協力してやってたもので、脆弱性レポートから原因を特定・修正したり、bounds-safety アノテーションをつけて検知された違反への修正を提案・検証したりする。今までに72個のセキュリティパッチを upstream してる㊗️ Congrats!
deepmind.google/discover/blog/…
deepmind.google/discover/blog/…
0
3
20
63,871
curl のオープンソース開発の話が話題だけど、生成AIによる駄目コードのコストが企業内だとお互い様で済むところ、OSS ではメンテナ側の受け入れ検証コストだけ不釣り合いに高くなりやすく、善意のコントリビュータしかいないケースでも OSS の持続可能性がますます問題に…という話を複数耳にしている
2
139
461
109,120
夏の読書。子供がはまったのにつられてハリー・ポッターを全巻読んでみました
一作目は本も映画も刺さらなかったんだけど、二作目くらいから世界の作り込み只事じゃなくない！？となって途中から止まらなくなった、売れるだけはある。登場人物みんなだいぶおかしくて良いし
次は何を読もうかな！
一作目は本も映画も刺さらなかったんだけど、二作目くらいから世界の作り込み只事じゃなくない！？となって途中から止まらなくなった、売れるだけはある。登場人物みんなだいぶおかしくて良いし
次は何を読もうかな！
1
0
39
48,773
この前はじめて５時間のオペラを見るというのに挑戦しました
３幕構成で途中で40分ずつ休憩が入るんだけど、隣の席(割といい席)の正装したカップルが２幕目でいなくなって３幕目で帰ってきてどうもディナー食べてたっぽい、これはこれで正しい楽しみ方だなと思った
実際最初と最後が一番盛り上がるし…
３幕構成で途中で40分ずつ休憩が入るんだけど、隣の席(割といい席)の正装したカップルが２幕目でいなくなって３幕目で帰ってきてどうもディナー食べてたっぽい、これはこれで正しい楽しみ方だなと思った
実際最初と最後が一番盛り上がるし…
1
0
52
48,395
Kinuko Yasuda retweeted
Google DeepMind東京拠点代表として、研究者の皆様へ研究助成プログラム「Academic Research Awards」をご案内します。本プログラムは、社会に影響を与える先進的な学術研究を支援するもので、今年の重点分野にはAI、セキュリティ、量子ニューロサイエンスなどが含まれます。
research.google/programs-and-e…
research.google/programs-and-e…
2
46
238
59,202
AsiaLLVM のスライド、公開されてました。コンパイラの安全性解析が賢くなるのAIに書かせるときも大事だし割と面白い内容と思うので良かったら見て
llvm.org/devmtg/2025-06…
Safety at Scale: Advancing Safety with 100s of millions of lines of C++
実際に Google で大規模運用した結果も出してます
llvm.org/devmtg/2025-06…
Safety at Scale: Advancing Safety with 100s of millions of lines of C++
実際に Google で大規模運用した結果も出してます
2
25
156
416,177