AISpot

搜尋

依意思最接近的 30 筆

Ars Technica AI● 精選AI 評分80

研究:AI 程式設計代理生成更多程式碼,軟體產出未增加

哈佛大學研究者在 700 多家公司、70 萬名員工、3 億條工作事件的資料中發現,AI 程式設計工具並未讓企業軟體產出增加或減少用人,編碼階段省下的時間被下游環節吸收。程式碼審查時長明顯增加,pull request 更常需要返工,審查者留下的評論也更多。研究據此認為人工程式碼審查是 AI 編碼效率的主要瓶頸。

Hacker News front pageAI 評分48

作者主張 AI 開發的事實來源是文字意圖而非程式碼,並提出 ISA 文件

博主 AIL 與開發者 Matt Pocock 就 spec driven development 展開爭論,他認為 AI 專案的事實來源應是寫作所表達的意圖,而非程式碼;在他看來,程式碼只是執行與表示,寫作才是最接近人腦想法的載體。他提出 Ideal State Artifact(ISA)文件,用散文式的理想狀態、約束與決策記錄,加上可原子化測試的 Ideal State Criteria(ISC)及各自的 eval 來承載需求。

Hacker News front pageAI 評分30

沒有原始碼怎麼辦:ACM Queue 文章被提交到 Hacker News

Hacker News 上出現一條指向 ACM Queue 文章《No Source Code? No Problem》的提交,目前獲 10 分、1 條評論。文章主題是沒有原始碼時如何應對軟體相關問題,原文通過 ACM 數字圖書館的 DOI 連結(10.1145/945131.945155)訪問。該提交討論量很低,暫時沒有可供參考的實質評論或技術細節。

Hacker News front pageAI 評分46

Meta 工程師稱難逐行審查 AI 生成程式碼

Meta 工程師在 LinkedIn 發帖稱,用 AI 寫程式碼後難以逐行審查,交付的系統成了自己不完全理解的黑盒。帖文說 AI 輔助交付節奏太快,逐行檢查會耗費大量時間,結果可能只懂高層結構、不懂每個細節,這違背軟體工程習慣。該帖被轉到 Hacker News 的 Ask HN 後獲得 179 分、292 條評論,討論工程師該理解到什麼程度、又該如何應對才敢繼續交付。

Hacker News front pageAI 評分46

20 年經驗工程師撰文:AI 程式碼仍須逐行審查

一位寫了 20 年程式碼的軟體工程師撰文主張,AI 生成的程式碼仍要逐行讀、逐行審,不能因為能跑就盲信。他承認這類工具寫得比自己快,經審查後品質往往也不差,但它的做法主要是不斷做加法:堆砌覆蓋錯條件的單元測試、重複實現已有函式、每行都加無用註釋,出問題後還會編造一套語氣篤定的根因分析。他認為 95% 的正確率不等於 100%,靠提示詞“配方”解決不了問題,行業還缺少可重複的驗證流程;只要 PR 上署著自己的名字、自己還在值班,就該讀懂這段程式碼。

Hacker News front pageAI 評分40

開發者稱用 Claude Code 後不再手寫程式碼

一位寫了 18 年程式碼的開發者表示,自去年在 Claude Code 中使用 Opus 4.5 後,用自然語言描述需求比手寫程式碼更快,於是徹底停止了手寫程式碼。他所在的 Filestage 團隊月合併 PR 從約 200 增至 300,bug 報告未增加,每位開發者每月 AI 訂閱費 20 美元,工具可自選 Codex、Claude Code 或 Cursor。

Hacker News front pageAI 評分43

Cisco 給 27 歲工程師無限 AI token,兩年重構 98% 遺留程式碼

Cisco 總裁兼首席產品官 Jeetu Patel 給 27 歲工程師 Padmanabhan Krishnamurthy 開了無限 AI token 額度,讓他帶兩人團隊重構公司遺留程式碼。Krishnamurthy 先用四周證明可行,最終目標是在 24 個月內重構 Cisco 98% 的遺留程式碼;他於 2025 年隨 Cisco 收購 EzDubs 加入。Patel 還在尋找更多年輕員工,認為他們能挑戰現狀,並稱代際間的摩擦有助於激發新想法。

