Cheng's Tech & Life

兩年前想買第二間房的人，手上得先有房價的一半。 2024 年 9 月 20 日，央行第七波選擇性信用管制上路，自然人第 2 戶購屋貸款全國限貸 5 成。一間 2,500 萬的房子，銀行最多借 1,250 萬，剩下 1,250 萬自己想辦法。那就是當時每個人心裡跑的那套算術：總價乘上 0.5，看看戶頭夠不夠。 今年 9 月 17 日的理監事會之後，同一間房子、同一套算術，答案變成 750 萬。 那天央行第三季理監事聯席會議做了兩件事。政策利率連續第 10 次凍結，重貼現率維持 2%、擔保放款融通利率 2.375%、短期融通利率 4.25%。另一件是調整選擇性信用管制，自然人第 2 戶購屋貸款最高成數由 6 成調高至 7 成，隔天 9 月 18 日生效。工商時報那句寫得最白：「以2500萬元房屋為例，本來要準備1000萬元，現在手上自備款可以少準備250萬元」。 時間 第 2 戶最高成數 2,500 萬的房子要自備 2024-09-20 第七波上路 5 成 1,250 萬 2026-03-20 第一次鬆綁 6 成 1,000 萬 2026-09-18 第二次鬆綁 ...

有人要搬進 Anthropic 上班了。存取權限跟正職員工差不多，工作內容是紅隊測試、對齊評估、安全防護測試，也就是找出這家公司的模型哪裡會出事。這筆錢由 Anthropic 出。 這件事宣布的同一天，另外兩邊也在處理同一個問題：誰有資格查 AI 公司，查完之後誰要為結果負責。舊金山的聯邦地方法院收到一份集體訴訟狀，告的正是「大家講好要放慢腳步」這件事；加州州長則簽了一道行政命令，不等業界自己想清楚。三邊的答案彼此不相容。 一、出錢請人搬進來查自己Anthropic 在 9 月 18 日宣布跟 Accenture 合作，實際執行的是 Accenture 旗下專做 AI 的 Faculty。Faculty 帶隊的團隊會以「類似員工的存取權限」進駐 Anthropic 內部，做模型評估、紅隊測試、對齊評估與安全防護測試。官方的用詞是 embedded evaluators，內嵌評估員。 錢的部分要看清楚口徑。Anthropic 與 Accenture 各自承諾未來五年投入至少 10 億美元來建立這個領域的能力。是各自，不是合計；是承諾額，不是已經到位的錢。而 Faculty 這部分的...

兩套測試同時全綠，可以是「這份規格從來沒被測過」的證據。 AG-UI 是一個把 agent 接進前端應用的協定，底下有兩套 client，一套 TypeScript、一套 .NET。兩邊的測試都過。可是兩邊對同一件事的處置是相反的：串流裡跑出一個 client 不認識的東西，該丟掉、該原樣傳到應用層、還是該讓整條 run 失敗，兩邊的答案不一樣。 測試沒抓到。因為測試根本不是為了抓這件事寫的。 They exist because the rules in the specification were, until now, only ever tested against the implementation that happened to hold them — which is how the two clients ended up disagreeing about what to do with something they do not recognise, with both test suites green. 這段話就寫在 spec/1.0/confor...

