Ars Technica AI● 精選AI 評分80
研究：AI 程式設計代理生成更多程式碼，軟體產出未增加
哈佛大學研究者在 700 多家公司、70 萬名員工、3 億條工作事件的資料中發現，AI 程式設計工具並未讓企業軟體產出增加或減少用人，編碼階段省下的時間被下游環節吸收。程式碼審查時長明顯增加，pull request 更常需要返工，審查者留下的評論也更多。研究據此認為人工程式碼審查是 AI 編碼效率的主要瓶頸。
搜尋
依意思最接近的 28 筆
Hacker News front pageAI 評分40
開發者稱用 Claude Code 後不再手寫程式碼
一位寫了 18 年程式碼的開發者表示，自去年在 Claude Code 中使用 Opus 4.5 後，用自然語言描述需求比手寫程式碼更快，於是徹底停止了手寫程式碼。他所在的 Filestage 團隊月合併 PR 從約 200 增至 300，bug 報告未增加，每位開發者每月 AI 訂閱費 20 美元，工具可自選 Codex、Claude Code 或 Cursor。
機器之心AI 評分50
OpenAI 預告 Astra 6.1，主打刪減屎山程式碼
OpenAI 產品負責人 Tibo Sottiaux 發帖預告未來模型會更擅長刪除和簡化程式碼，並在評論中確認 Astra 6.1「coming soon」。負責 coding post-training 的研究員 Rajan Agarwal 轉發該帖，並公開徵集使用者遇到的 sloppy code 與程式碼品質問題。《華爾街日報》此前報導，Astra 6.1 原計劃 10 月發布，因內部安全測試中在權限邊界上表現不穩而被臨時叫停。
Latent Space● 精選AI 評分75
Airbnb 稱 60% 程式碼由 AI 編寫，半數客服工單由 AI 解決
Airbnb CTO Ahmad Al-Dahle 披露，公司目前 60% 的程式碼由 AI 生成，功能交付量同比增加近 80%，工程師人均 PR 吞吐量提升約 1.6 倍；約一半客服工單已完全由 AI 處理，與 Q2 財報中近 45% 的數字一致。內部上下文圖譜 Everest 幫助雜貨配送服務在 8 至 9 個月內上線，機場接送僅用約 6 周。Airbnb 採用多模型策略，至少部署 10 個定製模型，主要在開源模型上做後訓練和強化學習。
Hacker News front pageAI 評分45
計算機教授：AI 時代仍值得學程式設計，但初級程式設計師必須親手寫程式碼
蒙大拿州立大學計算機教授 Carson Gross 在《Yes, and...》中回答“AI 時代還該不該學程式設計”：應該，但初級程式設計師必須親手寫程式碼。他認為 AI 能生成作業程式碼，但若因此不寫程式碼，就難以讀懂程式碼，可能造出自己無法理解和控制的系統；AI 更適合當助教，他給學生提供 AGENTS.md 來把編碼代理配置成助教。他同時判斷，未來寫程式碼本身的相對價值會下降，清晰溝通與理解業務會更重要。
Hacker News front pageAI 評分56
為什麼 coding agent 依然很笨：模型在進步，agent 卻拖後腿
一位開發者認為 AI 程式設計的瓶頸是 agent 而不是模型：模型生成程式碼的能力持續提升，agent 卻停在原地。他區分了模型（GPT Astra、Claude Sonnet、GLM-5.3）與 agent（Claude Code、Codex），並列舉四類問題：OpenCode 把約 1.5k 行的改動拆成 10 個子任務卻逐個序列執行；agent 不會按任務難度切換更便宜或更強的模型；Claude Code 說不清自身功能，只能聯網搜尋；Plan 模式產出的計劃零散、難讀。
Hacker News front pageAI 評分68
JetBrains 分享程式碼語義搜尋 RAG 流水線經驗
JetBrains AI 團隊發文介紹其語義程式碼搜尋平台 Air Context 的 RAG 流水線，已投入生產環境。首篇聚焦解析、分塊與向量化：固定行數分塊會把 import 與函式體等無關程式碼混在一起，導致檢索錯誤，因此需按原始碼結構（如 Java 的 import、類定義、欄位與方法）劃分語義完整的塊。
Hacker News front pageAI 評分42
開發者復盤 vibecoding：上手刺激但缺少手寫程式碼的成就感
一位開發者撰文稱，AI 輔助程式設計（vibecoding）只把樂趣前置：能快速做出可用原型，但重構和維護階段不再有趣，也缺少手寫程式碼帶來的成就感。他把建造的樂趣分為六種，認為 vibecoding 只能滿足「想到點子」「把點子變成現實」和「解決自己的問題」三類，攻堅後的成就感、作品完成的滿足感與學習樂趣都不會自然產生。他仍用 AI 做出了一些手工做不出來的東西，包括即時野火預警系統、Kobo 資料庫遷移助手和即時音準訓練應用，但表示過程不像自己寫小指令碼那樣好玩。
OpenCode releasesAI 評分43
OpenCode v1.18.35 發布：修復 xAI 工具結果圖片傳遞
OpenCode 發布 v1.18.35，核心改進是新增 canonical redirects，並提供 JSON 與 Markdown 兩種格式的 agent 可讀統計資料。本次修復讓 xAI 的工具呼叫結果可以攜帶受支援的圖片，不支援的圖片格式會被跳過，做法是把 @ai-sdk/xai 升級到 3.0.139。文件方面，Zen 文件新增 Fledge Alpha Free，生態外掛列表加入 opencode-supabase，該版本同時致謝 3 位社群貢獻者。
Hacker News front pageAI 評分50
開源基準 Parsimony 按語法單元統計 AI 新增程式碼量
Parsimony 是一個開源基準，用來衡量 AI 模型在改程式碼時到底新增了多少程式碼。它複用 DeepSWE、SWE-bench Verified 與 SWE-bench Live 已公開的補丁，統計語句、呼叫、命名、字面量等「編碼單元」而非程式碼行數，並減去被刪除的程式碼，只算淨增量。GPT-6 與 Claude 5.5 尚無公開補丁，作者在自己的訂閱上跑了 3–10 個任務，結果以淺色圓圈顯示、不參與排名。作者也歡迎提交新模型的公開補丁匯出。
量子位AI 評分46
聯想天禧 TianxiCode 登頂 SWE-bench-Live，問題解決率 71%
聯想天禧 AI 自研程式碼智慧體框架 TianxiCode 配合 DeepSeek-v4.1-Flash，在 SWE-bench-Live（Lite 分榜）以 71% 的問題解決率位列全球第一，並通過官方 Verified 核驗。該評測基於真實 GitHub 專案問題與可復現執行環境，官方會審查全鏈路智慧體執行軌跡並排查答案、測試用例洩露。
OpenCode releasesAI 評分53
OpenCode 1.19.0 發布，更新改為手動安裝，可升級至 OpenCode 2
OpenCode 發布 v1.19.0，使用者可通過 opencode upgrade --major 升級到 OpenCode 2；TUI 內改用 /update 來安裝更新或完成升級，更新不再自動安裝。本次還允許使用 OpenAI ultrafast 服務層級，並在檢查 PTY 是否存在前先校驗 PTY 連線來源與票據。另有社群貢獻者提交 Exo 用量統計歸屬修復及 Zen 文件條目增刪。
機器之心● 精選AI 評分79
Google 面試試點允許用 Gemini，改考程式碼理解與 AI 熟練度
Google 正在試點允許候選人在軟體工程師面試中使用 Gemini，考察重點從手寫演算法題轉向程式碼理解與 AI 熟練度：閱讀、除錯並最佳化已有程式碼，並核實 AI 給出的修復方案是否成立。試點面向今年下半年美國部分團隊的初級和中級軟體工程師崗位，Google Cloud、平台與裝置等部門參與。Google CEO 此前披露，公司 75% 的新增程式碼已由 AI 生成、再由工程師稽核。
Hacker News front page● 精選AI 評分80
500B token 反編譯遊戲：AI agent 編排的經驗與教訓
作者花 3 個月、約 500B token 讓 AI agent 把一款第一人稱射擊遊戲反編譯成 C++，最終程式碼可讀但語義錯誤。專案同時使用 Claude Max（20x）與 Codex Pro 訂閱，agent 跑在 Claude Code CLI 與 Codex CLI 裡，主力是 Sonnet 5，也用過 Opus 5.5、Luna、Sol、Terra；
Hacker News front pageAI 評分71
Anthropic 用 Lean 自動形式化費馬大定理，11 天生成 1300 萬行
數學形式化正從人工轉錄轉為 AI 自動形式化：Anthropic 於 2026 年 9 月 4 日宣布完成費馬大定理的自動形式化，11 天生成 1300 萬行 Lean 程式碼；OpenAI 9 月 8 日公布 Navier-Stokes 強制爆破定理時也附帶了 Lean 形式化。此前 Math Inc. 在 24 維球填充問題上生成約 50 萬行程式碼，Meta 的 ATLAS 專案則自動形式化了 26 本教科書的大部分內容。
Simon WillisonAI 評分25
Carson Gross：即便有 AI 工具，程式設計仍是可行職業
Carson Gross 認為，即便 AI 工具已經出現，程式設計仍會是一門可行的職業。他把程式設計歸結為兩件事：用計算機解決問題，以及在解決問題的過程中學習控制複雜度；在他看來，很難想像未來懂得用計算機解決問題、並控制這些方案的複雜度會比今天更不值錢。這番話發布於 2026 年 10 月 8 日，標籤涵蓋電腦科學、職業與 AI。
Hacker News front pageAI 評分46
Oxlint 外掛 ai-deslop 發布，攔截 AI 生成的 TypeScript 程式碼模式
npm 上出現新 Oxlint 外掛 ai-deslop，用一組規則拒絕 AI 生成的低證據、低訊號 TypeScript 程式碼模式。規則含 no-chained-type-assertions、no-unknown-parameters、no-module-mocking、no-poor-substring-tests 等約 20 條 recommended 項，以及 no-duplicate-consts、no-renamed-imports、canonical-clas…
Hacker News front pageAI 評分37
被裁工程師：AI 沒直接取代我，但公司不再需要這個崗位
一位被裁工程師撰文稱，Fable/Mythos 一檔的前沿模型並沒有比他更勝任工作，只是比他更便宜，讓僅剩的管理層有信心撐到被併購。他認為模型仍缺產品品味與對長期後果的預判，不足以替代資深工程師，但已足夠讓 Shopify 用機器生成、由資深開發者監督的程式碼把 react-native 應用改回原生 iOS 與 Android。
Hacker News front pageAI 評分44
AI 程式設計為何沒催生更多新軟體：九種候選解釋
針對「AI 程式設計這麼強，為何沒出現更多新軟體」的質疑，一篇分析列出九條候選解釋，並稱部分推測成分較大。其中提到：軟體確有改善，但多體現為缺陷更少、效能更好和現有產品功能更多；AI 正把通用軟體換成私人軟體，領域專家、高管和公司各自建工具與儀表盤，外界看不到。其餘解釋包括開發流程審批環節未被加速、團隊用效率提升換休閒時間，以及 AI 讓人少做少用軟體。
Hacker News front pageAI 評分18
Spinal 發布：面向任意程式碼庫的近即時預測介面
Spinal 是面向任意程式碼庫的近即時預測介面，演示以 torvalds/linux（148 萬次提交、9.6 萬個檔案）為樣本。它能標出補丁的改動規模與影響範圍：KVM 檢查重複 vcpu_id 的提交 56 天后被回退；mm 移除 is_cow_mapping() 波及 arch、drivers、fs 等 7 個模組，+107/−38；net selftests 新增 380 行手寫程式碼覆蓋 UDP splice 校驗和分片對齊。
Hacker News front pageAI 評分49
隨筆：AI 瓦解知識社群，私人知識活動難以為繼
一篇隨筆主張，AI 正在瓦解支撐個人智力活動的知識社群，使長期、複雜的私人思考越來越難維持。作者以軟體工程為例：Claude Code 發布一年多，行業討論從編譯器、型別系統轉向 prompt、harness、loop，變得狹窄膚淺；寫部落格、開源庫或設計新程式語言也不再有人類讀者，內容只會被下一代模型消化。文章稱數學領域正經歷類似過程，並認為持續的知識活動需要共享成果與他人認可這兩種無法獨自獲得的輸入。
Hacker News front pageAI 評分53
Claude Code 新增建議訊息功能，作者稱真正客戶是模型
Claude Code 會在任務完成後於輸入框預填一條建議的下一條訊息，例如 run the tests 或 commit this，使用者可直接傳送或先行編輯。作者認為該功能的真正受益方是模型：原樣傳送等於正樣本，編輯後的原文與改後版本構成偏好對，diff 顯示出預測錯在哪裡，從而在使用者正常工作中低成本產出 RLHF 所需資料，且來自真實程式碼庫而非合成基準。作者同時宣告這只是猜測，Anthropic 如何使用該訊號、會話是否用於訓練取決於套餐與隱私設定。
Hacker News front pageAI 評分38
觀點：軟體工程師或一直是藍領技工，AI 終結其黃金期
一篇部落格文章提出，軟體工程師可能一直屬於藍領技術工種而非白領：兩者的本質都是製造或修理東西，只是開發者面對的是位元而非原子。作者認為這一誤判部分加劇了開發者當前的 AI 身份焦慮，因為歷史上藍領工人更能消化技術變革，白領反而受衝擊最大。文章還稱，開發者享受了約 30 年被當作明星的高薪與話語權，如今如同紡織工面對織布機、伐木工面對電鋸，需要學會使用新工具繼續謀生，手工活雖難再賺錢但仍可出於興趣保留。
Google Developers blog● 精選AI 評分80
Gemini 4 Argon 通宵 11 小時最佳化 20 萬行 Python 庫，會話開銷降約 40%
Google 讓 Gemini 4 Argon 在 Antigravity 的 /goal 模式下無人值守跑了 11 小時，對約 20.5 萬行、近 800 個原始檔的 google/adk-python 倉庫做跨檔案效能最佳化，最終把長會話的記憶體 session 準備時間縮短約 40%，冷啟動包匯入加快 21%。該 PR 跨 32 個檔案提出 6 項最佳化，經人工評審後僅 2 項合入，4 項被拒。
OpenAI News● 精選AI 評分66
Asana 用 GPT-6 Astra 最佳化瀏覽器智慧體，成本降 76 倍
Asana 在 Codex 中用 GPT-6 Astra 改造 StackAI 瀏覽器智慧體工作流，在 GPT-6.1 Sol 上把單次執行的預估模型成本降至 0.47 美元、約 4 分鐘，比原生產環境所用的 Model B 便宜 76 倍、快 5 倍。144 次測試覆蓋四款前沿模型，最佳化手段包括把快取擴充套件到瀏覽歷史、把文字歷史預算放寬到 12 萬與 48 萬字元、截圖累積到 20 張再批次清理。
量子位AI 評分46
AI 程式設計模型集體滿口黑話：思維鏈壓縮省 70% Token
量子位發文吐槽，Fable、Sol 等與 Coding 沾邊的模型普遍輸出「15/15 全綠」「單腿啞火」這類黑話。文中分析，除 Coding 過擬合外，更主要的原因是廠商為省 Token 把思維鏈壓縮成「穴居人語」，OpenAI 最早這麼做，同樣一句話的 Token 消耗比白話文少 70%；Claude 自 Opus 4.6 起也開始如此。作者稱最新 Opus 5.5 語言能力回升明顯，而 Gemini 因輸出風格正常、排版層級清晰，被社群視為少數還能正常溝通的 AI。
r/LocalLLaMA top of the dayAI 評分42
專用推理引擎興起，放棄通用性換極致效能
近期出現一批極窄用途的推理執行時，包括 Strata、ninfer、DwarfStar、Splash、llamAmpere、gufo 等。它們刻意放棄 llama.cpp 與 vLLM 擅長的通用性，只針對少數模型甚至單一硬體家族（如 Strix Halo）做最佳化。作者認為通用執行時負責相容、過擬合執行時負責極致效能將成為常態，並有助於智慧的民主化與去中心化，讓現有硬體在特定配置下榨出最大輸出。
Hacker News front pageAI 評分45
Deferred 作者撰文：程式設計是藝術，開發者不該用 AI 寫程式碼
Deferred 的發明者發表《Programming Isn't Special》，主張程式設計是藝術，程式設計師應像作家、藝術家那樣拒絕用 AI 寫程式碼。他反駁「程式只是功能性的」這一辯護，稱其源自 John Berger 所說的「神秘化」，忽略了記者、文案等日常創作同樣是藝術。