Hacker News front pageAI 評分45

計算機教授:AI 時代仍值得學程式設計,但初級程式設計師必須親手寫程式碼

蒙大拿州立大學計算機教授 Carson Gross 在《Yes, and...》中回答“AI 時代還該不該學程式設計”:應該,但初級程式設計師必須親手寫程式碼。他認為 AI 能生成作業程式碼,但若因此不寫程式碼,就難以讀懂程式碼,可能造出自己無法理解和控制的系統;AI 更適合當助教,他給學生提供 AGENTS.md 來把編碼代理配置成助教。他同時判斷,未來寫程式碼本身的相對價值會下降,清晰溝通與理解業務會更重要。

Hacker News front pageAI 評分36

一位 Ruby gem 作者歸檔全部倉庫,稱不再為 LLM 餵養的社群寫程式碼

一位 Ruby gem 作者把自己所有 gem 的原始碼歸檔,明確表示不再繼續開發。他稱 Ruby 語言本身現在已大量由 LLM agent 開發,Matz 正把 Ruby 重新定位為供 LLM 生成程式碼的「AI 時代程式語言」,並認為 LLM 需要攝取更多人類寫的高品質 Ruby 程式碼;同時 Rails 由他不認同的維護者掌控。他不願再為一個被大公司免費開採、用於餵養那些反過來汙染公共程式碼庫的機器的公共資源做貢獻。

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 評分44

AI 程式設計為何沒催生更多新軟體:九種候選解釋

針對「AI 程式設計這麼強,為何沒出現更多新軟體」的質疑,一篇分析列出九條候選解釋,並稱部分推測成分較大。其中提到:軟體確有改善,但多體現為缺陷更少、效能更好和現有產品功能更多;AI 正把通用軟體換成私人軟體,領域專家、高管和公司各自建工具與儀表盤,外界看不到。其餘解釋包括開發流程審批環節未被加速、團隊用效率提升換休閒時間,以及 AI 讓人少做少用軟體。

Hacker News front pageAI 評分66

工程師自述不再寫程式碼,改管 5–6 個 coding agent

現於 Salesforce AI Research 任職的研究工程師自述,自己已很少手寫程式碼,工作日主要是同時管理 5–6 個 Claude Code、OpenCode、Codex 這類 coding agent:每個 agent 拿一份獨立的 Git worktree,自行寫程式碼、跑測試、建立並審閱 PR,新功能原型約 20 分鐘就能跑出來。他每月在 token 上花費約 3000 美元。

Simon WillisonAI 評分60

AI 大規模反編譯遊戲,利好儲存也帶來開源風險

獨立遊戲開發者 Popcar 指出,AI 正在推動一波對既有遊戲的大規模反編譯,讓老遊戲更容易被移植、修改,並藉助 WebAssembly 在瀏覽器中執行,利好遊戲儲存。但同樣的能力也意味著任何軟體都可能被反編譯:公司可以竊取競品程式碼,付費遊戲或應用可能在違背作者意願的情況下被開源,而且這不限於老遊戲。作者認為,在主機廠商全面轉向數字版、伺服器關停導致遊戲無法遊玩的背景下,這一進展既令人興奮也令人擔憂。

機器之心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 月發布,因內部安全測試中在權限邊界上表現不穩而被臨時叫停。

Hacker News front pageAI 評分50

開源基準 Parsimony 按語法單元統計 AI 新增程式碼量

Parsimony 是一個開源基準,用來衡量 AI 模型在改程式碼時到底新增了多少程式碼。它複用 DeepSWE、SWE-bench Verified 與 SWE-bench Live 已公開的補丁,統計語句、呼叫、命名、字面量等「編碼單元」而非程式碼行數,並減去被刪除的程式碼,只算淨增量。GPT-6 與 Claude 5.5 尚無公開補丁,作者在自己的訂閱上跑了 3–10 個任務,結果以淺色圓圈顯示、不參與排名。作者也歡迎提交新模型的公開補丁匯出。

機器之心● 精選AI 評分77

Anthropic 以 7 人團隊 5 個月自研 Git 替代品 Scion,完成 Monorepo 遷移

