Hacker News front pageAI 評分37
AI 工程師復盤十條 Go 語言約定
一篇題為 Go Conventions That Clicked Too Late for an AI Engineer 的文章在 Hacker News 被分享，作者以 AI 工程師的視角，梳理了自己事後才真正理解的十條 Go 編碼約定。帖子發布時僅得 3 分、暫無評論，正文需在 towardsdev.com 閱讀。
搜尋
依意思最接近的 27 筆
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 評分42
開發者復盤 vibecoding：上手刺激但缺少手寫程式碼的成就感
一位開發者撰文稱，AI 輔助程式設計（vibecoding）只把樂趣前置：能快速做出可用原型，但重構和維護階段不再有趣，也缺少手寫程式碼帶來的成就感。他把建造的樂趣分為六種，認為 vibecoding 只能滿足「想到點子」「把點子變成現實」和「解決自己的問題」三類，攻堅後的成就感、作品完成的滿足感與學習樂趣都不會自然產生。他仍用 AI 做出了一些手工做不出來的東西，包括即時野火預警系統、Kobo 資料庫遷移助手和即時音準訓練應用，但表示過程不像自己寫小指令碼那樣好玩。
Hacker News front pageAI 評分46
Meta 工程師稱難逐行審查 AI 生成程式碼
Meta 工程師在 LinkedIn 發帖稱，用 AI 寫程式碼後難以逐行審查，交付的系統成了自己不完全理解的黑盒。帖文說 AI 輔助交付節奏太快，逐行檢查會耗費大量時間，結果可能只懂高層結構、不懂每個細節，這違背軟體工程習慣。該帖被轉到 Hacker News 的 Ask HN 後獲得 179 分、292 條評論，討論工程師該理解到什麼程度、又該如何應對才敢繼續交付。
Hacker News front pageAI 評分45
計算機教授：AI 時代仍值得學程式設計，但初級程式設計師必須親手寫程式碼
蒙大拿州立大學計算機教授 Carson Gross 在《Yes, and...》中回答“AI 時代還該不該學程式設計”：應該，但初級程式設計師必須親手寫程式碼。他認為 AI 能生成作業程式碼，但若因此不寫程式碼，就難以讀懂程式碼，可能造出自己無法理解和控制的系統；AI 更適合當助教，他給學生提供 AGENTS.md 來把編碼代理配置成助教。他同時判斷，未來寫程式碼本身的相對價值會下降，清晰溝通與理解業務會更重要。
Ars Technica AI● 精選AI 評分80
研究：AI 程式設計代理生成更多程式碼，軟體產出未增加
哈佛大學研究者在 700 多家公司、70 萬名員工、3 億條工作事件的資料中發現，AI 程式設計工具並未讓企業軟體產出增加或減少用人，編碼階段省下的時間被下游環節吸收。程式碼審查時長明顯增加，pull request 更常需要返工，審查者留下的評論也更多。研究據此認為人工程式碼審查是 AI 編碼效率的主要瓶頸。
Hacker News front pageAI 評分45
Deferred 作者撰文：程式設計是藝術，開發者不該用 AI 寫程式碼
Deferred 的發明者發表《Programming Isn't Special》，主張程式設計是藝術，程式設計師應像作家、藝術家那樣拒絕用 AI 寫程式碼。他反駁「程式只是功能性的」這一辯護，稱其源自 John Berger 所說的「神秘化」，忽略了記者、文案等日常創作同樣是藝術。
Simon WillisonAI 評分25
Carson Gross：即便有 AI 工具，程式設計仍是可行職業
Carson Gross 認為，即便 AI 工具已經出現，程式設計仍會是一門可行的職業。他把程式設計歸結為兩件事：用計算機解決問題，以及在解決問題的過程中學習控制複雜度；在他看來，很難想像未來懂得用計算機解決問題、並控制這些方案的複雜度會比今天更不值錢。這番話發布於 2026 年 10 月 8 日，標籤涵蓋電腦科學、職業與 AI。
Hacker News front pageAI 評分46
工程師提出 Brain Sandwich 工作法：先思考、再交給 AI、最後自己審查
一位工程經理轉述同事 Emily 的做法，提出與 AI 協作的 Brain Sandwich 框架：先用自己的大腦，再把實現交給 AI，最後再回到自己的大腦。開始前要自己讀懂問題、明確大致方向，否則 AI 可能把方向帶偏，甚至讓人去解決本來不存在的問題；中間階段可以毫無顧慮地完全委託給 agent。收尾時必須自己讀 diff、判斷增加的複雜度是否值得、寫好 PR 描述——如果說不清改了什麼、為什麼改，就不該交給別人審查。
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
FORTRAN 曾被預言終結程式設計，coding agent 只是又一級臺階
作者認為 coding agent 不會終結程式設計：他每晚 10 點讓一個 agent 自行構思、建置並測試小專案，早上驗收；但遇到「過期卡退款怎麼處理」這類規則問題，agent 只能停下等人決定。文章回溯 1954 年 FORTRAN 報告曾聲稱「幾乎消除編碼與除錯」，1981 年 The Last One 自稱最後一個要買的程式，結果都只是把工作抬高一層的臺階。
Hacker News front pageAI 評分44
AI 程式設計為何沒催生更多新軟體：九種候選解釋
針對「AI 程式設計這麼強，為何沒出現更多新軟體」的質疑，一篇分析列出九條候選解釋，並稱部分推測成分較大。其中提到：軟體確有改善，但多體現為缺陷更少、效能更好和現有產品功能更多；AI 正把通用軟體換成私人軟體，領域專家、高管和公司各自建工具與儀表盤，外界看不到。其餘解釋包括開發流程審批環節未被加速、團隊用效率提升換休閒時間，以及 AI 讓人少做少用軟體。
Hacker News front pageAI 評分50
開源基準 Parsimony 按語法單元統計 AI 新增程式碼量
Parsimony 是一個開源基準，用來衡量 AI 模型在改程式碼時到底新增了多少程式碼。它複用 DeepSWE、SWE-bench Verified 與 SWE-bench Live 已公開的補丁，統計語句、呼叫、命名、字面量等「編碼單元」而非程式碼行數，並減去被刪除的程式碼，只算淨增量。GPT-6 與 Claude 5.5 尚無公開補丁，作者在自己的訂閱上跑了 3–10 個任務，結果以淺色圓圈顯示、不參與排名。作者也歡迎提交新模型的公開補丁匯出。
Simon WillisonAI 評分41
程式設計師寫程式設計訃告：coding agent 奪走解題樂趣
有程式設計師為程式設計寫了一份「訃告」，認為 coding agent 讓這份工作裡最有意思的部分消失了。Jeremy Scheff 的這段話說，程式設計曾是拿錢解邏輯謎題的好工作：謎題越難報酬越高，因為普通人做不了，開發者自己定策略、定時間線、定義什麼可能什麼不可能。如今 LLM 直接把這些題解掉，對只想把系統跑起來的人是持續饋贈，對以解題本身為樂趣的人則是真實的損失。
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 評分36
一位 Ruby gem 作者歸檔全部倉庫，稱不再為 LLM 餵養的社群寫程式碼
一位 Ruby gem 作者把自己所有 gem 的原始碼歸檔，明確表示不再繼續開發。他稱 Ruby 語言本身現在已大量由 LLM agent 開發，Matz 正把 Ruby 重新定位為供 LLM 生成程式碼的「AI 時代程式語言」，並認為 LLM 需要攝取更多人類寫的高品質 Ruby 程式碼；同時 Rails 由他不認同的維護者掌控。他不願再為一個被大公司免費開採、用於餵養那些反過來汙染公共程式碼庫的機器的公共資源做貢獻。
Hacker News front pageAI 評分49
隨筆：AI 瓦解知識社群，私人知識活動難以為繼
一篇隨筆主張，AI 正在瓦解支撐個人智力活動的知識社群，使長期、複雜的私人思考越來越難維持。作者以軟體工程為例：Claude Code 發布一年多，行業討論從編譯器、型別系統轉向 prompt、harness、loop，變得狹窄膚淺；寫部落格、開源庫或設計新程式語言也不再有人類讀者，內容只會被下一代模型消化。文章稱數學領域正經歷類似過程，並認為持續的知識活動需要共享成果與他人認可這兩種無法獨自獲得的輸入。
Hacker News front pageAI 評分36
觀點文章稱 LLM 時代 Common Lisp 是最佳語言
一篇觀點文章主張，LLM 讓寫程式碼不再耗時，瓶頸轉為編譯重啟的反饋迴圈，基於映象的 Common Lisp 因此成為最佳語言。作者稱 Common Lisp 可即時替換函式而無需重啟，出錯時進入保留完整棧與變數的偵錯程式而非崩潰，LLM 可據此修復並繼續執行。他稱自己用 Common Lisp 寫的應用比 Python 版本短約 6 到 7 倍，token 更少；代價是 Quicklisp 僅數千個專案，標準自 1994 年未更新。
Hacker News front pageAI 評分38
觀點：軟體工程師或一直是藍領技工，AI 終結其黃金期
一篇部落格文章提出，軟體工程師可能一直屬於藍領技術工種而非白領：兩者的本質都是製造或修理東西，只是開發者面對的是位元而非原子。作者認為這一誤判部分加劇了開發者當前的 AI 身份焦慮，因為歷史上藍領工人更能消化技術變革，白領反而受衝擊最大。文章還稱，開發者享受了約 30 年被當作明星的高薪與話語權，如今如同紡織工面對織布機、伐木工面對電鋸，需要學會使用新工具繼續謀生，手工活雖難再賺錢但仍可出於興趣保留。
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 本教科書的大部分內容。
Hacker News front pageAI 評分61
Rust 語言設計者：Rust 特別適合 agent 程式設計
一篇由 Rust 語言設計者撰寫的部落格文章認為，agent 時代程式語言設計依然重要，而 Rust 特別適合 agentic coding，並給出可改進的方向。文中引用資料稱，Meta 工程師今年寫的一手 Rust 程式碼是過去 9 年總和的兩倍，Rust 是增速第二快的語言。
Hacker News front pageAI 評分67
七位數學家撰文反對倉促用 AI 形式化全部數學
Jeremy Avigad、Kevin Buzzard 等七位數學家聯合發文，反對在 OpenAI 上週發布後興起的「儘快形式化全部數學」呼籲，認為做得不好會造成持久損害、浪費鉅額資源。文中舉例：Anthropic 稱 Claude 用 1300 萬行程式碼、11 天完成費馬大定理的形式化驗證，Buzzard 稱讚成果卻表示不會停下自己手頭的形式化工作；Math, Inc. 試圖劫持 Viazovska 球堆積形式化專案，原團隊最終棄用 AI 程式碼重做。
Hacker News front pageAI 評分68
JetBrains 分享程式碼語義搜尋 RAG 流水線經驗
JetBrains AI 團隊發文介紹其語義程式碼搜尋平台 Air Context 的 RAG 流水線，已投入生產環境。首篇聚焦解析、分塊與向量化：固定行數分塊會把 import 與函式體等無關程式碼混在一起，導致檢索錯誤，因此需按原始碼結構（如 Java 的 import、類定義、欄位與方法）劃分語義完整的塊。
Hacker News front pageAI 評分69
Faros 研究：高 AI 採用團隊 bug 增 54%、PR 評審耗時漲約 5 倍
Faros 2026 年研究分析 22,000 名開發者、4,000 個團隊兩年遙測資料後發現，AI 採用度高的組織每位開發者 bug 增加 54%，PR 評審中位耗時約漲 5 倍，每 PR 事故數超 3 倍；其 Q3 報告稱部分效應有所緩解，但驗證與運維成本仍在累積。
Hacker News front pageAI 評分25
1982 年 ACM 論文《程式設計的未來》被提交至 Hacker News
1982 年由 A.I. Wasserman 與 S. Gutz 合寫的論文《The future of programming》被提交到 Hacker News，連結指向 ACM 數字圖書館的原文頁面。該帖目前獲得 7 分，尚無評論。除論文標題、作者與出處外，帖子沒有提供摘要或正文內容，討論也未展開。
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…
Simon WillisonAI 評分21
Simon Willison 摘錄 Armin Ronacher 談 AI 與劣質軟體
Simon Willison 在部落格的引語欄目裡摘錄了 Armin Ronacher 的一句話：AI 雖然好玩，但過去 30 年業界寫下了太多糟糕的軟體，現在等於在為此付出代價。這條引語發布於 2026 年 10 月 22 日；該條目被歸入 security、AI、LLM 與 AI 安全研究等標籤。正文只有這一句引語，沒有進一步論證或資料。