你在輸入框打一個 @，再打 src/comp，那零點幾秒裡，是誰去把那串檔案清單撈出來的？ 設定參考答得很乾脆。內建的建議走的是 fast filesystem traversal，當場走訪檔案系統。沒有索引。 這件事拿抽屜來想最快。有人問你「那份合約在哪」，你從第一格抽屜開始翻，一格一格往下。抽屜只有五格的時候這是最快的做法，因為你連目錄都不用先做，做目錄的時間都夠你翻完了。抽屜長成一整面牆之後，同一招就開始拖。 官方文件自己把邊界寫出來了：a large monorepo may do better with project-specific indexing such as a pre-built file index。多大算大？文件一個檔案數、一個毫秒數都沒給，我也不補。 把這件事接到你自己那份目錄上fileSuggestion 的型別小到一眼看完：一個物件，type 永遠是 "command"，command 是要跑的 shell 命令。預設 unset，不設就是內建那份。 123456{ "fileSuggestion&quo...

AI 產業現在有兩種文件在流通。一種是公司自己挑指標、自己挑時點發出來的；另一種是別人從外面量到的，或者法院叫你交出來的。 9 月 17 日這一天，兩種都出現了，而且撞在一起。 一、三個人、一組訂閱，還有一個開在 OpenAI 私有 monorepo 裡的 pull request資安公司 Hacktron AI 在 9 月 17 日公開揭露，它的三人團隊（Harsh Jaiswal、Mohan Pedhapati、Rahul Maini）在 OpenAI 的 bug bounty 計畫裡串起一條完整的攻擊鏈，最後在 OpenAI 的私有 monorepo 裡開了一個無害的 pull request 當概念驗證。賞金 6,500 美元。 鏈子一共五步：Discourse 中 libheif 函式庫的 heap buffer overflow，經 HEIC/HEIF 圖檔上傳觸發，拿到論壇環境的遠端程式碼執行；再利用 OpenAI 的 SSO 實作缺陷提權到 ChatGPT／Codex 帳號，從被入侵的員工帳號存取已連結的 GitHub 整合。那個 pull reques...

「我憑什麼相信這份 log 沒被改過？」 這句一出來，前面準備的材料大概都用不上了。時間戳有、工具名稱有、參數也有，問題從來不在資料缺不缺。那份 log 是你的服務寫的，存在你的資料庫，由你的人維運。旁邊能墊的是 SOC 報告、政策文件、廠商自述，三份都在講「我們有流程」，沒有一份講得了那一刻發生了什麼。 agent 讓這件事更難。它自己決定叫哪個工具、叫幾次，事後要重建的是一串它自己排出來的動作，每次長度和內容都不一樣。 缺口是真的。有一份規格正在對著它寫，叫 TRACE，八月底進了 Linux Foundation。剩下的問題只有一個：你現在該不該動手。 先講一件發生在它自己身上的事。CHANGELOG 有一則在修的是文件錯誤：TraceSandboxAdapter 的 docstring 原本寫著 It will not let a caller claim hardware it does not have。實際上那個 sandbox 只驗形狀：platform 字串在列舉裡、measurement 長得像 sha256: 開頭就算過，quote、簽章、nonce 一個都...

終端機會閃，這件事比 Claude Code 老得多。 它會閃是因為更新畫面的方式很土：要改哪裡，就把那一片重新刷一遍。刷得夠快、範圍夠小，你的眼睛接不到；刷得慢一點、範圍大一點，中間那一下空白就露出來了。平常沒人在意，因為平常的終端機一行印完就不動了，沒什麼好刷的。 Claude Code 不是那樣用終端機的。它一邊跑一邊改畫面：spinner 在轉，tool output 一段一段串進來，上面已經印過的東西還會回頭被改寫。那個「刷一遍」於是變成每秒好幾次，刷的還是一整片。捲動位置會自己跳回最上面，畫面會抖。官方點名三個地方最明顯：VS Code 內建終端機、tmux、iTerm2。這三個的共同點是算繪吞吐量本來就是瓶頸。 字吐出去之後就歸終端機管，所以 Claude Code 對「畫面現在長什麼樣」幾乎沒有控制權，它想改一行字，只能把整塊重印。閃就是這樣來的。 轉捩點是一個很老的招數vim 開起來的時候，整個畫面會被換掉；離開的時候，原本那些東西原封不動回來。那叫 alternate screen buffer，htop 也是這樣。 終端機其實有兩塊畫布。一塊是你平常一行一行...

你上一次因為別人在蓋房子，買不到自己要用的東西，是什麼時候？ 9 月 16 日，昆士蘭州議會宣布了一份租約。它的長度用「幾年到期」來算沒什麼意義，得用工期算：蓋完要四到六年。 一、一份要蓋四到六年的租約，電先從煤跟天然氣來昆士蘭州長 David Crisafulli（Queensland Premier）9 月 16 日在州議會宣布，Anthropic 已經簽下長期租約，成為規劃中的 Western Downs Digital Park 的主要承租方。開發商是新加坡業者 Zerra DC。地點在昆士蘭 Western Downs 地區、Dalby 附近，基地約 725 公頃。ABC News 把耗電量的量級寫成「相當於 150 萬戶澳洲平均家庭」，那是一個比喻用的換算，不是說有 150 萬戶人家要搬過去。興建期預估 4 到 6 年。 用途寫得很明確：推論（inference），讓 Claude 回應客戶的請求，不是拿來訓練模型。 這個用途值得停一下，以下是我的判讀，報導沒有這樣論述。訓練是階段性的，推論是持續的，它跟著客戶的請求量走。用一座四到六年才蓋得完的設施去接一條跟著請求量...

一個跑在伺服器上的程式，半夜三點被叫醒，要去呼叫一個 API。對面問它：你是誰。 它的回答是一串字。那串字躺在環境變數裡，名字大概是 API_KEY 或 SERVICE_TOKEN，開頭幾個字元你閉著眼睛都背得出來。程式把它貼進 header，對面收到，放行。「證明自己是誰」這件事就這樣結束了。 嚴格講那不叫證明，叫出示。持有即通過，誰撿到誰就是你。在只有幾支定時腳本的年代這還算堪用，那些腳本做的事很固定：讀一張表、寄一封信、清一次快取，key 外流的代價估得出來。 現在跑在上面的東西不一樣了。它自己決定下一步呼叫哪個工具，把外面讀進來的文字塞回自己的上下文，一輪任務裡動到三四個系統。而它手上還是同一把 key，還是同一句「持有即通過」。 IETF 的 WIMSE 工作組（Workload Identity in Multi-System Environments）交了一份草案處理這件事，文件編號 draft-ietf-wimse-aims-00，標題是 “AI Identity Management System”，30 頁。它對上面那把 key 的判決寫得很不客氣。 憑證本身...

你用 Agent SDK 寫的那支 agent，這一刻很可能正在讀你的 ~/.claude/CLAUDE.md。你沒有叫它讀。 平常不會有人發現這件事。在自己的機器、自己的 repo 裡，agent 的行為跟你預期的一樣，因為你的預期本來就是那台機器上的設定養出來的。要等到把同一份程式碼交給第二個人跑、或是包成服務丟上另一台機器，行為才開始飄。那時候大家第一個翻的是 prompt 跟 model，很少人會回頭去看它是從哪個目錄啟動的。 反方向的抱怨也一樣常見：專案裡明明放了 CLAUDE.md、.claude/skills/、hooks，agent 卻像沒看到一樣。 兩種抱怨的方向完全相反，管它們的是同一個選項：settingSources。 省略它，等於你寫了三個值文件講得很白：省略 settingSources 時，query() 會讀跟 Claude Code CLI 一樣的檔案系統設定，包含 user、project、local 設定、CLAUDE.md 檔案，以及 .claude/ 底下的 skills、agents、commands。省略等同於 ["user...