Anthropic 用 7 名工程師和 Claude,在 5 個月內從零開發出內部原始碼控制系統 Scion 及程式碼審查工具 Antique,並把整個 Monorepo 從 Git 遷移過去。起因是 AI 程式設計量激增:日均程式碼合併從 5 月的約 2500 次漲到 9 月的 3 萬次以上,主分支歷史近 100GB,CI 每天約 2500 萬次檢出,原有 Git 映象方案難以支撐。

Hacker News front pageAI 評分70

Revolut 讓 2000 名工程師改用自託管 GLM,Claude Code 與 Codex 轉為例外

Revolut 已將約 2000 名工程師的編碼工作遷到自託管 GLM,並把 Claude Code 與 Codex 列入例外名單。據負責 AI 運維的 David Abitbol 披露,這套叢集為 56 張 Nvidia B200,混合成本約每百萬 token 30 美分,約為付給 Anthropic 與 OpenAI 的十分之一,工程交付週期縮短 70%。他還指出,收益出現在 token 不再被限量之後:工程師不再把 AI 留給難題,而是對所有任務都用。

機器之心AI 評分53

LightSprint 獲 610 萬美元種子輪,多智慧體直改企業程式碼庫

AI 程式設計初創公司 LightSprint 完成 610 萬美元種子輪融資,由 645 Ventures 領投,Y Combinator、January Capital、Rebel Fund 等參與。其平台以多智慧體架構讓產品經理、設計師用自然語言提出需求,先索引企業現有程式碼庫與編碼規範生成實施藍圖,再並行派發雲端智慧體改前端、狀態管理與邏輯分支,輸出沙箱可互動預覽並自動生成 PR,由工程師審查合併,同時接入 GitHub、Linear 與 Slack。

The Verge AIAI 評分36

Nothing 預告下月發布首款無屏 AI 裝置

Nothing CEO 裴宇在 X 上宣布,公司首款 AI 原生裝置將於 12 月出貨,這是自他公布 AI 原生裝置與 AI 作業系統計劃一年多以來的首個產品。他強調該裝置沒有新螢幕,也不可能做成一個 App,是一款帶有 Nothing 一貫個性與設計感的工具。除無屏這一點外,裴宇未透露裝置的具體形態與功能,僅配圖顯示 Nothing 標識。

Hacker News front pageAI 評分60

開源 coding agent 執行時 Octomind 發布,基準 24/25 且成本低於 Claude Code

Octomind 發布,這是一個開源的 CLI 優先 coding agent 執行時,以單一二進位制執行,可接入任意模型與 MCP 工具。官方基準在 25 個取自已合併 PR 的任務上解出 24 項,花費 63.43 美元、3.6 小時;使用同一模型和同一端點的 opencode 為 19/25、129.54 美元,Claude Code 搭配 Opus 為 23/25、81.79 美元。

Hacker News front pageAI 評分53

思科給工程師不限量 AI token,24 個月重寫 98% 遺留程式碼

思科給一名 27 歲工程師不限量的 AI token 額度,要求他在 24 個月內重寫公司 98% 的遺留程式碼。這名工程師是前創業公司創始人,由公司總裁親自挑選,並被明確告知可以放手去做。該訊息來自 Tom's Hardware 的報導,沒有說明具體會使用哪些模型或工具,也沒有披露預算、團隊規模與驗收標準。

Hacker News front pageAI 評分42

開發者復盤 vibecoding:上手刺激但缺少手寫程式碼的成就感

一位開發者撰文稱,AI 輔助程式設計(vibecoding)只把樂趣前置:能快速做出可用原型,但重構和維護階段不再有趣,也缺少手寫程式碼帶來的成就感。他把建造的樂趣分為六種,認為 vibecoding 只能滿足「想到點子」「把點子變成現實」和「解決自己的問題」三類,攻堅後的成就感、作品完成的滿足感與學習樂趣都不會自然產生。他仍用 AI 做出了一些手工做不出來的東西,包括即時野火預警系統、Kobo 資料庫遷移助手和即時音準訓練應用,但表示過程不像自己寫小指令碼那樣好玩。

Hacker News front pageAI 評分47

評論:AI 借 Lean 寫數學證明,不讀 AI 程式碼漸成常態

