AI 寫得愈快，查證的人手愈跟不上

每天花 1% 的時間，掌握科技脈動。

今日金句#

“Perhaps engineers will begin to treat any new software project with suspicion.” 「工程師也許會開始用懷疑的眼光看每一個新的軟體專案。」 — Kyle Kingsbury, Jepsen 作者（來源）

“Everything has been claimed to be proved. I expected to see a few of them in the list. But not all of them. Not all at once.” 「所有問題都被宣稱證明了。我以為清單裡會有幾個，沒想到是全部，而且是一次全來。」 — Hugo Duminil-Copin, 數學家（引自 Frank Calegari 的文章，來源）

今日主軸#

Kyle Kingsbury 在 ParticleDB 的 Jepsen 報告裡寫，LLM 讓人更難從文件和成熟度的外觀判斷一個專案可不可靠。同一天，Databricks 的工程師逐條檢查 Anthropic 公布的 Scion 數據，認為遷移前的幾個數字高得不尋常。Tom’s Hardware 報導的 Minecraft 實驗裡，50 個 GPT-6.1 Sol agent 三小時沒蓋成文明，其中四個 agent 花了 11 分鐘，替一塊骨粉指派「肥料操作員」。數學界碰到的是同一類問題：Frank Calegari 說 OpenAI 10 月 6 日放出的 700 多篇論文寫得很差，有些還是錯的，他的建議是把力氣放在數學界自己能控制的事上。產出的速度已經不是瓶頸，我每天讀這些東西，花最多時間的是確認原文真的這樣說。

必讀#

Kwi：KDE 的新終端機 — Lobste.rs Product
HackerBooks：Hacker News 留言裡被提到的書 — Hacker News Tools
局外人看 Scion 與 Mononoke — Lobste.rs Dev
市府取消合約，Flock 沒有回應，警察局長拔掉攝影機電源 — Hacker News News
Simon Willison 引用 Kyle Kingsbury — Simon Willison AI
19 歲實習生怎麼替 20 億美元的 AI 公司建出成長引擎 — Lenny’s Newsletter Startup
digital-human-koubo：一張照片加一句話生成數位人口播影片 — GitHub AI
50 個 agent 在 Minecraft 蓋文明，卡在官僚作風 — Hacker News AI
OpenAI 考慮把 data center 改名叫「AI compute campuses」 — TechCrunch AI
用 agent 蓋同一個 app，12 種 JavaScript 框架的成本差多少 — Hacker News Dev
Binance 在 63 億美元被盜後重開提款 — TechCrunch News
數學已經變了，數學界也該跟著變 — Hacker News AI

1. Kwi：KDE 的新終端機 #

摘要：KDE 開發者 Eike Hein 11 月 1 日宣布開始做新的終端機應用 Kwi，目標是在 KDE Plasma 上提供現代、快速、遵循最新 KDE HIG 的終端機。它建在 Ghostty 的 libghostty-vt 函式庫上，渲染走 Qt Scene Graph 的 Vulkan 或 OpenGL，介面用 Kirigami。作者表示相較走 CPU 渲染的 Konsole，視測試項目快 3 到 35 倍。目前功能比 Konsole 精簡，後續會照 KDE 的設計流程慢慢加。

要點 1：libghostty-vt 預計未來 4 到 6 個月內承諾穩定的 ABI/API v1.0，Neovim、Ghostel 等專案已經在用
要點 2：名字取自韓文「귀신」（鬼）的羅馬拼音 kwisin，logo 是一隻小鬼

💡 為什麼重要：用 Plasma 的人多了一個 GPU 渲染的終端機選項，libghostty-vt 這種只負責終端解析的函式庫也多了一個下游專案。

🔗 閱讀原文 | 來源: Lobste.rs

2. HackerBooks：Hacker News 留言裡被提到的書 #

摘要：Show HN 專案，把 Hacker News 留言裡被提到的書整理成可搜尋的目錄，作者是 roansh，與 Y Combinator 無關。資料來自 open-index/hacker-news 的留言和 Open Library 的書籍資料。網站有 Top all-time、Most recommended、Rising、Trends、For You 幾個頁面，瀏覽需要 JavaScript。昨天日報收的 HackerTube 是同一類做法，換成書。

要點 1：目錄可依作者與書名搜尋，快捷鍵 / 搜尋、j / k 切換書
要點 2：網站備註自己與 Y Combinator、Hacker News 官方無關

💡 為什麼重要：想從技術圈的推薦裡挑下一本書的人，有一份現成的排行可以翻。

🔗 閱讀原文 | 來源: Hacker News

3. 局外人看 Scion 與 Mononoke #

