AISpot

搜尋

依意思最接近的 30 筆

Hacker News front pageAI 評分42

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

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

Hacker News front pageAI 評分45

Deferred 作者撰文:程式設計是藝術,開發者不該用 AI 寫程式碼

Deferred 的發明者發表《Programming Isn't Special》,主張程式設計是藝術,程式設計師應像作家、藝術家那樣拒絕用 AI 寫程式碼。他反駁「程式只是功能性的」這一辯護,稱其源自 John Berger 所說的「神秘化」,忽略了記者、文案等日常創作同樣是藝術。

Hacker News front pageAI 評分45

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

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

Simon WillisonAI 評分25

Carson Gross:即便有 AI 工具,程式設計仍是可行職業

Carson Gross 認為,即便 AI 工具已經出現,程式設計仍會是一門可行的職業。他把程式設計歸結為兩件事:用計算機解決問題,以及在解決問題的過程中學習控制複雜度;在他看來,很難想像未來懂得用計算機解決問題、並控制這些方案的複雜度會比今天更不值錢。這番話發布於 2026 年 10 月 8 日,標籤涵蓋電腦科學、職業與 AI。

TechCrunch AIAI 評分53

簡訊 AI 助手盤點:Instinct 估值 100 億美元

越來越多 AI 助手不再需要單獨下載 App,直接用 iMessage、RCS 或簡訊就能對話並代辦任務。其中 Instinct 於 2026 年 9 月完成 10 億美元融資、估值達 100 億美元,並開始給使用者分配助手專屬信箱地址、上線代打電話功能,目前仍處私測。其餘選項裡,Folk 免費、Pro 訂閱 8.33 美元/月,Comma 開源且免費起步,Fambot 主打家庭日程並每晚推送次日摘要,Martin 訂閱 21 美元/月起。

Hacker News front pageAI 評分37

被裁工程師:AI 沒直接取代我,但公司不再需要這個崗位

一位被裁工程師撰文稱,Fable/Mythos 一檔的前沿模型並沒有比他更勝任工作,只是比他更便宜,讓僅剩的管理層有信心撐到被併購。他認為模型仍缺產品品味與對長期後果的預判,不足以替代資深工程師,但已足夠讓 Shopify 用機器生成、由資深開發者監督的程式碼把 react-native 應用改回原生 iOS 與 Android。

Hacker News front pageAI 評分67

七位數學家撰文反對倉促用 AI 形式化全部數學

Jeremy Avigad、Kevin Buzzard 等七位數學家聯合發文,反對在 OpenAI 上週發布後興起的「儘快形式化全部數學」呼籲,認為做得不好會造成持久損害、浪費鉅額資源。文中舉例:Anthropic 稱 Claude 用 1300 萬行程式碼、11 天完成費馬大定理的形式化驗證,Buzzard 稱讚成果卻表示不會停下自己手頭的形式化工作;Math, Inc. 試圖劫持 Viazovska 球堆積形式化專案,原團隊最終棄用 AI 程式碼重做。

Hacker News front pageAI 評分44

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

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

Anthropic Research● 精選AI 評分80

Anthropic 調查:91% 員工預期 2030 年 AI 能做出諾獎級發現

Anthropic 與經濟學家聯合調查顯示,91% 的 Anthropic 員工認為 AI 到 2030 年能做出諾獎級發現,美國成年人中這一比例為 39%。員工預期 AI 屆時能完成自己 75% 的工作,美國工人平均為 28%;在使用 AI 的工作任務中,員工預期 2030 年有 65% 交由 AI 完成,美國成年人預期為 42%。

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 本教科書的大部分內容。

The Verge AIAI 評分50

憑簡訊介面走紅的 AI agent Instinct 面臨 Muse 與 Dots 夾擊

8 月低調上線的 AI agent 產品 Instinct 靠簡訊式互動走紅,能代訂 DMV 預約、傳送跟進郵件,如今正面臨 Muse 與 Dots 的夾擊。Instinct 採用僅限邀請、不做營銷、幾乎不設官網的推廣方式,仍迅速成為 AI 圈最受關注的產品之一。隨後兩家實力強得多的公司先後推出功能大致相同的 Muse 和 Dots,這家初創公司能否延續熱度被打上問號。