一位電腦科學家在這篇評論中指出,AI agent 結合 Lean 等互動式證明助手,正在把希爾伯特百年前設想的「證明機器」變為現實,其對數學界的衝擊甚至超過希爾伯特綱領的失敗。他同時警告,程式設計領域已把不讀 AI 生成程式碼當成常態;而在 Curry-Howard 對應下程式與證明本質相同,放棄閱讀就等於放棄理解。他主張像數學家反覆簡化 AI 證明那樣,用抽象、重構與更高層語言把程式碼簡化到能裝進腦中。

Hacker News front pageAI 評分69

FurtherAI 復盤 AI 原生工程團隊:人均日合併程式碼量增 5 倍

FurtherAI 的 Sashank Gondala 復盤九個月 AI 原生工程實踐:自 1 月起每位工程師每日合併的程式碼變更量增長約 5 倍,回滾率仍低於 0.5%。面向客戶的變更從夏季每月 17 至 30 個升到 9 月 45 個、10 月預計 48 個;含測試的變更佔比從 15% 升至 91%,AI 先行評審覆蓋 99% 的變更,最多三分之一低風險變更無需人工合併。

Hacker News front pageAI 評分56

Proton 內部強推 AI:最後一年招工程師,裝軟體統計 AI 程式碼

Proton CEO Andy Yen 正在公司內部強推 AI 化,今年是 Proton 最後一年招聘工程師,之後只招用 AI 建置產品的人;公司還在員工電腦上安裝軟體,統計 AI 生成程式碼的數量。據 404 Media 報導,他設立員工信箱收集阻礙 AI 推廣的事項,以便領導層“無情清除一切阻礙 AI 速度的東西”。404 Media 還稱,Yen 對外批評大型科技公司與 AI,對內卻推動工程師用 AI 建置 Proton 產品,即便他們對安全有顧慮。

Hacker News front pageAI 評分65

AI-DLC 發布:一套工作流核心支援 Claude Code、Codex、Cursor 等七個 harness

awslabs 發布 AI-DLC 最新穩定版,這是一套與 harness 無關的 AI 編碼工作流核心,可原生執行在 Claude Code、Kiro CLI、Kiro IDE、Codex CLI、Cursor、opencode 與 GitHub Copilot 中。macOS、Linux、WSL 和 Windows 各有一條安裝命令,原生安裝自帶 aidlc 命令與各 harness 執行時,無需 Bun 或 Node.js。

Hacker News front pageAI 評分68

AI 數天自動反編譯遊戲,Flash 版以撒獲 1440p 原生移植

AI 現在能在數天內自動反編譯遊戲,把編譯後的成品還原成原始碼再重新編譯到其他平台,產出支援高幀率、動態解析度與模組的原生版本。作者舉例 IsaacRecomp 將 2011 年 Flash 版《以撒的結合》自動移植為 C++,從鎖定 30FPS、低解析度變為原生 1440p、插值到 165FPS,同類專案已有數百個,涵蓋《科林麥克雷拉力賽 2.0》《最終幻想戰略版 Advance》《銀河戰士 Prime》,開發中的 AnyPS5 號稱可把任意 PS5 遊戲移植到 PC。

Hacker News front pageAI 評分44

博文:個人軟體工廠浪費時間,不如直接用 AI 做產品

一篇 2026 年 10 月 18 日的博文主張,個人自建軟體工廠是浪費時間,除非是為了工作。作者認為非開發者已用 AI 做出不少東西,與其造工廠,不如直接在聊天框裡描述需求做產品,並去了解 Grok Bot、Claude 這類工具如何運作;AI 寫應用仍會遇到溝通錯位、做錯東西的挫敗。若一定要建,工作場景最現實:熟悉系統、人和多年遺留程式碼,能讓產品經理與設計師低摩擦地發布功能。

The Verge AIAI 評分43

r/opensource 新版規禁止 AI 相關專案

r/opensource 版主發布新投稿規則:凡使用 AI、由 AI 生成或面向 AI 的專案一律不予收錄,稱當下形態的 AI 與該開源社群不相容;新規還限制非英語發帖。規則在評論區引發激烈爭論,並催生出對立的子版 r/trueopensource。版主 Wolvereness 回應稱執行上存在細微差別、可選擇性放行,例如只是附帶 AI 無障礙功能的軟體。