他們的動態

  1. 2026年11月
  2. Tibo
    Tibo ·
    Dots 現在除了我們預設提供的那台小雲端電腦之外，還能控制很多台機器了。
  3. poteto
    poteto ·
    重置正在推出！
  4. poteto
    poteto ·
    很期待這週三上午 10:10（PT）在 @aiDotEngineer 的分享！ 我要講的是 grok @bot 團隊上個月怎麼提交了 11,000 個 PR，同時沒在程式碼品質上妥協。 希望在那裡見到你！
  5. poteto
    poteto ·
    我們正在進入程式語言與執行環境研究的文藝復興，還有軟體測試與驗證的黃金時代 是時候把所有軟體重寫一遍了
  6. poteto
    poteto ·
    下次試試這個「用 /create-formal-verification-skill 來替這些狀態機建模，每個子系統一個 skill。再用 /statechart 把我最重要的使用者流程畫出來」 兩個 skill 都在 pstack 裡
  7. poteto
    poteto ·
    我請 grok bot 做了一支影片，講 tibo.dog 裡的音樂是怎麼做出來的！一開始我笨手笨腳地描述我想要的東西（我做音樂的經驗是 0）：有點 gameboy 風的音樂，在主旋律的各種變奏之間無縫切換，就像我玩過的另一款遊戲（原神）那樣 有個幫我把目標講清楚的 prompt，是跟 bot 說「我沒有足夠的詞彙來描述我想要的東西」，再用 pstack 裡的 /sharpen skill。然後 /in-your-own-words skill 幫我確認它到底有沒有理解我想表達的意思 做這支影片的時候我也用了同一招，所以我的 agent 在做完整版之前先生出了分鏡和動態分鏡 知道用對的詞真的超有用
  8. Tibo
    Tibo ·
    出個 Pro 50 合理嗎？你們覺得呢？
  9. Tibo
    Tibo ·
    看到有些人搞混了，其實所有 Pro 方案都沒有 5 小時限制，和 Plus 相比的用量如下。 ✅ Pro 100 = 10X ✅ Pro 200 = 20X ✅ Pro 500 = 50X，還能用 ultrafast
  10. Tibo
    Tibo ·
    Cyber
  11. Tibo
    Tibo ·
    現在一個提示詞能做到的事，真是挺酷的 👀
  12. Tibo
    Tibo ·
    今天是週五
  13. Tibo
    Tibo ·
    後面還有更多，來參加我們 11 月 12 日上午 10 點（太平洋時間）的 Cyber at the Frontier 直播：
  14. poteto
    poteto ·
    暴論：你不需要軟體工廠，我也不太喜歡這個說法。那只是行銷。 你需要的只是好的軟體工程，把 token 投在對的地方。越確定性越好（也更省 token）。
  15. Tibo
    Tibo ·
    對數千萬行程式碼做形式化證明已經不再是一件荒謬的事，而且在設計新系統時，這應該被納入考慮範圍。
  16. Tibo
    Tibo ·
    我可以很有把握地說，人類其實不太擅長寫安全的基礎設施。最終會走向人人都能用上的超安全基礎設施和軟體，但在那之前，我們得先經歷一段動盪。
  17. poteto
    poteto ·
    Update 1 快要來了
  18. Tibo
    Tibo ·
    如果我沒算錯的話，這每天超過5億張圖片。
  19. Tibo
    Tibo ·
    超誇張的數據。我們現在在 ChatGPT 和 API 上每週生成超過 4B 張圖片，僅僅 8 週前還是每週超過 3B 張。
  20. Tibo
    Tibo ·
    來一起推進蓬鬆度的前沿吧
  21. poteto
    poteto ·
    雖然我滿看好形式化方法的，但我覺得還是值得降低一下期待，自己去研究研究（免責聲明：我不是這方面的專家）。它沒辦法保證你的程式碼沒有 bug，只能保證在某些假設下程式碼符合 spec，而 spec 來自人們想要什麼，不是來自數學。只要我們還在為人類寫軟體，就沒有什麼能證明你的 spec 是對的，只有你自己能判斷。 我在 pstack 裡做 /statechart 這個 skill，主要是因為它能讓你程式碼裡隱含的狀態機變得更明顯、更好讀，這樣你就能縮小 review 的範圍，在更高的層次去審：它到底符不符合你的意圖和目標？我做遊戲 tibo.dog 的時候狂用這個 skill，下面是故事模式的 statechart，我靠它抓出了好多 bug。 從這個角度看，我覺得模型檢查（像是 TLA+ 搭 TLC）對端到端理解和檢查系統的屬性滿有用的，而且你不用寫一大堆新的驗證程式碼。spec 不是你真正的程式碼，所以總有飄移的風險，但到目前為止我用它找到真 bug 的經驗都還不錯。我通常也會搭配經驗驗證（實際跑程式碼）來確認 bug 是真的。 其他類型的形式化驗證，像是定理證明（如 Lean、Dafny）、有界模型檢查（如 CBMC、Kani）等，各有各的取捨。證明能涵蓋所有可能的輸入，但只針對你寫明的屬性，而且要多寫很多程式碼、多花很多功夫。有界模型檢查可以直接跑在你真正的程式碼上，避免了飄移，但它只檢查到一定步數，所以比較擅長找 bug，而不是證明沒有 bug。 所以我覺得在近中期，你還是得替程式碼庫分層：約束和護欄（型別、lint 規則、API 設計、重構）、經驗驗證（測試、evals、真實使用），以及對真正需要的部分做形式化驗證。單靠哪一個都抓不完，但疊在一起能抓到多得多的問題，也能縮小留給你 review 的部分。 不過也許到了極限，bitter lesson 會勝出，每次都能完美地印出零 bug 的程式碼。就算是那樣，/statechart 在確認 agent 有沒有正確理解你的意圖這件事上，看起來還是很有用。還沒試過的話就去試試吧！
  22. Tibo
    Tibo ·
    我們最新的資安專用模型上線了。在許多資安相關的使用情境上，它是獨一檔的。透過 Daybreak Red 權限提供。
  23. Tibo
    Tibo ·
    想看 dot 的更新就追蹤 Samir
  24. Tibo
    Tibo ·
    能與這麼多了不起的人並肩工作，是一種榮幸。他們不會停歇，直到我們共同實現更美好的未來。
  25. Tibo
    Tibo ·
    我們組建了一支世界級的資安團隊，我很期待在未來幾週和幾個月裡分享更多我們的工作。
  26. Tibo
    Tibo ·
    歡迎 Cat。超期待很快就能一起做東西了。
  27. poteto
    poteto ·
    喔對了講清楚一下，這張PR圖是grok bot所有的PR，不只是我的
  28. poteto
    poteto ·
    幫你們做了一隻駭客貓
  29. Tibo
    Tibo ·
    電腦是有 RAM 的吧？ 歡迎 Pierre。我們把所有東西重新發明一次。
  30. poteto
    poteto ·
    我要在 @aiDotEngineer 的演講裡放一些好玩的投影片 非常興奮地分享我們怎麼在不讀程式碼的情況下發出海量程式碼（30倍），效能卻跟剛上線時一樣好甚至更好 當然還有很多要改進的地方，天花板也還遠遠沒到，但考慮到我們這種不停歇的發布速度和對打磨的高標準，我覺得我們在 agent 友好架構上的押注正在見效，把 slop 管住了 有趣的事實：10月大約有230人至少給 grok bot 提了1個 PR！
  31. Tibo
    Tibo ·
    ChatBLT
  32. Tibo
    Tibo ·
    事情會一次又一次又一次地改變。我們還處在很早的階段，現在的 agent 很厲害，但還是讓人很抓狂。等不及把問題啃下來，找回那種心流狀態。前面的路還很長。
  33. poteto
    poteto ·
    用 @bot 購物 用 @bot 省錢 用 @bot 上線 bot 讓工作跟生活都輕鬆超多。回本好幾倍都不只！
  34. Tibo
    Tibo ·
    Le GPT Fat
  35. poteto
    poteto ·
    可能有點暴論，但我現在覺得對抗式審查基本上就是浪費 token。不如把這些 token 花在實證驗證加形式化驗證上。我已經更新了 pstack，讓它少用 interrogate skill，之後我可能會乾脆把它拿掉 我發現空泛的 code review 沒什麼價值，agent 常常就迷失在各種挑毛病和 yagni 裡了
  36. Tibo
    Tibo ·
    我們可是懂點 Git-fu 的。團隊終於能稍微聊一聊這個了，很興奮。@tnm 和團隊太厲害了
  37. poteto
    poteto ·
    hire grok bot！想幫自己弄一個這樣的資料 bot 的話，就 tag @bot，叫它讀這篇貼文，帶你一步一步做。
  38. poteto
    poteto ·
    哇，tibo.dog 上線以來，非劇情模式已經玩了快 100k 局了！順帶一提，正式玩法比劇情模式好玩多了 如果你喜歡這個遊戲、想讓我繼續加內容，就在留言告訴我你的點子和回饋吧 🤍 上線以來我加了 17 種新語言，做了些平衡調整，讓它更好玩又有挑戰，現在還在升級所有視覺特效。我對新的裝備系統也有些想法！ 我也會盡快找時間詳細聊聊，我是怎麼這麼快做出這個遊戲、還打磨得這麼細的
  39. Tibo
    Tibo ·
    你的 dot 會為任務選擇最適合的模型，在工作的不同部分動用不同的模型。
  40. Tibo
    Tibo ·
    各位 resetters，先說一聲：我們正在擴充支撐 dots 的 frontier 模型陣容，包括 GPT-6 Astra 和 GPT-6.1 Terra，未來還會有其他模型。Terra 帶來速度和一些不錯的性格升級，也會幫我們把 dots 帶給更多人。
  41. poteto
    poteto ·
    cc @DavidKPiano 我覺得你會喜歡這些圖表
  42. 2026年10月
  43. poteto
    poteto ·
    更多小技巧： • routines 可以讓你的 bot 更主動。你可以設一個排程的，像是「每天早上檢查我們的 issue tracker 有沒有新 bug」，也可以設一個訂閱式 routine，在某件事發生時做出回應，像是「每次收到客戶 X 的信，就自動摘要，把他們的回饋和建議加到我的 notion 文件裡」 • routines 觸發太頻繁的話會很花錢。排程的我最多建議每小時一次，訂閱式的話應該先把事件過濾一下 • 叫你的 bot 幫你寫程式來自動化任務！程式效率高很多，比 bot 自己親自去做省很多 token。直接問你的 bot，你的工作流程裡哪些部分可以改成腳本和 skills。然後叫它把腳本存到一個私人的 github repo • 如果你用的是團隊方案，就在 slack 分享你的 bot！這是跟同事分享工作流程的好方法，也能重複使用團隊已經在維護的高品質 bot • 像主管一樣思考：要怎麼讓 bot 幫你做事，品質跟你自己做一樣甚至更好？如果你能把 bot 設定成這樣，你就能空出手去做更有野心的事
  44. poteto
    poteto ·
    這裡是一份簡短的 grok bot 指南，講我怎麼做出高品質的 bot，還有怎麼管理我的團隊。讓 @bot 讀一下這篇貼文，幫你的團隊也升個級！ • 把 dr eggbot 加進你的團隊！他是我用來做 bot 的 bot 設計師 • 你不需要很多 bot。幾個好的 bot 可能比一大群更有用、也更好管 • 在你教 bot 怎麼做任務的時候，讓它替自己建立 skill。這樣即使對話很長，它也能更穩定地完成。你甚至可以讓它幫你開一個私有 github repo，把所有 skill 存進去，獨立保存 • 加上 connector、用上 vault，把你工作用的所有工具都開放給它。你也可以讓 bot 自己開一個信箱，它就能自己註冊帳號，隔離得更乾淨 • 想想你手動做的所有工作，或者工作流程裡那些要把資訊複製貼回 bot 的步驟。直接問你的 bot，它可以怎麼替你做！ • 想像你請了一個實習生，你會怎麼帶他上手、怎麼讓他做得又快又對？先向你的 bot 自我介紹，說說你在做什麼，然後問它可以怎麼幫你自動化 還有我最喜歡的一招：用語音模式或轉寫功能！這是把一大堆資訊一次倒出來的好辦法。最後再跟你的 bot 說「用你自己的話說一遍」，確認它真的聽懂了
  45. Tibo
    Tibo ·
    Day 26/ 現在在手機上可以輕鬆切換多個帳號了，桌面端也快了。接下來兩天會有重置……備著呢……你們自己看著辦吧 👀
  46. poteto
    poteto ·
    快給我看看你們用 /statechart 做出來的各種酷炫圖表！還有用 /create-formal-verification 技能抓到的 bug pstack 在這裡就能裝
  47. poteto
    poteto ·
    我們得重建、重寫大量軟體，去適應一種全新的、更快的節奏。 以前程式碼是一滴一滴來的。很快（如果現在還沒有的話），程式碼會像一股連續不斷的水流一樣被寫出來，像一條狂暴的河，想怎麼轉就怎麼轉。 這不是什麼新鮮事：大廠早就因為工程團隊規模龐大而不得不面對這個問題。但現在 ai 讓每個工程師手上都有一支彈性極強、能力超強的勞動力。這現在是你的問題了，唯一的適應方法就是進化你的系統，讓 agent——即使是、尤其是那些不太了解正確做法的 agent——也能如魚得水。讓簡單的做法就是正確的做法。 你的程式碼庫正在變成有機建築。agent 的貢獻會圍繞著你設計的限制和護欄生長。好的軟體工程現在更重要了！而且不，這股連續不斷的程式碼流不是你只能無助旁觀的東西。野心大一點，去設計能駕馭混亂的系統、框架和語言。 為寫程式哀悼的時候早就過去了
  48. Tibo
    Tibo ·
    把你們善意的回饋發給這個人。
  49. poteto
    poteto ·
    pstack v0.15.36 裡的 /statechart 技能現在穩定可以用了！最好搭配 /create-formal-verification-skill 一起用，對狀態機和分散式系統做抽象建模來抓 bug。 這個技能裡有個迷你 tlc 編譯器，會解析、降階成一個小 IR，後端輸出 mmd 語法。想要的話也可以叫你的 agent 用你喜歡的任何風格畫圖，這個技能會叫它用 pele.run，主題可以隨便換，所以你可以做藍圖、手繪百科插畫風或任何你喜歡的樣子 這是 /statechart 技能的圖，還有我剛抓到的 2 個真實 bug。來試試看，跟我說你覺得怎樣！
  50. Tibo
    Tibo ·
    Day 25/ 即日起，我們將所有 Pro 100/200/500 方案及 Business Premium 的使用量上限全部加倍。 我們聽到了大家的反饋，不會削減 Pro 200 的使用量上限，所以你的 Work 和 Codex 用量維持不變。我們也會繼續為 dots 提供延伸上限，dot 的使用量仍將與預設用量分開計算。 當然，我們也會持續推出更好的模型及其他效率改進，讓你的實際可用量隨時間不斷提升。
  51. poteto
    poteto ·
    用 grok bot 來購物吧！
  52. Tibo
    Tibo ·
    Day 24/ 給你的 dot 傳訊息，就跟聯絡任何人一樣。轉傳、分享內容超方便，還可以留語音訊息。你甚至可以玩點花樣——「Hey Siri，傳訊息給 Iggy：<INSERT WILD REQUEST>」——然後坐等結果。
  53. Tibo
    Tibo ·
    團隊正在做這個，但還沒正式推出，抱歉造成困惑。計畫是今年某個時候把 Chat / Work 兩邊最好的能力整合在一起，不過我們會謹慎推進，慢慢來。 很快會有更多消息分享。
  54. poteto
    poteto ·
    grok bot 叫我發這個
  55. poteto
    poteto ·
    shipping 越來越猛了
  56. poteto
    poteto ·
    Grok Bot 團隊以驚人的速度交付高品質成果！我們一直在投入讓程式碼對 agent 友好，讓簡單的事就是正確的事。工程師、設計師和 PM 每天貢獻數百個 PR：修 bug、打磨使用者體驗、讓 app 更快更穩定。當然也不完美，我們也會犯錯，但目標是每次都學到東西、改進流程，讓我們的 bot 不犯同樣的錯誤。 我個人認為 Grok Bot 是目前業界所有 token 花在什麼地方的最好例子：品質和速度，不妥協。在關於 token 用量的討論中我覺得大家忘了軟體開發是座冰山——新功能只是維護高品質軟體工作的一小部分。 而且我們會繼續加速和改進！
  57. poteto
    poteto ·
    快雇用 Grok Bot！
  58. Tibo
    Tibo ·
    第22天/ Terra 回來了！ 這是我們第一個在寫作、個性和對請求的細膩理解上明顯更強的模型。 全方位都很能打，電腦操作非常強，而且在 API 和訂閱上的用量都是 6.1 Sol 的 2X。
  59. poteto
    poteto ·
    這週你們打算用 Grok Bot 推出什麼？
  60. poteto
    poteto ·
    這場關於怎麼為 agent 改進程式庫的演講裡，乾貨和金句太多了 • agent 靠回饋成長，而型別是最好的回饋之一 • 用型別讓非法狀態無法表示，這樣就能在整個程式庫裡強制執行全域規則 • 屬性測試、fuzzing，甚至全系統確定性模擬測試 • expect 測試：直接把東西印出來，在測試裡捕捉。讓行為變得可讀。這跟編譯器的 fixture 測試很像，能縮小需要 review 的範圍 • 形式化方法過去非常昂貴：seL4 大約有 8,700 行 C 程式碼，花了約 25 人年，每行 C 程式碼對應 23 行證明，但 agent 改變了 ROI
  61. poteto
    poteto ·
    真的很期待未來幾年程式語言會出現的各種創新
  62. Tibo
    Tibo ·
    提醒一下，網頁版 chatgpt 的外觀可以自訂，可以把它調得很療癒
  63. poteto
    poteto ·
    還好我之前就把這個很毒的傢伙封鎖了，那時候他就在對別人高高在上。而且 meta 有自己的 scm，我的 commit 又不是全部公開的 🤡
  64. poteto
    poteto ·
    唯一剩下的護城河就是 sybau 💔
  65. poteto
    poteto ·
    很少人知道這個
  66. poteto
    poteto ·
    好像打破了我的紀錄
  67. Tibo
    Tibo ·
    全部生效了。明天盡情瘋狂用 Codex 吧。這週還有好玩的。
  68. Tibo
    Tibo ·
    第20天/ 休息和重置
  69. poteto
    poteto ·
    這個我在我的 pstack 指南裡寫過！
  70. Tibo
    Tibo ·
    如果你想幫忙把 dots 擴展到 1B 用戶，而且以前做過類似的事，私訊我
  71. poteto
    poteto ·
    我最喜歡的事情之一就是讓我們的機器人們互相協作！只要把你的機器人加入 Slack，就像隊友一樣一起工作 🤍
  72. Tibo
    Tibo ·
    週六就是拿來邊喝咖啡邊修 bug 的。舊金山有什麼好地方可以去晃晃？
  73. Tibo
    Tibo ·
    來說說 codex cli 的更新。我們加了可重複使用的提示詞預設、內嵌的模型與權限設定，還有企業版 MCP 登入。我們也修好了恢復長工作階段時失敗的問題，並加入 Windows 企業代理伺服器驗證。 沒想到自 devday 以來，CLI 的使用量成長了 2X。
  74. Tibo
    Tibo ·
    Day 19/ 一些小更新。dots 的通話接通快多了，在 codex 和 work 裡對話中途切換推理等級也不會再讓快取失效了，另外我們也更新了 codex cli。
  75. poteto
    poteto ·
    用 Grok Bot 的時候要注意安全！
  76. Tibo
    Tibo ·
    明天太平洋時間早上10點前落地，還跟一個小版本一起。
  77. poteto
    poteto ·
    grok bot 團隊的出貨速度簡直誇張！請繼續給我們回饋和 bug 回報，我們會繼續努力改進和打磨 grok bot，讓它成為你能雇到最好的助理和員工
  78. Tibo
    Tibo ·
    明天太平洋時間上午 10 點前到。
  79. poteto
    poteto ·
    什麼都能上線。
  80. poteto
    poteto ·
    盯著這串貼文，根據你對我和我工作的了解，幫我提一些改進我的 bot 和工作流程的點子
  81. poteto
    poteto ·
    你們上週用 grok @bot 搞定了什麼？
  82. Tibo
    Tibo ·
    今天太平洋時間結束前某個時候上線。
  83. Tibo
    Tibo ·
    另外我們昨天剛加了簡報支援，快去試試看。目前先在 Pro、Business 和 Enterprise 開放，同時聽聽大家的回饋。
  84. Tibo
    Tibo ·
    ChatGPT Space 是什麼，這就是問題所在。有時候會尷尬得挺可愛，因為做它的就是真正的團隊。你們接下來想看什麼？
  85. Tibo
    Tibo ·
    還有，去更新你的 app，享受這個寶貝吧
  86. Tibo
    Tibo ·
    我們也為所有 pro 用戶大幅提升了 GPT-6 Pro
  87. Tibo
    Tibo ·
    Day 12/ 我們對 Codex & Work 做了一些改進，讓你能獲得更多有效用量。我們透過在子代理間複用上下文、延長上下文快取時間，以及優化請求路由來提高快取命中率，達成了這個目標。
  88. poteto
    poteto ·
    終於可以不用怕路邊停車了
  89. Tibo
    Tibo ·
    你好
  90. poteto
    poteto ·
    註解是沒有結構、也沒辦法強制執行的文字。agent 確實會讀註解，但它們常常被無視、會過時，還會給你的 agent 留一個後門，讓它去貼 OK 繃、搞 hack 或繞路，而不是好好解決。 用這個提示詞審查一下你的程式註解，找找能靠更強的型別、更好的 API 設計來改進程式碼的地方，再加上 lint 規則，這樣就不需要那些註解了！
  91. poteto
    poteto ·
    這裡有一些超強的 pstack 提示詞，可以拿來升級你的程式碼，先從這篇開始（提示詞在貼文最下面） 重構程式碼，讓它對 agent 更友善
  92. poteto
    poteto ·
    來試試 pstack！這是我自己的一套技能包，用來跟 agent 一起做嚴謹、自主的工程開發。我會一直調校、精簡，所以更新很頻繁 10 秒教學： 1. 執行 /setup-pstack，選好你的預算 2. 在任何想要嚴謹完成的 prompt 前面加上 /poteto-mode 3. 不確定該用哪個 pstack 技能時，就問 /poteto-help 4. 就這樣！
  93. poteto
    poteto ·
    用不了多久「讓你的 bot 跟我的 bot 聊」就會變得很常見！ 多人 Grok Bot 透過郵件的一些有趣用法可以是： • 除錯（你可以把 bug 報告發給我的 bot！） • 客服 • 預訂會議和活動 • 團購 • 在 craigslist 上買賣東西 你們都用 bot 郵件做過什麼？
  94. poteto
    poteto ·
    如果你是透過 grok bot 或 cursor 安裝的 pstack，它會自動更新！
  95. poteto
    poteto ·
    pstack 0.15.23 現已支援新技能 /in-your-own-words！非常實用，能確保你和你的 agent 在目標上保持一致，讓它清楚理解你的意圖。
  96. poteto
    poteto ·
    另外，請大家去看我的演講。
  97. poteto
    poteto ·
    一直讓我有點在意的是，有些人把 slop 當成是發生在自己身上的事，好像自己只是個無能為力的旁觀者，什麼都做不了 不好意思，你可是軟體工程師耶，你 literally 學會了怎麼讓沙子思考、讓電腦聽你指揮？！現在你卻說你對這件事沒辦法？拜託 想穿過這些噪音，你其實只需要知道兩件事： 1. 你得給你的 agent 一個能驗證自己工作的方式（我剛發過，就不重複了） 2. 你的程式庫就是記憶 第 2 點也不是什麼新鮮事，我們一直都有 lint 規則、診斷做得很好的編譯器和強型別系統、LSP 等等，幫我們寫出更好的程式碼。寫程式的人換成 agent 也沒什麼不同，你只是需要更多、更強的這些。 先別管 rules 和 skills，這些以後再加。 是的，你的程式庫對 agent 來說就是一種記憶！agent 特別喜歡在已經存在的東西上繼續擴充。所以你見過的每一個小毛病、每一個煩人的點，你從 agent 身上看到的每一個錯誤和壞模式，都得變成一條約束，否則 agent 就會像病毒一樣在你的程式碼裡不斷重複同樣的錯誤。然後你不斷觀察、不斷重複這個過程，直到你的程式庫被鎖得夠緊，就算是上下文很少的 agent 也能一發打出高品質的 PR。 更好的方向是重構／重寫你的程式碼，讓 agent 的反模式在類別上就不可能發生。把型別系統用起來，用那些能縮小架構搜尋空間的函式庫／框架，或者乾脆像我們為 grok bot 做的那樣，自己造一個框架，設計高品質的底層原語和想清楚的 API
  98. poteto
    poteto ·
    還發現了幾個小 bug，正在修，不過 0.70.2 裡那個修正才是你們桌面客戶端會休眠的最大原因
  99. poteto
    poteto ·
    這個已經修好了，0.70.2 已發布！正在推送中
  100. Tibo
    Tibo ·
    有了這次調整，使用訂閱額度時，我們不再對 GPT-6.1 Sol 收取長上下文費用。
  101. Tibo
    Tibo ·
    Day 7/ 透過 Codex & Work 使用 GPT-6.1 Sol 時，預設上下文長度我們已經調高到 500k，原本是 272k，大約提升了 80%。 之後還會再往上調，不過這次已經能減少壓縮（compaction）的次數，也更適合那些需要長時間記住大量上下文和細節的任務。我們仔細測試過，這是目前對大多數使用者來說最剛好的設定。想調高或調低還是可以自己改，GPT-6.1 Sol 的最大上下文長度是 1M。
  102. poteto
    poteto ·
    滿有趣的，好多人回我說可維護性跟整潔程式碼還是很重要。我倒覺得這已經不成立了，大家都該更新一下先驗，重新想想 2026 年的「好程式碼」到底是什麼意思。 整潔程式碼一直都是有代價的——效能。各種間接層、讓程式碼對人類好讀好懂，這些都不是免費的，常常要犧牲效能。我們以前能接受，是因為有摩爾定律，而且大部分程式碼都不在熱路徑上。 這些原則也來自人類維護程式碼的年代。那時候為人類優化很合理，但現在代理已經在寫所有程式碼了，就沒那麼合理了。我們其實很可能會發現、想出新的原則：對代理友善的架構原則（我打算很快多寫一些這方面的想法）
  103. poteto
    poteto ·
  104. poteto
    poteto ·
    還有一篇很有意思的文章，自從 @tomocchino 傳給我之後，我就一直會回頭再看
  105. poteto
    poteto ·
    tldr 所有程式碼都是垃圾
  106. poteto
    poteto ·
    程式碼庫裡一直都有隨便亂寫的東西。我們一直都能接受，因為除了任務關鍵的「硬」軟體（例如嵌入式），程式碼很少需要完美。 swe 是一種很特別的工程，因為你常常在打造一個不斷演化、幾乎像有生命的東西——使用者口味會變，你的心智模型會變，功能來了又走。 老實說，我和很多寫了很久程式的人一開始（像是 2024 年那時候）都懷疑 agent 會不會寫正式環境的程式碼。「那我們漂亮的程式碼庫裡混進來的那些垃圾怎麼辦？」 可是以前就有人類寫的垃圾，而且多得是！說真的，大多數人把「不是我寫的程式碼」叫垃圾。現實是 99% 的人（包括我自己）根本不知道好程式碼長什麼樣，更別說寫得出來。我認為好程式碼是： • 正確 • 沒有 bug • 跑起來又快又省成本 真正的好程式碼一直以來都又難又貴，因為有很長一段時間（也許 @bendlang 會改變這件事），程式碼並不是能便宜、形式化地保證同時具備這三個特性。這就是為什麼寫硬軟體更難更貴，因為看用途，你可能只有一次機會，所以一開始就得對。 但我們用的大多數軟體並不需要是好程式碼才有價值。事實上，我們用的軟體很可能大多都無法形式化驗證！我們用一些 bug 換速度和進展，所以靠測試和 o11y，採取更迭代的做法。這是好事！ agent 幫我們跑得更快，如果你願意接受，它也能幫我們寫出更好的程式碼。它不會是「好程式碼」（那還是很貴），但平均來說、規模化之後很可能好得多。 swe 的新手藝就是搞懂怎麼做到這件事。現在這是你的工作了！如果你用不用 agent 的生產力沒差多少，那你是哪裡做錯了。但現在接受它、把它當成學一整棵新技能樹的機會，還不算太晚。
  107. poteto
    poteto ·
    我同時開著的 cursor Project 太多了（現在有 16 個），以至於我最常用的提示詞已經變成 「/bro 把我上一則訊息之後發生的所有事都幫我補一下，如果有需要我處理的事項，給我足夠的背景（執行摘要），讓我能夠做決定」
  108. poteto
    poteto ·
    嘿 @bot，把這條引用串整條讀完，想想你能怎麼幫我的工作和生活出點子
  109. poteto
    poteto ·
    順帶一提，最近關於軟體工程技能的討論滿多的（像是 ruby/rust/elixir 那場論戰）。我有點糾結，一方面我確實覺得軟體工程的原則和模式還是很重要，但同時我也在想，會不會有一天它們就不再重要了。不是說它們沒用了，而是當你用 agent 的時候，你自己的直覺就能把空缺補上，靠的是一種直覺上的感覺，而不是明確知道它們在做什麼 如果這聽起來不太好懂，我想到的比喻是第一代 iphone。20 年前你得是專業人士、有昂貴的器材才行，現在只要一支手機加上一點創意，就能拍出能打動新觀眾的內容。我不知道這有沒有專門的說法，但我想叫它「技能壓縮」。就是以前被門檻擋住、只有專家才玩得起的東西，變得對一群新的創作者開放，還帶來全新的玩法。細節慢慢淡去了，現在的功夫不在於懂器材、會用器材，而在於你怎麼有創意地去用它 我們會看到一整代從沒看過、也沒寫過一行程式的新 builder 做出超厲害的東西
  110. poteto
    poteto ·
    我覺得軟體工程師面試大概可以濃縮成只有 2 輪技術面： • 系統設計（你能把自己的想法講得多清楚，你是不是真的懂怎麼把東西工程化） • 現場專案，用代理做出一個真的東西（你能不能把你的意圖轉化成高品質的成果） 以前問的其他那些，都已經沒必要了
  111. poteto
    poteto ·
    如果你無法標記 @bot，請用你的 Grok Bot 信箱登入 https://grok.com，然後連結你的 X 帳號
  112. poteto
    poteto ·
    問問你的 bot，或是在 X 上 @bot，讓它幫你搞定設定！
  113. poteto
    poteto ·
    如果你是程式新手，下載我的 bot 然後問它： 「幫我做一個工程師 bot，用 cloud agents 和 pstack 來處理寫程式的工作。它要建一個 project，把相關的任務歸在一起」
  114. poteto
    poteto ·
    來用 Grok Bot 寫寫程式吧！
  115. poteto
    poteto ·
    這是我所有 PR 的來源（截至今天）
  116. poteto
    poteto ·
    量確實重要 聽著，我懂。如果你在 agent 出現之前就是工程師，那你對拿程式碼行數和 PR 數量來衡量任何形式的生產力抱持懷疑，完全合理。我也同意！或者說，至少我以前同意。為了方便解釋，我會從一個至少 50 人的大團隊裡的工程師角度來講。 以前量不重要，因為我們看的是影響力。就算 PR 不多，你也可以有很大的影響：例如改一行設定，就可能幫公司省下幾百萬美元。 但在 agent 出現之前，我看到量被拿出來討論的時候，基本上都是針對極端狀況。差的一端可能是表現吃力的人，另一端可能是「寫碼機器」型的人。所謂寫碼機器，就是那種能把自己關在房間裡，出來時抱著一疊 PR、解決了一大堆問題的人。所以量確實重要，但只在分布的兩端，而且要和影響力一起看。 如果你在大型科技公司待過，你就懂我的意思。agent 的特點是，大公司的問題現在也變成中小公司的問題了。 agent 怎麼改變了這筆帳？嗯，現在每個人都有能力成為寫碼機器。你手上有超強的前沿模型，寫程式比我們任何人都好，速度也比我們快得多。在這樣的世界裡，如果你產出的 PR 數量還跟以前一樣，你難道不會停下來想想，為什麼自己沒有變得更有效率？外星智慧都來了，你卻還比不過一個人類寫碼機器？ 這又回到我為什麼一直在講信任。如果你沒下功夫去建立對 agent 產出的信任，就很難把生產力規模化。 沒錯，這種做法確實需要更多 token，但我是從「每單位智慧的成本」來思考的。在 agent 之前，這個成本非常高——你得雇很多領六位數高薪的軟體工程師來做事。token 現在還是貴，但算進智慧的成本，它很可能會隨著時間變便宜。今天看起來誇張的開銷，6 個月到一年後很可能就負擔得起了。一個用 agent 的工程師，能做幾十甚至上百個工程師的工作，成本只是零頭。 我覺得大家還沒真正意識到的現實是：軟體工程師的工作真的變了。我們的工作不再只是產出軟體（好啦老實說從來都不只是寫程式，但為了解釋先忍耐一下），而是打造那台寫軟體的機器。這種軟體工廠的概念，或者我喜歡叫它米其林廚房，現在還是個研究題目。這也是我喜歡分享的東西，不是為了炫耀，而是想讓你們看看，當你在大規模使用 agent 時投入大量嚴謹度，能做到什麼。
  117. poteto
    poteto ·
    想@到 @bot 的話，記得用你的 Grok Bot 信箱登入 grok.com，然後綁定你的 X 帳號！
  118. poteto
    poteto ·
    嗨 @bot，幫我留意 X 上大家用 Grok Bot 做的有趣東西，每天早上 9 點在 Slack 上傳一份摘要給我。如果有相關的內容，挑出最酷的點子，並建議我怎麼用它來改進我的工作流程。
  119. poteto
    poteto ·
    另外這個所有使用者都能用，不需要設定 X 連接器
  120. poteto
    poteto ·
    叫你的 Grok @Bot 幫你在 X 上盯著使用者對你產品的回饋！功能需求丟進你的 issue tracker，bug 回報交給 cursor cloud agent 或專案去分類跟修好 循環完成
  121. Tibo
    Tibo ·
    35:01OpenAI’s Tibo Sottiaux doesn’t want humans to be an ‘afterthought’▶ YouTube · Pioneers of AI
  122. Tibo
    Tibo ·
    Day 3/ 今天的重頭戲是 GPT-6 上線 Chat，不過今天也是個小小的慶祝日：Codex 和 ChatGPT Work 的活躍用戶創下 40M 新高。 正在幫大家的付費帳號發放一次存著的重置。明天見！
  123. poteto
    poteto ·
    ，我們也支援 @Atlassian。
  124. poteto
    poteto ·
    我很常聊 Grok Bot 在 Slack 上的用法，不過你知道嗎，你也可以把它加到 @MicrosoftTeams 裡？
  125. Tibo
    Tibo ·
    Day 2 小結／ 2.1/ 「Approve for me」（自動審查）現在已經包含在內，而且不佔用量。使用時大約會佔方案的 2-10%。對你也更好。 2.2/ 給開發者更簡單的 API。 2.3/ 會議紀錄已整合。 2.4/ 決策 API 已對開發者上線。會在應用程式裡用上，改善體驗。
  126. Tibo
    Tibo ·
    Day 2.2/ 好吧，這次改動小一點，但我們把在 API 上開發時的一些摩擦去掉了。祝你開發愉快。
  127. poteto
    poteto ·
    這一切都多虧了我們有一個高品質的驗證技能！用 pstack 自己做一個吧
  128. poteto
    poteto ·
    我剛把我們發版和 QA 流程自動化了！用 Grok Bot 我做了兩個 Team Bot：sandcastle，我的發版經理，和 poteto，我的工程師 bot。我把它們加到 Slack 裡，建了個新 channel 來管理發版。 先告訴 sandcastle 我要做一次 cut。它會 DM 所有 contributors，附上他們 PR 的連結，讓他們知道下個版本有哪些內容，有問題或反對可以直接 DM 回這個 bot。 然後 sandcastle 啟動 build，自動盯著它，並啟動一個自動化 fuzz swarm。一般是 10+ 個 agent 跑在 Grok 4.7 xhigh 上來執行 build、點來點去像真實使用者一樣使用它（用我們的 verification skills 和 feature map），其中一些是有引導的，另外幾個是 "chaos monkey" 隨機亂點看看什麼會壞。 發現問題時，我會讓它 @ 我的工程師 bot poteto，開一個 Cursor Project 來負責 triage 和修所有 high pri 的問題。看嚴重程度，我可能會讓它 cherry pick 修復到我們的 release branch 然後發一個 patch release，或者如果是已有的問題我也修但放到下個版本裡 這又多了一個 Grok Bot 幫我們團隊搞定的繁瑣任務
  129. Tibo
    Tibo ·
    Auto-review 就是「Approve for me」權限模式。要使用它，打開輸入框下方的權限選單，選擇「Approve for me」。
  130. Tibo
    Tibo ·
    用 auto-review 代替 full-access 吧。已經不是妥協了，而且你能睡得更踏實
  131. Tibo
    Tibo ·
    Day 2.1/ 我們把 Auto-review 對所有用 ChatGPT 帳號登入的使用者免費開放了。你可以在 設定 > 權限 > auto-review 裡開啟。Auto-review 改進了預設的沙箱設定——那個設定要求你核准每一個動作，除非你花很多時間去設定具體規則，否則很容易讓人決策疲勞。 它讓你可以在跑長任務的同時，由第二個 agent 審查主 agent 做的所有操作。它唯一的目的就是阻止高風險操作被執行，並防止出現不符合使用者原本意圖的、不想要的操作。這個 Auto-review 功能現在免費，而且不會佔用你方案的用量。
  132. poteto
    poteto ·
    快來報名明天的 Grok Bot 101！有很多超讚的直播工作坊，教你怎麼用 bot 把正事搞定
  133. Tibo
    Tibo ·
    速度已經達到 50 TPS，不是原來的 30 TPS，還搭配了目前最佳化的分詞器。模型在完成任務所需的 token 數上也相當高效！
  134. Tibo
    Tibo ·
    Day 1/ 我們已經把 GPT-6 Astra 和 GPT-6.1 Sol 的預設速度調到大約快 50%，涵蓋我們所有產品，以及透過 Sign in With ChatGPT 接入的合作夥伴（包括 OpenCode、Pi、Amp、Devin……）。 你那邊不用做任何改動，接下來兩個小時內應該就能感覺到。
  135. poteto
    poteto ·
    pstack 新技能：v0.15.13 推出 /poteto-help！ 這個早該做了，不過以後如果你想知道 pstack 能幫你什麼，直接問 /poteto-help 就好！我把自己寫過的所有指南都餵給它了，所以只要你不確定某個 pstack 技能或 poteto-mode 有沒有幫助——問就對了！
  136. Tibo
    Tibo ·
    37:23OpenAI’s Head of ChatGPT: We’re entering a new era of AI (again) | Tibo Sottiaux▶ YouTube · Lenny's Podcast
  137. Tibo
    Tibo ·
    好，就這樣定案。現在只做這幾件事：簡化、更高的效率換來更多用量、突破性功能，或新模型。有時候必須提前投資，但回饋很清楚，大家都希望東西更簡單。正在處理。
  138. Tibo
    Tibo ·
    它做了什麼 - 批量驗證並刪除了我不需要保留的所有郵件類別 - 識別出我工作類型對應的標籤，並對所有郵件進行了分類 - 引導我逐一處理需要回覆的郵件，同時在背景搜尋相關背景資訊，幫我把回覆寫對 在這個過程中，我處理了大量人們直接寄給我的回饋和需求。這是個不錯的週六。
  139. Tibo
    Tibo ·
    我這輩子從來沒做到過收件匣清零，直到我剛把它設成 dot 的一個主動目標，讓它幫我搞定。看看能維持多久吧，不過感覺真的很爽。
  140. poteto
    poteto ·
    另外，dr eggbot 也可以幫你做一個高品質的工程機器人，全程用 pstack 完成工作！
  141. poteto
    poteto ·
    人很容易掉進一個陷阱：去微管理你的 agent，而不是去修正形塑它行為的環境。 pstack 0.15.9 現在附了一個新的 /correct 技能：如果你一直因為同樣的錯誤去糾正 agent，它會找出模式，然後用架構、型別和檢查把問題修好。 我喜歡把快速湧進程式碼庫的 commit 想像成一棵盆栽，想往哪長就往哪長，長得超快。你要做的不是向混亂屈服，而是用對的限制有意識地馴服它 0.15.9 也改進了： • /architect：現在包含如何設計對 agent 友善的架構的說明 • 新增 /benchmark-checklist 技能，根據 @brendangregg 的效能基準測試清單 這裡有個 prompt，你可以丟給 grok bot，用 pstack 開始幫程式碼庫設計更好的架構： /poteto-mode 建立一個新的 Project agent 來重構並重新設計我的 repo 架構，讓它對 agent 更友善。它要同時用 /correct 和 /architect 技能翻過去的 commit，找出 agent 最常掉進的坑，不管是程式碼品質、效能還是 bug。如果相關，也可以用 /recall 技能找過去的對話當脈絡。它要做一個高層級的計畫給我審。它也應該靠做原型來回答自己的開放問題，而不是丟回給我。帶著有真實數據佐證的計畫回來找我。等我核准計畫後，用 stack 或 full autopilot playbook（問我要哪個）來執行
  142. poteto
    poteto ·
    1:05:36LIVE: Poteto (creator of pstack) on shipping 1,000's of PR's a month at SpaceX▶ YouTube · Matt Pocock
  143. poteto
    poteto ·
    嘿 @bot 弄好了跟我說一聲 我要去睡了
  144. poteto
    poteto ·
    我把我的腦袋給了 bot，它完全知道我想要什麼。我現在就是這樣修 bug 的。
  145. 2026年9月
  146. poteto
    poteto ·
    45:04We Built Grok Bot. Here Are Our 14 Best Bots | Peng Zheng & Lauren Tan▶ YouTube · Peter Yang
  147. Tibo
    Tibo ·
    1:14:22Building Codex with Tibo Sottiaux▶ YouTube · The Pragmatic Engineer
  148. 2026年8月
  149. Tibo
    Tibo ·
    44:28How to Understand the Next Wave of AI Before Everyone Else | Tibo Interview▶ YouTube · Matthew Berman
  150. poteto
    poteto ·
    28:41Are Agents About to Replace Software Engineering? | Lauren Tan and Roshan Sadanani▶ YouTube · MTS
  151. 2026年6月
  152. Tibo
    Tibo ·
    39:33The New Shape of Engineering▶ YouTube · Datadog
  153. 2026年5月
  154. Tibo
    Tibo ·
    31:08Head of ChatGPT & Codex: agents for normal people are HERE▶ YouTube · Silicon Valley Girl
  155. Tibo
    Tibo ·
    43:03Codex for Everyday Work: AI Agents Beyond Coding▶ YouTube · OpenAI
看完整時間線 →