摘要：Anthropic 發文說自己做了集中式版本控制系統 Scion，五個月把 monorepo 從 git 遷出。作者在 Databricks 的 Source Control 團隊，天天處理大型 monorepo，他逐段檢查那篇文章。他說 Anthropic 描述高峰期營運「數百個」內部 git mirror，Databricks 同一量級的 repo 只用不到 10 個，不明白什麼工作負載需要那麼多。他也覺得文中遷移前的數字偏高，例如 pull latest 的 p50 從 87 秒降到 3.5 秒。另外 Rain Paharia 等人指出 Scion 與 Meta 的 Mononoke 很像，作者認為原文對前人工作只是輕描淡寫。

要點 1：作者認為「600 PB 的 git 流量」這類數字建立在 2,500 萬次 checkout 各 25 GB 的假設上，多數用戶端其實已有本地副本
要點 2：Anthropic 文中提到在 Slack 頻道讓 Claude 專注盯一個元件的遙測與日誌，稱為「superfan」

💡 為什麼重要：打算自建版本控制或改造 CI mirror 的團隊，先拿自己的負載對過這些數字，再決定要不要照做。

🔗 閱讀原文 | 來源: Lobste.rs

4. 市府取消合約，Flock 沒有回應，警察局長拔掉攝影機電源 #

摘要：The Drive 記者 Joel Feder 說，今年稍早四名警察根據 Flock 攝影機的追蹤結果錯誤攔下他和太太。Plymouth 市議會 9 月 22 日投票終止 Flock 合約，警局隔天停用所有帳號並寄出正式取消通知。一週多沒有收到 Flock 回覆，警察局長 Eric Fadden 下令拔掉攝影機的電源線，記者實地查看兩支，電源線確實是拔掉的。攝影機屬於 Flock，Fadden 說公司沒給任何拆除時程，The Drive 多次詢問也沒有得到回應。

要點 1：Flock 是訂閱制，硬體由公司安裝與持有，合約終止後硬體仍留在路上
要點 2：The Verge 另有報導指出，Flock 對其他城市的取消要求也持續沒回應

💡 為什麼重要：簽訂閱式硬體合約的市政府，終止條款裡要寫明拆除期限，不然只能自己拔線。

🔗 閱讀原文 | 來源: Hacker News

5. Simon Willison 引用 Kyle Kingsbury #

摘要：Simon Willison 11 月 1 日引用 Jepsen 作者 Kyle Kingsbury 在 ParticleDB 1.1.4 測試報告裡的一段話。Kingsbury 寫，LLM 的使用侵蝕大家對文件、軟體和開發組織的信任，過去用來判斷系統成熟的訊號現在更容易被偽造。他接著問維護者要怎麼確保軟體正確、文件準確，做完之後又怎麼向使用者證明品質。

要點 1：Kingsbury 預期工程師可能開始對任何新的軟體專案先抱持懷疑
要點 2：Jepsen 報告本身就是第三方驗證的一種做法

💡 為什麼重要：評估新資料庫的工程師，要看第三方的測試報告，README 寫得完整已經不能當證據。

🔗 閱讀原文 | 來源: Simon Willison

6. 19 歲實習生怎麼替 20 億美元的 AI 公司建出成長引擎 #

摘要：Lenny’s Podcast 這集來賓是 Hector Serrano，他 19 歲加入 AI 語音轉文字工具 Wispr Flow，現在是 Head of Content。他建了一個 50 位創作者的名單，每月產出 500 到 600 支付費 UGC 廣告，創作者拿廣告費的分成，最好的人月收入超過 13,000 美元。介紹頁寫到 Wispr Flow 過去一年營收成長 30 倍，並以 20 億美元估值募資。全文逐字稿為付費內容，這裡只依公開的節目介紹整理。

要點 1：節目主題包含付費 UGC 的操作步驟、什麼樣的行銷人才值得聘、為什麼 YouTube 是 SaaS 被低估的成長管道
要點 2：Serrano 的論點是最好的行銷人「對 AI 過敏」

💡 為什麼重要：做 SaaS 成長的人，可以拿 50 位創作者、每月 500 到 600 支廣告這組規模，對照自己的投放量。

🔗 閱讀原文 | 來源: Lenny’s Newsletter

7. digital-human-koubo：一張照片加一句話生成數位人口播影片 #

摘要：這個 GitHub 專案（MIT 授權，TypeScript，1,634 stars）是一個 Agent Skill，輸入一張照片和一句話，就產出有數位人主持的口播影片，流程包含腳本、對嘴型的 AI 主持人、音訊清理、字幕與剪輯包裝。影片生成走 Renoise MCP，剪輯用 Remotion 4。README 的範例是一支 27 秒的直播廣告，輸入只有一句話，成本 482 Renoise credits。

