ふたりの近況

2026年11月
Tibo · 11月10日 05:09♥ 3154
Dots は、デフォルトで用意してる自分用の小さなクラウドPCに加えて、たくさんのマシンを操作できるようになったよ。
poteto · 11月9日 19:32♥ 3349
リセット配信中！
poteto · 11月9日 17:16♥ 1748
今週水曜の午前10:10（PT）に @aiDotEngineer で話せるのが楽しみ！ grok @bot チームが先月、コード品質を落とさずに11,000本のPRを出した話をします。会場で会えたらうれしいです！
poteto · 11月9日 16:08♥ 8713
プログラミング言語とランタイムの研究はルネサンス期に入って、ソフトウェアのテストと検証は黄金時代を迎えてるそろそろ全部のソフトウェアを書き直す時だね
poteto · 11月8日 20:02♥ 4834
次はこれ試してみて「/create-formal-verification-skill でこの状態機械をモデル化して、サブシステムごとに1スキル。/statechart で一番大事なユーザーフローを可視化して」両方のスキルは pstack にあります
poteto · 11月8日 06:18♥ 1383
grok bot に tibo.dog の音楽がどうやって作られたかの動画を作ってもらった！最初は自分が欲しいものをぎこちなく説明するところから始めた（音楽制作の経験は 0）：ゲームボーイっぽい音楽で、前に遊んだ別のゲーム（原神）みたいにメインメロディのいろんなバリエーションの間をシームレスに切り替わる感じゴールを伝えやすくなったプロンプトのひとつは、bot に「自分が欲しいものを表現する語彙が足りない」って伝えて、pstack の /sharpen スキルを使うこと。それから /in-your-own-words スキルで、言いたいことをちゃんと理解してるか確認できたこの動画を作るときも同じ技を使ったから、私の agent は本編に取りかかる前に絵コンテとアニマティックを作ってくれた正しい言葉を知ってるってめちゃくちゃ強い
Tibo · 11月8日 05:45♥ 1.2万
Pro 50 ってアリかな？どう思う？
Tibo · 11月8日 05:09♥ 9383
ちょっと混乱してる人がいたけど、Pro プランは全部5時間制限なしで、Plus と比べた使用量はこんな感じ。 ✅ Pro 100 = 10X ✅ Pro 200 = 20X ✅ Pro 500 = 50X、ultrafast も使える
Tibo · 11月7日 06:27♥ 1754
Cyber
Tibo · 11月7日 05:30♥ 1967
今はプロンプト1つでこんなことができるの、なかなかすごいね 👀
Tibo · 11月7日 01:03♥ 7710
金曜日だ
Tibo · 11月6日 20:29♥ 170
まだまだ続きます。11月12日午前10時（PT）の「Cyber at the Frontier」ライブ配信にぜひ：
poteto · 11月6日 07:54♥ 8054
ホットテイク：ソフトウェア工場なんて要らないし、この言葉もあまり好きじゃない。ただのマーケティング。必要なのは良いソフトウェアエンジニアリングと、トークンを正しいところに投資すること。決定的であればあるほどいい（トークン効率もね）。
Tibo · 11月6日 05:01♥ 2283
数千万行のコードに対する形式証明はもう荒唐無稽な話じゃないし、新しいシステムを設計するときに考えるべき範囲に入ってる。
Tibo · 11月6日 05:00♥ 1.5万
自信を持って言えるけど、人間って安全なインフラを書くのがあんまり得意じゃなかったんだよね。最終的にはみんなにとって超セキュアなインフラとソフトウェアになるけど、そこにたどり着くまでにはちょっと荒れる時期を通ることになると思う。
poteto · 11月6日 02:23♥ 92
Update 1 もうすぐ出るよ
Tibo · 11月5日 22:26♥ 643
正しく数えてれば、1日5億枚以上の画像だ。
Tibo · 11月5日 22:24♥ 3952
やばい数字。今 ChatGPT と API で週に4B枚以上の画像を生成してる。たった8週間前は週3B枚ちょっとだったのに。
Tibo · 11月5日 20:43♥ 2220
ふわふわの最前線、一緒に押し広げに来て
poteto · 11月5日 18:52♥ 2867
形式手法にはかなり期待してるけど、期待値はちょっと抑えて自分で調べてみるのがいいと思う（免責：私は専門家じゃないです）。形式手法はコードにバグがないことを保証できるわけじゃなくて、ある前提のもとでコードが spec に合ってることを保証するだけ。で、spec は数学じゃなくて人が何を求めてるかから来る。人間のためにソフトウェアを作ってる限り、spec が正しいって証明できるものは何もなくて、判断できるのは自分だけ。 pstack に /statechart スキルを作ったのは、主にコードに暗黙的にある状態機械をもっとはっきり、読みやすくしてくれるから。そうするとレビューする範囲を小さくして、もっと高いレベルでレビューできる：ほんとに自分の意図とゴールに合ってる？ゲームの tibo.dog を作ってるときにこのスキルをめちゃくちゃ使ってて、下のはストーリーモードの statechart。これでバグをたくさん見つけられた。その意味で、モデル検査（例えば TLA+ と TLC）はシステムの性質を e2e で理解・チェックするのにかなり便利だと思うし、新しい検証コードを大量に書かなくていい。spec は実際のコードじゃないから常にズレるリスクはあるけど、今のところ実際のバグを見つけられていい感じ。本物か確かめるために、経験的な検証（コードを実際に動かす）とも組み合わせることが多い。定理証明（Lean、Dafny とか）や有界モデル検査（CBMC、Kani とか）みたいな他の形式検証にもそれぞれトレードオフがある。証明はあらゆる入力をカバーするけど、指定した性質についてだけで、コードも手間もずっと多くかかる。有界モデル検査は実際のコードに対して走らせられるからズレは避けられるけど、一定のステップ数までしかチェックしないから、バグがないことを証明するよりバグを見つけるほうが得意。だから近〜中期的には、まだコードベースを層にする必要があると思う：制約とガードレール（型、lint ルール、API 設計、リファクタリング）、経験的な検証（テスト、evals、実際の利用）、そして本当に必要な部分には形式検証。どれも単体では全部は拾えないけど、重ねればずっと多く拾えて、自分がレビューする部分も減らせる。でも極限では bitter lesson が勝って、毎回バグゼロの完璧なコードがそのまま出てくるのかもね。そのシナリオでも、エージェントが自分の意図をちゃんと理解したか確認するのに /statechart はやっぱりすごく役立ちそう。まだなら試してみて！
Tibo · 11月5日 17:56♥ 4195
サイバー特化の最新モデルが出ました。サイバー系の多くのユースケースで頭一つ抜けてます。Daybreak Red アクセスで提供中。
Tibo · 11月5日 07:54♥ 3565
dot の最新情報は Samir をフォローしてね
Tibo · 11月5日 07:47♥ 4025
こんなに素晴らしい人たちと一緒に働けるなんて、本当に光栄です。より良い未来を実現するまで、誰も手を止めない。
Tibo · 11月5日 01:02♥ 3618
世界トップクラスのサイバーチームを編成しました。今後数週間、数か月かけて僕たちの仕事についてもっとシェアできるのが楽しみです。
Tibo · 11月5日 00:29♥ 6654
ようこそ Cat。もうすぐ一緒に作れるの、めっちゃ楽しみ。
poteto · 11月4日 18:43♥ 86
あ、あと念のため言っとくと、このPRグラフはgrok botへの全部のPRで、私のだけじゃないよ
poteto · 11月4日 18:00♥ 28
ハッカー猫つくったよ
Tibo · 11月4日 16:54♥ 4140
コンピュータには RAM ってあるよね？ようこそ Pierre。すべてを一から作り直そう。
poteto · 11月4日 16:26♥ 2825
での講演スライドから、いくつか面白いところを。コードを読まずに大量のコードを出す（30倍）のに、性能はローンチ時と同じかそれ以上だって話ができるのがすごく楽しみ。まだ改善点はたくさんあるし天井も全然遠いけど、この容赦ない出荷スピードと仕上げへの高い基準を考えると、エージェントフレンドリーな設計への賭けは効いてると思う。slop をちゃんと飼いならせてる感じ。豆知識：10月に grok bot へ1つ以上PRを出した人は約230人！
Tibo · 11月4日 07:54♥ 6163
ChatBLT
Tibo · 11月3日 22:31♥ 1.1万
物事は何度も何度も何度も変わる。まだまだ始まったばかりで、今のエージェントはすごいのに、それでもイライラさせられる。またフロー状態に戻れるよう、早く突破口を開きたい。まだまだ長い道のりだ。
poteto · 11月3日 22:27♥ 1311
で買い物 @bot で節約 @bot でシップ bot があると仕事も生活もめっちゃ楽になる。元なんて何倍もとれるよ！
Tibo · 11月3日 05:29♥ 1.1万
Le GPT Fat
poteto · 11月3日 02:04♥ 1.1万
ちょっと過激な意見かもだけど、今は敵対的レビューってほぼトークンの無駄だと思ってる。そのトークンは実証的な検証と形式検証の組み合わせに使ったほうがずっといい。pstack を更新して interrogate skill をあんまり使わないようにしたし、そのうち完全に消すかも抽象的なコードレビューにはほとんど価値を感じなくて、agent って細かいツッコミとか yagni に迷い込みがちなんだよね
Tibo · 11月3日 00:26♥ 3636
Git-fu ならちょっと分かってる。チームがやっと少し話せるようになって嬉しい。@tnm とチームに大感謝
poteto · 11月2日 21:19♥ 1335
hire grok bot！こんなデータ bot を自分用に作りたかったら、@bot をタグして、この投稿を読んで手順を教えてもらってね。
poteto · 11月2日 18:51♥ 2155
わー、tibo.dog 公開からストーリー以外のプレイがもうすぐ 100k！ちなみに本編のほうがストーリーモードよりずっと楽しいよゲーム気に入ってて、もっとコンテンツ追加してほしかったら、リプでアイデアや感想教えてね 🤍 公開してから 17 の新しい言語を追加して、ちゃんと歯ごたえはありつつもっと楽しくなるようにバランス調整もして、今はエフェクトを全部アップグレード中。新しい装備システムのアイデアもあるんだ！あと、どうやってこんなに速く、しかもしっかり作り込んでゲームを作ったのか、近いうちに時間見つけて詳しくシェアするね
Tibo · 11月2日 15:51♥ 2455
あなたの dot はタスクに最適なモデルを選んで、作業のパートごとに別々のモデルを使い分けるよ。
Tibo · 11月2日 15:50♥ 1.1万
resetters のみんな、先に言っておくと、dots を動かす frontier モデルのファミリーを広げているところ。GPT-6 Astra と GPT-6.1 Terra、あと将来は他のモデルも。Terra は速さと性格のいいアップデートで、dots をもっと多くの人に届けるのに役立つよ。
poteto · 11月2日 00:00♥ 349
cc @DavidKPiano このチャート気に入ると思う
2026年10月
poteto · 10月31日 17:18♥ 624
さらにTips： • routines を使うとbotがもっと自発的に動いてくれる。スケジュール型なら「毎朝issue trackerに新しいバグがないかチェックして」みたいな感じ、サブスクリプション型なら何かが起きたときに反応させられる。たとえば「クライアントXからメールが来たら、自動で要約してフィードバックと提案をnotionのドキュメントに追加して」とか • routines は発火しすぎるとコストがかさむ。スケジュール型なら1時間おきが一番短いおすすめ間隔で、サブスクリプション型はまずイベントを絞り込んだほうがいい • botにコードを書かせてタスクを自動化しよう！botが自分でタスクをこなすよりトークンをずっと使わないから、コードのほうが断然効率的。ワークフローのどの部分をスクリプトやskillsにできるか、botに聞いてみて。で、スクリプトはプライベートのgithubリポジトリに保存させておこう • チームプランなら、slackでbotを共有しよう！同僚とワークフローを共有するのにすごくいいし、チームがすでにメンテしてる質の高いbotを使い回せる • マネージャーみたいに考えよう：どうすればbotに自分と同じか、それ以上のクオリティでタスクをやってもらえる？そういうふうにbotをセットアップできれば、もっと野心的なことに時間を使えるようになる
poteto · 10月31日 17:01♥ 1.1万
質の高い bot の作り方とチームの回し方についての短い grok bot ガイドだよ。@bot にこの投稿を読ませて、自分のチームを改善してみて！ • dr eggbot をチームに入れて！私が bot を作るのに使ってる bot デザイナー • bot はたくさん要らない。いい bot が少しあるほうが、大人数より使いやすくて管理も楽 • タスクのやり方を教えるときに、bot 自身に skill を作らせる。そうすると長い会話でも安定してできるようになる。私有の github repo を作らせて skill を全部そこに保存しておくのもいいよ • connector を足して、vault を使って、仕事で使うツール全部にアクセスさせる。bot に自分のメールを用意させて、自分でアカウント登録させるのも分離できていい • 手でやってる仕事や、ワークフローの中で情報をコピペして bot に戻してる作業を思い浮かべて。それを代わりにやる方法を bot に聞いてみて！ • インターンを雇ったとして、どうオンボーディングして正確に効率よく働いてもらう？まず自己紹介して自分の仕事を説明して、どう自動化できるか聞いてみて一番好きなコツ：音声モードか文字起こしを使ってみて！たくさん情報を一気に吐き出すのにいい方法。最後に「自分の言葉で言い直して」と伝えれば、ちゃんと理解したか確認できるよ
Tibo · 10月31日 05:42♥ 1.4万
Day 26/ スマホで複数アカウントの切り替えが簡単にできるようになりました。デスクトップも近日対応。次の2日はリセット……ストック済みです……あとはご自由に 👀
poteto · 10月30日 22:52♥ 2465
/statechart で作ったイケてるチャート全部見せて！あと /create-formal-verification スキルで見つけたバグも pstack はここからインストールできるよ
poteto · 10月30日 15:34♥ 6008
新しくてもっと速いペースに合わせて、ソフトウェアの多くを作り直して書き直す必要がある。コードはかつて一滴ずつやってきた。もうすぐ、いやもうそうかもしれないけど、コードは途切れない流れみたいに書かれるようになる。好き勝手にうねり曲がる激流みたいに。これは新しい話じゃない。ビッグテックは巨大なエンジニアリングチームの規模でずっとこれに向き合ってきた。でも今、ai がすべてのエンジニアに、めちゃくちゃ柔軟で有能な労働力を持たせた。これはもうあなたの問題。適応する唯一の方法は、システムを進化させて、agent が——正しいやり方についてほとんどコンテキストを持たない agent でも、いやむしろそういう agent こそ——活躍できるようにすること。簡単なことが正しいことになるようにしよう。コードベースは有機的な建築になりつつある。agent の貢献は、あなたが設計した制約やガードレールの周りに育っていく。良いソフトウェアエンジニアリングは今こそもっと大事！それに、この途切れないコードの流れは、ただ無力に眺めるしかないものじゃない。もっと野心的になって、カオスを制御するシステムやフレームワーク、言語を設計しよう。コーディングを悼む時間はとっくに終わってる
Tibo · 10月29日 19:35♥ 4761
この人に温かいフィードバックを送ってね。
poteto · 10月29日 18:55♥ 7227
pstack v0.15.36 の /statechart スキルが安定版になって使えるようになったよ！/create-formal-verification-skill と組み合わせるのがおすすめで、ステートマシンや分散システムを抽象的にモデル化してバグを見つけられる。スキルにはミニ tlc コンパイラが入ってて、パースして小さな IR に lowering して、バックエンドが mmd 構文を出力する。好きなスタイルでチャートを作るよう agent に頼むこともできるよ。スキルが pele.run を使うよう指示してて、テーマをめっちゃいじれるから、設計図風とか手描きの百科事典イラスト風とか好きなようにできるこれが /statechart スキルのチャートと、さっき見つけたリアルなバグ2件。試してみて感想教えて！
Tibo · 10月29日 16:56♥ 3.9万
Day 25/ 本日より、Pro 100/200/500 の全プランおよび Business Premium の利用上限をすべて2倍にします。みなさんのご意見を受けて、Pro 200 の利用上限は削減しないことにしました。Work と Codex の使用量はこれまで通りです。また、引き続き dots への拡張上限を提供し、dot の使用量はデフォルトの使用量とは別に計算されます。もちろん、より優れたモデルや効率改善も継続して提供し、実質的な利用量を時間とともに増やしていきます。
poteto · 10月29日 03:34♥ 652
grok bot で買い物しよ！
Tibo · 10月29日 01:49♥ 3969
Day 24/ dotへのテキストは、普通の連絡先に送る感覚とまったく同じ。転送・シェアも楽だし、音声メモも残せる。「Hey Siri、Iggyに<INSERT WILD REQUEST>って送って」って言って、あとはのんびり待つだけ、ってこともできるよ。
Tibo · 10月28日 23:35♥ 6024
チームで取り組んでるけど、まだロールアウトはしてないよ。混乱させてたらごめん。今年中のどこかで Chat / Work の良いところをひとつにまとめる予定だけど、慎重に、時間をかけて進めるつもり。もうすぐもっと話せると思う。
poteto · 10月28日 23:28♥ 3250
grok bot にこれを投稿しろって言われた
poteto · 10月28日 00:41♥ 1071
shipping が激化してきた
poteto · 10月27日 17:26♥ 2150
Grok Bot チームはすごいスピードで品質を届けてる！agent に優しいコードに投資してて、簡単なことが正しいことになるようにしてる。エンジニア、デザイナー、PM が毎日何百もの PR を出してる：バグ修正、UX の磨き、アプリを速く安定させる。もちろん完璧じゃないしミスもするけど、そのたびに学んでワークフローを改善して、同じミスを二度とさせないようにしてる。個人的には、Grok Bot は今の業界で token がどこに使われてるかの最良の例だと思ってる：品質とスピード、妥協なし。token の使い方の議論でみんな忘れてるのは、ソフトウェア開発は氷山みたいなものってこと——新機能は高品質なソフトウェアを維持する作業のほんの一部。そしてこれからも加速して改善し続ける！
poteto · 10月26日 20:38♥ 892
Grok Bot を雇おう！
Tibo · 10月26日 19:24♥ 1万
Day 22/ Terraが帰ってきた！文章力、パーソナリティ、リクエストの微妙なニュアンスの理解が大きく向上した初めてのモデル。全体的にパンチが効いてて、コンピューター操作もかなり得意。しかもAPIとサブスクの両方で6.1 Solより2X多く使えるよ。
poteto · 10月26日 17:34♥ 1322
今週、Grok Bot で何を出す？
poteto · 10月26日 07:54♥ 2689
のこの講演、エージェントのためにコードベースを良くするコツが本当にたくさん詰まってる • エージェントはフィードバックで育つ。型はその最良のひとつ • 型で不正な状態を表現できなくすれば、コードベース全体にグローバルなルールを強制できる • プロパティベーステスト、ファジング、さらにはシステム全体の決定論的シミュレーションテスト • expect テスト：とにかく出力をプリントしてテストにキャプチャする。挙動が読めるようになる。コンパイラのフィクスチャテストとすごく似てて、レビューの範囲が小さくなる • 形式手法は昔はすごく高コストだった：seL4 は約 8,700 行の C で 25 人年くらい、C の 1 行につき 23 行の証明。でもエージェントが ROI を変える
poteto · 10月26日 06:43♥ 2648
これから数年でプログラミング言語にどんなイノベーションが起きるのか、ほんとに楽しみ
Tibo · 10月26日 05:48♥ 4143
リマインド：web版の chatgpt は見た目をカスタマイズして癒やし系にできるよ
poteto · 10月26日 05:05♥ 5985
前に他の人に上から目線だったときにこの有害なやつブロックしといてよかった。あとmetaは独自のscmあるし、私のコミット全部公開されてるわけじゃないから 🤡
poteto · 10月26日 02:21♥ 1342
残ってる唯一のモートは sybau 💔
poteto · 10月26日 02:00♥ 1927
これ、ほとんど知られてない
poteto · 10月26日 01:53♥ 2650
自分の記録を破ったかも
Tibo · 10月25日 06:06♥ 5738
全部反映されたよ。明日は思いっきり Codex しまくって。今週も楽しいことあるよ。
Tibo · 10月25日 03:39♥ 1.2万
Day 20/ 休息とリセット
poteto · 10月24日 20:42♥ 2154
これ、自分の pstack ガイドに書いたよ！
Tibo · 10月24日 19:21♥ 8603
dots を1B ユーザーまでスケールさせるのを手伝いたくて、前に似たようなことやったことある人はDMして
poteto · 10月24日 19:07♥ 1480
私のお気に入りのひとつは、ボットたち同士でコラボさせること！Slack にボットを追加して、チームメイトのように一緒に働くだけ 🤍
Tibo · 10月24日 16:26♥ 5877
土曜はコーヒー飲みながらバグ直す日。SFでまったりできるいい場所ってどこかある？
Tibo · 10月23日 23:13♥ 1811
codex cli のアップデートについて。再利用できるプロンプトプリセット、インラインでのモデル・権限設定、エンタープライズ向け MCP サインインを追加したよ。長いセッションを再開するときの失敗も直して、Windows の企業プロキシ認証にも対応した。意外なことに、devday 以降 CLI の利用が 2X に伸びてる。
Tibo · 10月23日 23:12♥ 8303
Day 19/ ちょっとしたアップデート。dots の通話がめっちゃ速くつながるようになったし、codex と work で会話の途中に reasoning を変えてもキャッシュが無効にならなくなった。あと codex cli もアップデートしたよ。
poteto · 10月23日 20:04♥ 1708
Grok Bot で安全にね！
Tibo · 10月23日 04:47♥ 3148
明日PST午前10時前に着陸、小さな出荷も一緒に。
poteto · 10月23日 00:24♥ 1880
grok bot チーム、とんでもないペースでリリースしてる！フィードバックやバグ報告どんどん送ってね。grok bot をあなたが雇える最高のアシスタント兼社員にするために、これからも改善と磨き込みをがんばるよ
Tibo · 10月22日 06:55♥ 3296
明日の太平洋時間午前10時前に着くよ。
poteto · 10月20日 01:33♥ 3144
なんでも出せるよ。
poteto · 10月19日 19:29♥ 156
このスレ見てて、私と私の仕事について知ってることをもとに、私のボットとワークフローを改善するアイデア出して
poteto · 10月19日 18:15♥ 2462
先週 grok @bot で何やった？
Tibo · 10月17日 16:21♥ 2804
今日中、太平洋時間の終わりまでには着地するよ。
Tibo · 10月17日 00:15♥ 915
あと昨日スライド対応を追加したから、使ってみて。今のところ Pro、Business、Enterprise で提供中、みんなのフィードバックから学びながら進めてるよ。
Tibo · 10月17日 00:14♥ 2749
ChatGPT Space って何なのか、それが問題。ときどき可愛いくらい不器用なのは、実際にそれを手がけているチームだから。次は何が見たい？
Tibo · 10月16日 23:57♥ 872
あとはアプリをアップデートして、この gem を楽しんでね
Tibo · 10月16日 23:56♥ 1705
あと、全 pro ユーザー向けに GPT-6 Pro もかなり良くしたよ
Tibo · 10月16日 23:55♥ 1.1万
Day 12/ Codex & Work を改善して、実質的に使えるクォータが増えるようにしたよ。サブエージェント間でコンテキストを再利用し、キャッシュをより長く保持し、リクエストルーティングを改善してキャッシュヒット率を上げることで実現した。
poteto · 10月16日 03:21♥ 4809
やっと縦列駐車が怖くなくなった
Tibo · 10月15日 22:45♥ 4152
こんにちは
poteto · 10月15日 15:44♥ 91
コメントって構造もないし強制力もないただのテキストなんだよね。エージェントも読みはするけど、よく無視されるし、古くなるし、エージェントに逃げ道を与えちゃって、ちゃんと直す代わりに応急処置とかハックとか回避策に走らせちゃう。このプロンプトでコードのコメントを監査して、もっと強い型やより良い API 設計でコードを改善できるところを見つけて、lint ルールも作ってコメントがいらない状態にしよう！
poteto · 10月15日 15:42♥ 160
コードをアップグレードできる強力な pstack プロンプトをいくつか紹介するね、まずはこれから（プロンプトは投稿の一番下にあるよ）エージェントに優しいコードにするためのリファクタリング
poteto · 10月15日 15:37♥ 4922
pstack 使ってみて！エージェントと一緒に厳密で自律的なエンジニアリングをするための、私の個人スキルセットだよ。チューニングしたりシンプルにしたりし続けてるから、ちょくちょく更新してる 10秒チュートリアル： 1. /setup-pstack を実行して予算を選ぶ 2. 厳密にやってほしいプロンプトの頭に /poteto-mode をつける 3. どの pstack スキルを使えばいいか迷ったら /poteto-help に聞く 4. 以上！
poteto · 10月14日 02:14♥ 2760
「君の bot を私の bot と話させる」のが当たり前になるのもうすぐだね！メールでマルチプレイヤー Grok Bot を使う面白いユースケース： • デバッグ（私の bot にバグ報告を送って！） • カスタマーサポート • 会議やイベントの予約 • グループ購入 • craigslist で売買するみんなは bot メールで何に使ってる？
poteto · 10月13日 16:39♥ 134
pstack を grok bot か cursor 経由で入れたなら、自動でアップデートされるよ！
poteto · 10月13日 16:37♥ 2344
pstack 0.15.23 に新スキル /in-your-own-words が追加されたよ！自分と agent のゴールをちゃんとすり合わせて、意図を明確に理解させるのにめちゃ便利。
poteto · 10月12日 17:39♥ 308
あと、私のトークもぜひ見てね。
poteto · 10月12日 17:37♥ 4622
ずっと引っかかってるのは、slop を自分に降りかかってくる出来事みたいに捉えてる人がいて、自分は何もできない無力な傍観者みたいな顔をしてることちょっと待って、あなたソフトウェアエンジニアでしょ、砂に考えさせる方法とか、コンピュータを思い通りに動かす方法を literally 学んだ人でしょ？！それが今は何もできないの？お願いだからこのノイズを抜けるために知っておくべきことは 2 つだけ： 1. agent が自分の仕事を検証できる手段を用意すること（これについてはさっき投稿したから繰り返さない） 2. あなたのコードベースは記憶 2 つ目も別に新しくない、lint ルールとか、診断がちゃんとしたコンパイラとか強い型システムとか LSP とか、より良いコードを書くためのものはずっとあった。コードを書くのが agent になっても同じで、ただより多く、より強く必要になるだけ。 rules や skills のことは忘れていい、それは後から足せる。そう、あなたのコードベースは agent にとって記憶！agent はすでにあるものを拡張するのが大好き。だからあなたが見てきた小さな不満も、agent から見たミスもダメなパターンも、全部制約に変えないと、agent はウイルスみたいに同じミスをコードの中で繰り返し続ける。それを観察して繰り返して、コンテキストが少ない agent でも一発で高品質な PR を出せるくらいまでコードベースを固める。もっといいのは、agent のアンチパターンがカテゴリ的に起こり得ないようにリファクタ／書き直すこと。型システムを活かして、アーキテクチャの探索空間を狭めるライブラリやフレームワークを使って、あるいは私たちが grok bot でやったみたいに自分でフレームワークを作って、質の高いプリミティブと考え抜かれた API を設計する
poteto · 10月12日 04:54♥ 142
小さめのバグもいくつか見つけたから直してるとこ、でもデスクトップクライアントがスリープしちゃう一番の原因は 0.70.2 の修正で直ってるよ
poteto · 10月12日 00:16♥ 1882
これ直したよ、0.70.2 でリリース済み！今配信中
Tibo · 10月11日 23:48♥ 3590
この変更で、サブスクの使用枠から使う場合、GPT-6.1 Sol の長コンテキスト料金はかからなくなるよ。
Tibo · 10月11日 23:45♥ 1.5万
Day 7/ Codex & Work で使う GPT-6.1 Sol のデフォルトのコンテキスト長を、272k から 500k に引き上げたよ。だいたい 80% アップ。今後さらに上げていくけど、これでコンパクションが起きる回数が減るし、長い時間たくさんのコンテキストやニュアンスを保ち続ける必要があるタスクにも効く。しっかりテストして、ほとんどのユーザーにとっての新しいちょうどいいラインになってる。もっと上げたい・下げたい場合は今まで通り上書きできて、GPT-6.1 Sol の最大コンテキスト長は 1M。
poteto · 10月11日 18:54♥ 4375
保守性やクリーンコードはまだ大事だっていうリプがめっちゃ来てて面白い。私はそれってもう正しくないと思うし、2026年における「良いコード」が本当は何を意味するのか、みんな前提をアップデートすべきだと思う。クリーンコードには昔からコストがあった——パフォーマンス。間接化とか、人間にとって読みやすく理解しやすいコードにするのはタダじゃなくて、だいたいパフォーマンスが犠牲になる。これまでそれで良しとしてきたのは、ムーアの法則があったのと、ほとんどのコードはホットパスに乗ってないから。こういう原則は、人間がコードを保守してた時代に生まれたものでもある。当時は人間向けに最適化するのが理にかなってたけど、エージェントがもう全部のコードを書いてる今はそうでもない。実際たぶん新しい原則を見つけたり考え出したりすることになると思う：エージェントフレンドリーなアーキテクチャの原則（これについては近いうちにもっと書くつもり）
poteto · 10月11日 17:27♥ 92
poteto · 10月11日 04:42♥ 114
あともう一つ、@tomocchino に教えてもらってから何度も読み返してる面白い記事
poteto · 10月11日 03:26♥ 680
tldr コードは全部ゴミ
poteto · 10月11日 02:35♥ 5588
コードベースには昔から雑なコードが入ってる。ミッションクリティカルな「ハード」なソフト（組み込みとか）以外は、コードが完璧である必要なんてほとんどないから、ずっとそれで ok だった。 swe は特殊なエンジニアリングだ。作ってるものは常に進化してて、ほとんど有機的——ユーザーの好みは変わるし、自分のメンタルモデルも進化するし、機能は出ては消える。正直に言うと、長くコードを書いてきた自分も、多くの人も、最初は（2024 年くらい）agent がプロダクションコードを書くなんて懐疑的だった。「でも、あの美しいコードベースに入ってくる雑なコードはどうするの？」って。でも、昔から人間の雑さはあったし、しかも大量にあった！正直に言えば、ほとんどの人は「自分が書いてないコード」を雑と呼ぶ。現実には 99% の人（自分も含めて）は Good Code がどんなものかすら知らないし、書けるはずもない。自分が提案したい Good Code は： • 正しい • バグがない • 実行が速くてコスト効率がいい本当に Good Code を書くのは昔からめちゃくちゃ難しくて高い。長い間（@bendlang が変えてくれるかもだけど）、コードはこの 3 つを安く形式的に保証できるものじゃなかったから。ハードなソフトを書くのが難しいのはそういうことで、用途によってはチャンスが一度きり、最初から正しくないといけない。でも、私たちが使うソフトの大部分は、ユーザーに価値を届けるのに Good Code である必要はない。実際、使ってるソフトのほとんどは形式的に検証できないんじゃないかな！スピードと進歩と引き換えにバグを受け入れて、テストと o11y に頼って、もっとインクリメンタルなやり方にしてきた。これはいいこと！ agent は私たちを速くしてくれるし、受け入れる気があれば、もっといいコードを書くのを手伝ってくれる。Good Code にはならない（それはまだ高い）けど、平均してスケールすればずっとマシになるはず。 swe の新しい職人技は、これをどうやるかを見つけること。今はそれがあなたの仕事！agent ありとなしで生産性が全然変わらないなら、何か間違ってる。でも、受け入れて新しいスキルツリーを学ぶ機会にするのに遅すぎることはない。
poteto · 10月10日 20:52♥ 4321
cursor の Project を同時に走らせすぎていて（今16個）、一番よく使うプロンプトがこれになった「/bro 前回のメッセージ以降の全部を追いついて教えて。自分へのアクション項目があるなら、判断できるだけの文脈（エグゼクティブサマリー）もつけて」
poteto · 10月10日 16:20♥ 1099
ねえ @bot、この引用スレッドを全部読んで、仕事と生活でどう手伝えるかアイデアを出して
poteto · 10月9日 23:15♥ 3820
関連して、最近ソフトウェアエンジニアリングのスキルについていろいろ話題になってるよね（ruby/rust/elixir の騒動とか）。ちょっと迷ってて、ソフトウェアエンジニアリングの原則やパターンはまだ大事だと思う一方で、いつかそれが本当に関係なくなる時が来るのかなとも思う。役に立たなくなるってことじゃなくて、agent を使ううちに、何をしてるか明確に知らなくても、自分の直感でその隙間を埋められるようになるってことわかりにくかったら、たとえとして初代 iphone を思い浮かべてる。20 年前はプロで高い機材を持ってないと無理だったけど、今はスマホとちょっとした創造力さえあれば、新しい観客に刺さるコンテンツが撮れる。これに名前があるのかわからないけど、「スキル圧縮」って呼びたい。かつては専門家にしか手が届かなかったものが、まったく新しいメタと一緒に新しいクリエイターたちに開かれていくこと。細かいことはだんだん薄れて、今のクラフトは機材の知識や使い方じゃなくて、それをどうクリエイティブに使うかにあるコードを一行も見たことも書いたこともない新しい世代のビルダーたちが、すごいものを作るのをこれから見ることになるよ
poteto · 10月9日 22:42♥ 6449
SWEの面接って、たぶん技術面接2回にまとめられると思うんだよね： • システム設計（自分のアイデアをどれだけうまく説明できるか、ちゃんとモノをエンジニアリングできるのか） • オンサイトでエージェントを使って実際のモノを作るプロジェクト（自分の意図を高品質な成果に落とし込めるか）前に聞いてたそれ以外のことは、もう必要ない
poteto · 10月9日 17:41♥ 63
にタグ付けできない場合は、Grok Bot のメールアドレスで https://grok.com にサインインして、X アカウントを連携してください
poteto · 10月9日 17:40♥ 720
自分の bot に頼むか、X で @bot をタグすれば設定してくれるよ！
poteto · 10月9日 16:18♥ 423
コーディング初心者なら、私の bot をダウンロードしてこう頼んでみて：「cloud agents と pstack を使ってコーディング作業をするエンジニア bot を作って。関連するタスクをまとめるための project も作ってね」
poteto · 10月9日 15:50♥ 939
Grok Bot でコーディングしてみて！
poteto · 10月8日 20:29♥ 124
私のPRが全部どこから来ているか（今日時点）
poteto · 10月8日 20:17♥ 4050
量は大事いや、わかるよ。エージェントが出てくる前からエンジニアだった人なら、コードの行数やPRの数を生産性の指標にすることに懐疑的なのは当然だと思う。私も同意！というか、少なくとも前は同意してた。説明しやすくするために、最低50人はいる大きいチームのエンジニアの視点で話すね。前は量なんて関係なかった。インパクトを重視してたから。PRが少なくてもインパクトは大きくできた。たとえば設定を1行変えるだけで会社が何百万ドルも節約できる、みたいな。でもエージェント以前、量が話題になるのは外れ値のときだけだった。下の端だとパフォーマンスに苦しんでる人、上の端だと「コーディングマシン」タイプの人。コーディングマシンっていうのは、部屋にこもって出てきたら大量の問題を解決するPRの山を抱えてるような人。だから量は大事だったけど、それは分布の両端だけで、しかもインパクトとセットだった。大手テック企業で働いたことがあるなら、言ってることわかると思う。エージェントの話でいうと、大企業の問題が今や中小企業の問題にもなってるってこと。じゃあエージェントでこの計算はどう変わるの？要するに、今は誰でもコーディングマシンになれる。めちゃくちゃ優秀なフロンティアモデルがあって、私たちの誰よりもうまく、ずっと速くコードを書ける。そんな世界で、前と同じ数のPRしか出してないなら、なんでもっと生産的になれてないのか立ち止まって考えない？エイリアンみたいな知能が来てるのに、人間のコーディングマシンに出荷量で勝てないの？だから私はずっと信頼の話をしてるんだよね。エージェントの出力を信頼できるようにちゃんと手間をかけてないと、生産性をスケールさせるのはすごく難しい。で、たしかにこのやり方はトークンをもっと使う。でも私は知能あたりのコストで考えてる。エージェント以前はこのコストがすごく高かった。年収6桁後半のソフトウェアエンジニアを何人も雇わないといけなかったから。トークンは今もまだ高いけど、知能のコストを考えると時間とともに安くなっていく可能性が高い。今はとんでもなく高く見えるものも、6ヶ月から1年後にはたぶん手の届く値段になってる。エージェントを使うエンジニア1人で、数十人、いや数百人分の仕事を、ほんの一部のコストでできる。まだみんなピンときてない現実は、ソフトウェアエンジニアの仕事が本当に変わったってこと。私たちの仕事はもう単にソフトウェアを作ることじゃなくて（まあ正直、昔からコードだけの仕事じゃなかったけど、説明のためにちょっと付き合って）、ソフトウェアを書く機械を作ること。このソフトウェア工場、私はミシュランのキッチンって呼んでるんだけど、そういう考え方はまだ研究段階。そういうのを共有するのが好きなんだよね。自慢したいんじゃなくて、エージェントを大規模に使うときにしっかり厳密にやると何ができるかを見せたいから。
poteto · 10月8日 16:28♥ 102
をタグ付けしたいなら、Grok Bot で使っているメールアドレスで grok.com にログインして、X アカウントを連携してね！
poteto · 10月8日 16:25♥ 1839
やあ @bot、X でみんなが Grok Bot でやってる面白いことをチェックして、毎朝9時に Slack で日次ダイジェストを送って。関連するものがあれば、いちばんクールなアイデアを選んで、どうやって私のワークフロー改善に使えるか提案して。
poteto · 10月7日 22:37♥ 119
あとこれ全ユーザー使えるよ、X コネクタの設定もいらない
poteto · 10月7日 22:37♥ 1654
Grok @Bot に X で自分のプロダクトへのユーザーフィードバックを監視させよう！機能リクエストは issue tracker へ、バグ報告は cursor cloud agent かプロジェクトに送ってトリアージ＆修正までループ完成
Tibo · 10月7日 21:03
35:01OpenAI’s Tibo Sottiaux doesn’t want humans to be an ‘afterthought’▶ YouTube · Pioneers of AI
Tibo · 10月7日 19:19♥ 2万
Day 3/ 今日の目玉は Chat の GPT-6 だけど、今日はちょっとしたお祝いの日でもあって、Codex と ChatGPT Work のアクティブユーザーが過去最高の 40M に。みんなの有料アカウントにストックしてたリセットを入れとくね。また明日！
poteto · 10月6日 22:33♥ 82
、それに @Atlassian にも対応してるよ。
poteto · 10月6日 22:19♥ 1598
Slack での Grok Bot の話ばっかりしてるけど、実は @MicrosoftTeams にも追加できるって知ってた？
Tibo · 10月6日 20:56♥ 5128
Day 2 のまとめ／ 2.1/ 「Approve for me」（自動レビュー）が入った。使用量は消費しない。使うとプランの 2-10% くらい。しかも君にとってもいい。 2.2/ ビルダー向けのシンプルな API。 2.3/ 議事録を統合。 2.4/ ビルダー向けに Decisions API を公開。アプリでも使って体験を良くする。
Tibo · 10月6日 19:09♥ 2769
Day 2.2/ これは小さめだけど、API で作るときの摩擦をちょっと減らしました。よい開発を。
poteto · 10月6日 17:51♥ 217
これが全部うまくいったのは、質の高い検証スキルがあったから！pstack で自分用のを作ってみて
poteto · 10月6日 17:43♥ 2900
リリースと QA のプロセスを自動化した！Grok Bot で Team Bot を2体作った：sandcastle（リリースマネージャー）と poteto（エンジニア bot）。Slack に追加して、リリース管理用の新しい channel を作った。まず sandcastle に cut をしたいって伝える。そしたら全 contributors に DM を送って、それぞれの PR のリンクを教えて、次のリリースに何が入るか分かるようにして、問題や反対があれば bot に DM で返せるようにする。その後 sandcastle が build を開始して、自動で監視して、自動化 fuzz swarm を立ち上げる。ふつうは 10+ 個の agent が Grok 4.7 xhigh で動いて、build を実行して、本物のユーザーみたいにクリックして使う（うちの verification skills と feature map を使って）。一部は指示ありで、何個かは "chaos monkey" としてランダムにクリックして何が壊れるか見る。問題を見つけたら、エンジニア bot の poteto を @ して、Cursor Project を立ち上げて high pri の問題を全部 triage して直すように指示する。深刻度に応じて、修正を release branch に cherry pick して patch release を切るか、すでにあった問題なら直すけど次のリリースに入れるこれでまた一つ、Grok Bot がうちのチームの面倒なタスクをやってくれるようになった
Tibo · 10月6日 16:12♥ 223
Auto-review は「Approve for me」権限モードです。使うには、コンポーザーの下の権限メニューを開いて「Approve for me」を選んでください。
Tibo · 10月6日 07:22♥ 916
full-access の代わりに auto-review を使って。もうトレードオフじゃないし、もっと安心して眠れるよ
Tibo · 10月6日 07:13♥ 1.2万
Day 2.1/ Auto-review を ChatGPT アカウントでサインインしている全ユーザーに無料開放しました。設定 > 権限 > auto-review から有効にできます。Auto-review は、全部の操作を承認しないといけないデフォルトのサンドボックス設定を改善するものです。あの設定は、細かいルールをかなり作り込まない限り、判断疲れを起こしがちなので。長いタスクを走らせながら、2 つ目の agent がメインの agent の全操作をレビューしてくれます。目的はただ一つ、高リスクな操作が実行されるのを防ぎ、元のユーザー意図に沿わない望まない操作から守ること。この Auto-review は今は無料で、プランの使用量も消費しません。
poteto · 10月6日 03:30♥ 1725
明日の Grok Bot 101 に申し込んでね！bot を使ってちゃんと仕事を片付ける方法がわかる、いいライブワークショップがたくさんあるよ
Tibo · 10月5日 17:20♥ 3894
30 TPS じゃなくて 50 TPS に到達してる。しかも今一番最適化されたトークナイザーも。モデルも、タスクをこなすのに必要なトークン数がかなり効率的なんだ！
Tibo · 10月5日 17:20♥ 2.1万
Day 1/ GPT-6 Astra と GPT-6.1 Sol のデフォルト速度を、Sign in With ChatGPT を使っている全プロダクトとパートナー（OpenCode、Pi、Amp、Devin……）まで含めて約50%速くしました。そっちは何もする必要なし、2時間以内に体感できるはず。
poteto · 10月5日 17:17♥ 2631
pstack の新スキル：v0.15.13 で /poteto-help 追加！もっと早く作るべきだったんだけど、pstack で何ができるか気になったら /poteto-help に聞いてみて！今まで書いたガイドを全部食わせたから、pstack のスキルや poteto-mode が役立つかわからないときは、とりあえず聞いて！
Tibo · 10月4日 12:30
37:23OpenAI’s Head of ChatGPT: We’re entering a new era of AI (again) | Tibo Sottiaux▶ YouTube · Lenny's Podcast
Tibo · 10月4日 04:59♥ 1.5万
よし、決めた。今やってるのは簡素化、効率を上げて使用量を増やすこと、画期的な機能、それか新モデルだけ。先回りして投資しないといけない時もあるけど、フィードバックははっきりしてる。みんなもっとシンプルにしたいんだよね。進めてる。
Tibo · 10月4日 04:35♥ 664
やってくれたこと - 保存不要なメールカテゴリをすべて一括で確認・削除 - 自分の仕事の種類に合わせたラベルを特定し、全メールに適切にラベル付け - バックグラウンドで関連する文脈を検索しながら、返信が必要なメールを一通ずつ案内してくれたそのおかげで、メールで直接届いたたくさんのフィードバックやリクエストを処理できた。いい土曜日だった。
Tibo · 10月4日 04:30♥ 2974
人生で一度もインボックスゼロを達成したことなかったんだけど、dot にアクティブな目標として手伝ってもらうことにしたら、ついにできた。どれくらい続くか分からないけど、最高の気分。
poteto · 10月4日 00:32♥ 82
あと、dr eggbot を使えば pstack をフル活用した高品質なエンジニアリング bot も作れるよ！
poteto · 10月4日 00:31♥ 4445
エージェントの振る舞いを形作る環境を直すんじゃなくて、エージェントをマイクロマネジメントしちゃう罠にはまりがちなんだよね。 pstack 0.15.9 で新しい /correct スキルが入ったよ：同じミスでエージェントを何度も直してるなら、パターンを見つけて、アーキテクチャ・型・チェックで直してくれる。コードベースにどんどん流れ込む commit って、好き勝手な方向にぐんぐん育つ盆栽みたいだなって想像するのが好き。やるべきなのはカオスに屈することじゃなくて、ちゃんとした制約で意図的に手なずけること 0.15.9 では他にも改善あり： • /architect：エージェントフレンドリーなアーキテクチャの設計方法を追加 • @brendangregg のベンチマークチェックリストをもとにした新スキル /benchmark-checklist pstack でより良いコードベース設計を始めるために grok bot に渡せるプロンプトはこちら： /poteto-mode 新しい Project agent を作って、アーキテクチャがもっとエージェントフレンドリーになるように私の repo をリファクタ＆再設計して。/correct と /architect の両方のスキルを使って過去の commit を見て、コード品質・パフォーマンス・バグのどれであれ、エージェントがはまりがちな一番よくある落とし穴を見つけて。関係あれば /recall スキルで過去の会話を探してコンテキストにしてもいい。レビュー用にハイレベルな計画を作って。未解決の疑問は私に投げずにプロトタイプを作って自分で答えて。実データに裏付けられた計画を持って戻ってきて。計画を承認したら、stack か full autopilot の playbook（どっちがいいか聞いて）で実行して
poteto · 10月3日 05:08
1:05:36LIVE: Poteto (creator of pstack) on shipping 1,000's of PR's a month at SpaceX▶ YouTube · Matt Pocock
poteto · 10月1日 08:35♥ 79
ねえ @bot 終わったら教えてもう寝る
poteto · 10月1日 08:33♥ 983
ボットに自分の脳をあげたから、自分が何をしたいか正確にわかってる。今のバグ修正はこれ。
2026年9月
poteto · 9月27日 13:00
45:04We Built Grok Bot. Here Are Our 14 Best Bots | Peng Zheng & Lauren Tan▶ YouTube · Peter Yang
Tibo · 9月9日 15:56
1:14:22Building Codex with Tibo Sottiaux▶ YouTube · The Pragmatic Engineer
2026年8月
Tibo · 8月24日 18:11
44:28How to Understand the Next Wave of AI Before Everyone Else | Tibo Interview▶ YouTube · Matthew Berman
poteto · 8月13日 22:00
28:41Are Agents About to Replace Software Engineering? | Lauren Tan and Roshan Sadanani▶ YouTube · MTS
2026年6月
Tibo · 6月22日 17:57
39:33The New Shape of Engineering▶ YouTube · Datadog
2026年5月
Tibo · 5月22日 15:30
31:08Head of ChatGPT & Codex: agents for normal people are HERE▶ YouTube · Silicon Valley Girl
Tibo · 5月14日 20:28
43:03Codex for Everyday Work: AI Agents Beyond Coding▶ YouTube · OpenAI

タイムラインを全部見る →