r/ClaudeAI top of the dayAI 評分63

Anthropic 投 1 億美元培訓萬名工程師

Anthropic 宣布投入 1 億美元,通過 Claude Frontier Academy 培養 10000 名 Frontier Deployed Engineers,目標在 2027 年底前完成。首批學員來自埃森哲、貝恩、凱捷、澳大利亞聯邦銀行、德勤、麥肯錫、摩根士丹利和諾和諾德等企業。按人數計算,人均培訓投入約 1 萬美元。

機器之心AI 評分25

機器之心等發起雲程獎,面向 AI 本碩博在校生,申報 7 天后截止

機器之心聯合張江人工智慧創新小鎮、黃大年茶思屋科技網站發起的「雲程獎」進入申報倒計時,距截止還有 7 天,面向全球 AI 及 AI 交叉領域本碩博華人在校生。獎項設年度新星 25 名,以及三個特別獎(合計不超過 5 人,且不可與年度新星兼得),評選覆蓋計算機、數學與生命科學、材料、物理、神經科學、經濟學等方向。參評者畢業時間須在 2027 年 1 月及以後,可通過二維碼或文末「閱讀原文」報名、提名。

Ars Technica AI● 精選AI 評分80

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

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

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

Criteo 初級工程師:AI 時代真正的風險是永遠停在 Junior

在 Criteo 任職的初級工程師 Elise Baturone 認為,AI 不會讓軟體工程師消失,真正的風險是資深工程師消失、所有人永遠停在 Junior 階段。她把自己的 agent 調教成導師,用蘇格拉底式提問做理解檢查,並把「提問」和「review」當成需要自己練的技能:追問 agent 解釋設計選擇、引用來源、論證可疑方案,常能讓它自己發現錯誤。她承認這更費 token,但先弄懂再上線更省事;

機器之心● 精選AI 評分79

Google 面試試點允許用 Gemini,改考程式碼理解與 AI 熟練度

Google 正在試點允許候選人在軟體工程師面試中使用 Gemini,考察重點從手寫演算法題轉向程式碼理解與 AI 熟練度:閱讀、除錯並最佳化已有程式碼,並核實 AI 給出的修復方案是否成立。試點面向今年下半年美國部分團隊的初級和中級軟體工程師崗位,Google Cloud、平台與裝置等部門參與。Google CEO 此前披露,公司 75% 的新增程式碼已由 AI 生成、再由工程師稽核。

The Verge AIAI 評分58

Epic 用 AI 生成程式碼與美術做迪士尼遊戲,專案延期

據 Bloomberg 報導,Epic Games 計劃在一款尚未公布的迪士尼遊戲中使用 AI 生成程式碼與美術,該專案已從原定 3 月發售視窗延期。專案開發者被下達「AI 優先」指令,要求更多使用 Anthropic 的 Claude 等工具來完成遊戲;一位遊戲總監在內部訊息中稱「不再手寫程式碼」,並告知遊戲全部美術都將「由完整 AI 工作流生成」。Epic 發言人 Jake Jones 向 Bloomberg 表示,公司正在「擁抱 AI 加速的開發」。

Hacker News front pageAI 評分55

Epic 要求員工用 AI 完成延期的迪士尼遊戲

Epic Games 已通知員工,延期中的迪士尼遊戲將改為 AI first 專案,由全 AI 工作流生成、不再手寫程式碼。該專案包含漫威與星球大戰角色,原定今年 3 月發布,因低估所需人力而延期;此前 3 月公司已裁員 1000 人。據 Bloomberg 報導,員工得知訊息後十分震驚,有人希望這只是玩笑,Epic 發言人則確認正在推進 AI 加速開發,迪士尼未作回應。

Hacker News front pageAI 評分61

Rust 語言設計者:Rust 特別適合 agent 程式設計