要點 1：附 5 種剪輯風格，README 的示範包含動態字幕、人物後方的文字圖層
要點 2：整套流程由 AI agent 自動串起來

💡 為什麼重要：做短影音的人可以看這個專案怎麼把生成與剪輯拆成 agent 能呼叫的步驟。

🔗 閱讀原文 | 來源: GitHub

8. 50 個 agent 在 Minecraft 蓋文明，卡在官僚作風 #

摘要：Tom’s Hardware 報導 Y Combinator 與 Olam Labs 的研究員，把 AI agent 群放進 Minecraft 測試。第一項是 50 個 GPT-6.1 Sol agent 三小時內蓋一個興盛的文明，第一個晚上殭屍殺掉不少 agent，之後群體趨於保守，很多原本的大任務被放棄。其中四個 agent 花 11 分鐘，替一塊小麥田上的一塊骨粉指派「唯一肥料操作員」。對戰項目裡，10 個 GPT-6.1 Sol 對 10 個 Claude Opus 5.5：GPT 的策略更積極，工具壞掉時 GPT 會診斷並分享繞過方法，幾個 Claude 則認定無法破壞方塊。Mindustry 七場比賽 GPT 贏 6 場。

要點 1：研究者說 GPT 群像一個蜂巢，Claude 群有單一領導者，決策方式比較民主
要點 2：實驗程式開源，作者建議可以試不同模型組合與群體大小

💡 為什麼重要：用 agent 群做軟體工程的團隊，可以先看這些實驗，因為研究者自己也說這種官僚行為跟用 coding agent 時看到的模式很像。

🔗 閱讀原文 | 來源: Hacker News

9. OpenAI 考慮把 data center 改名叫「AI compute campuses」#

摘要：TechCrunch 引用 Axios，OpenAI 計畫在週二期中選舉之後做一波公關。OpenAI 首席全球事務長 Chris Lehane 說，期中選舉是 2028 年的「電影預告片」，他預期 AI 會成為那一年總統選舉的核心議題。他提到的做法包含 AI「速限」、讓人把 AI 看成能增強自己能力的工具、推動美國參與制定全球標準，還有把 data center 改稱「AI compute campuses」。

要點 1：Amazon 與微軟已經表示，之後與地方政府談判不再使用 NDA
要點 2：Lehane 稱社區對 data center 的討論是「良好且健康的」

💡 為什麼重要：住在 data center 預定地附近的居民，接下來會在公開文件裡看到不同的名詞指同一種設施。

🔗 閱讀原文 | 來源: TechCrunch

10. 用 agent 蓋同一個 app，12 種 JavaScript 框架的成本差多少 #

摘要：Nolan Lawson 不滿意「這個框架對 agent 更好」這類沒有證據的說法，自己寫了 benchmark：請 Claude Code 用不同框架各建同一個 Pokémon app 五次，用規格測試擋掉作弊，再比開發時間、token、程式碼行數與 Lighthouse 分數。成本中位數最低的是 Hono+htmx（2.67 美元），其次 Astro（2.76）、Nuxt（2.82）；Next.js 是 3.14，SvelteKit 4.28，Angular 最高 4.97 美元。Angular 有兩次連可測量的 app 都沒做出來，只算了三次。

要點 1：SvelteKit 偏貴，作者推測是 agent 每次都去讀 v3 遷移指南，模型的訓練資料裡可能還沒有
要點 2：作者自己說明限制：只有一種內容型 app，離 Figma、Gmail 這類高互動網站很遠

💡 為什麼重要：打算因為「對 agent 友善」而重寫前端的團隊，可以先用自己的 app 照這個方法跑一輪。

🔗 閱讀原文 | 來源: Hacker News

11. Binance 在 63 億美元被盜後重開提款 #

摘要：Binance 在 11 月 1 日表示，分階段恢復提款。公司先前因 63 億美元的加密資產從錢包被盜，凍結了所有存提款。官方說已補回 95% 的被盜資產，剩餘的「流動性較差、需要較長時間籌措」，並承諾損失不會轉嫁給用戶。從 UTC 早上 6 點到下午 3 點半，公司處理了 46 億美元的提款與 10 億美元的存款，淨流出 36 億，約佔總資產的 2.1%。The Verge 的報導標題指出這起事件與北韓有關。

要點 1：比特幣的存提款仍是部分暫停，以太幣存款正常、提款部分暫停
要點 2：Binance 表示會公布更完整的事件報告

💡 為什麼重要：把資產放在交易所的用戶，要看那份事件報告怎麼交代被盜的原因。

🔗 閱讀原文 | 來源: TechCrunch

12. 數學已經變了，數學界也該跟著變 #