一篇由 Rust 語言設計者撰寫的部落格文章認為,agent 時代程式語言設計依然重要,而 Rust 特別適合 agentic coding,並給出可改進的方向。文中引用資料稱,Meta 工程師今年寫的一手 Rust 程式碼是過去 9 年總和的兩倍,Rust 是增速第二快的語言。

Hacker News front pageAI 評分58

HackerRank 為 LeetCode 刷題道歉,推出 AI 面試官 Chakra

HackerRank 聯合創始人兼 CEO Vivek 公開為「讓人刷 LeetCode」道歉,並宣布推出 AI 面試官 Chakra。HackerRank 將把面試題從演算法題換成真實程式碼倉庫中的任務,評估標準從程式碼是否正確轉向 AI 使用能力與判斷力,候選人環境也從 IDE 改為 agentic 開發環境。候選人可像在真實工作中那樣使用 AI 工具解題,Chakra 隨後追問為何選擇該方案、會改什麼、如何驗證 AI 生成的程式碼。

Hacker News front pageAI 評分49

隨筆:AI 瓦解知識社群,私人知識活動難以為繼

一篇隨筆主張,AI 正在瓦解支撐個人智力活動的知識社群,使長期、複雜的私人思考越來越難維持。作者以軟體工程為例:Claude Code 發布一年多,行業討論從編譯器、型別系統轉向 prompt、harness、loop,變得狹窄膚淺;寫部落格、開源庫或設計新程式語言也不再有人類讀者,內容只會被下一代模型消化。文章稱數學領域正經歷類似過程,並認為持續的知識活動需要共享成果與他人認可這兩種無法獨自獲得的輸入。

Hacker News front pageAI 評分37

新工具追蹤 AI 領袖影片言論,Amodei 累計 54 條

有人做了一款工具,追蹤 AI 行業領袖在影片中的公開表態,並展示他們觀點隨時間的變化。目前收錄了 Dario Amodei(累計 54 條)、Alex Karp(51 條)、Marc Andreessen(49 條)、Sam Altman(45 條)、Palmer Luckey(40 條)、Satya Nadella(23 條)、Elon Musk(21 條)、Yann LeCun(6 條)等人,頁面同時標註本週新增條數,例如 Alexandr Wang 本週有 5 條。

X @OpenAIDevsAI 評分11

@OpenAIDevs: Collect funding and followers across seven levels in San Francisco 2030:

OpenAI 開發者官方帳號 @OpenAIDevs 發布預告,稱要在 2030 年的舊金山跨越七個關卡,收集資金與關注者。帖文正文只有這一句,並以冒號結尾,發布時間為 2026 年 10 月 7 日。文中沒有說明這是遊戲、活動還是產品,也未給出參與方式、時間、平台或獎勵等細節。

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 個定製模型,主要在開源模型上做後訓練和強化學習。

Anthropic Research● 精選AI 評分80

Anthropic 稱內部 AI agent 數量已達員工 6 倍,併發布 AI 預期調查

Anthropic 於 10 月 16 日發布兩份報告:其內部 AI agent 工作時長在 2026 年 3 月已超過員工,到 8 月 agent 數量是員工的 6 倍,同期初級崗位與技術崗招聘佔比下降,人均程式碼、銷售與合同處理產出上升,瓶頸轉向人的注意力。第二份報告對比近 1.1 萬名美國成年人與 Anthropic 員工的調查:91% 的員工認為 AI 能在 2030 年前做出諾獎級發現,美國成年人中僅 39%;

Hacker News front pageAI 評分35

Stripe 設計負責人談用 AI 避免殭屍 UI

Stripe 設計負責人 Katie Dill 在 2026 年 9 月 10 日舊金山 Lenny and Friends Summit 的演講中提出,AI 讓建置產品更容易,但產品容易淪為通用的殭屍 UI。她認為好設計仍取決於清晰的觀點、對使用者的理解和對細節的用心,並分享瞭如何把標準寫進 AI 工具、在初稿之外繼續編輯、用 AI 做出更原創的產品。該影片由 Lenny's Podcast 於 9 月 25 日發布,時長 21 分 47 秒。

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