摘要：這是 Frank Calegari 寫的客座文章，刊在 Terence Tao 的部落格，原稿用另一種格式寫成再由 AI 轉換。Calegari 說 OpenAI 10 月 6 日釋出 700 多篇研究論文，是數學史上的分水嶺，AI 現在確實能在許多領域做出突破性貢獻。但論文寫得很差，也不符合社群對引用歸屬的期待，有些還是錯的。他認為數學界更能掌控的是聘人、發表與培養學生的方式。他拿 1972 到 1983 年有限單群分類做對照：問題解完之後，那個領域的熱度反而降了，但還有很多深的問題留下來。

要點 1：Calegari 引了 Hugo Duminil-Copin 的話，他公開提過的主要未解問題，全都在這批公告裡被宣稱已證明
要點 2：Calegari 指出，這批論文對 Langlands 計畫的核心問題幾乎沒有影響

💡 為什麼重要：數學系所與期刊要先決定怎麼審這種量的投稿，因為一次來 700 多篇，審稿流程得有新的做法。

🔗 閱讀原文 | 來源: Hacker News

中文技術圈#

1. 懷舊手記｜夏普 Telios：20 多年前，Handheld PC 中的「少數派」#

少數派

2. 語音、視訊皆能錄，LINE「通話錄製」限時免費開放 #

科技新報

3. 大齡轉職初階工程師紀錄 #

PTT Soft_Job

4. 噁心了，ChatGPT 要跟 Codex 共用額度了 #

V2EX

5. 註冊 Claude 就彈 KYC #

V2EX

6. 用 AI 逆向了搜狗輸入法，一鍵腳本讓搜狗輸入法 (v16.10) 完全斷網、禁止更新、禁止廣告 #

V2EX

開源精選#

1. andyhuo520/digital-human-koubo #

TypeScript | ⭐ 1,634

一張照片加一句話生成數位人口播影片的 Agent Skill（已收在今天的必讀第 7 則）。

2. Djihads80/Eglantine #

C++ | ⭐ 1,965

實驗性質很高的 Nintendo Switch 2 模擬器

3. paipiange/nvzhuang #

Go | ⭐ 1,861

1,407 張 AI 女裝參考圖集與虛擬試穿網站，支援自訂 API Key 與模型

4. haydenschmitty/floorplan #

JavaScript | ⭐ 1,698

由 Claude 或 Codex 畫出的程式碼互動式白話地圖

5. lexifina/global-law #

HTML | ⭐ 1,583

把各國法律放進同一份 git 歷史，每個國家是一個 submodule

6. kevinraymond/florilegium #

Lua | ⭐ 1,283

為 LuaLaTeX 用 Lua 程式產生的代爾夫特藍花卉頁邊裝飾

影音精選#

David Tisch：為什麼沒有基金經理想維持小規模 #

觀看數未提供 · 10 月 31 日 · 20VC

David Tisch 是種子基金 Box Group 的創辦人，基金目前有 2.75 億美元的種子基金與 2.75 億美元的機會基金，早期投資過 Cursor、Baseten 與 Clay。他在節目裡回應主持人過去對他低持股、高分散模式的質疑，認為集中型基金常說自己能拿下 90% 想投的案子，實際大概只有 20%。（逐字稿為全片取樣，以下為取樣到的內容。）

他說精實創業是「完全的假貨」，並認為參與後續輪次的權利是靠表現換來的
他描述募資市場的變化：過去早期輪次的 term sheet 是 3 到 5 份，現在可能 10 到 15 份，或是刻意只有 3 到 5 份但彼此真的在競爭
Box Group 的首輪持股從 1% 到 10% 都有，不設持股門檻、不坐董事會；他說最常遇到只能寫小支票的情況，是太晚才接觸到案子

今日觀察#

Databricks 的工程師在文章裡說，Anthropic 公布的 Scion 遷移前數字，例如 pull latest 的 p50 從 87 秒降到 3.5 秒，看起來偏高。Frank Calegari 看完 OpenAI 的 700 多篇論文，說其中有些是錯的，但他也承認 AI 現在確實能在許多領域做出突破性的貢獻。Kyle Kingsbury 則說 LLM 讓成熟專案的外觀更容易偽造。三個人追問的是同一件事：誰來證明這些東西是對的。Nolan Lawson 的 benchmark 是一個小例子，同一個 Pokémon app，成本中位數從 Hono+htmx 的 2.67 美元到 Angular 的 4.97 美元，這種差距要有人實際跑過才知道。我寫這份日報也是這樣，每個數字都回到原文找過一次才放進來。

覺得有用嗎？分享給一個也在追蹤新知的朋友。

也歡迎中長期投資者體驗新工具 → Moniit banner

今日金句#

今日主軸#

必讀#

推薦閱讀#

中文技術圈#

開源精選#

影音精選#

今日觀察#