AISpot

搜尋

依意思最接近的 30 筆

Ars Technica AI● 精選10/9 15:43AI 評分80

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

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

Latent Space● 精選10/2 10:04AI 評分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 page10/3 18:22AI 評分40

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

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

機器之心10/4 07:31AI 評分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 page10/8 05:48AI 評分45

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

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

Hacker News front page10/4 13:51AI 評分68

JetBrains 分享程式碼語義搜尋 RAG 流水線經驗

JetBrains AI 團隊發文介紹其語義程式碼搜尋平台 Air Context 的 RAG 流水線,已投入生產環境。首篇聚焦解析、分塊與向量化:固定行數分塊會把 import 與函式體等無關程式碼混在一起,導致檢索錯誤,因此需按原始碼結構(如 Java 的 import、類定義、欄位與方法)劃分語義完整的塊。

量子位10/9 04:53AI 評分46

聯想天禧 TianxiCode 登頂 SWE-bench-Live,問題解決率 71%

聯想天禧 AI 自研程式碼智慧體框架 TianxiCode 配合 DeepSeek-v4.1-Flash,在 SWE-bench-Live(Lite 分榜)以 71% 的問題解決率位列全球第一,並通過官方 Verified 核驗。該評測基於真實 GitHub 專案問題與可復現執行環境,官方會審查全鏈路智慧體執行軌跡並排查答案、測試用例洩露。

r/LocalLLaMA top of the day10/3 13:01AI 評分55

repopedia:MIT 許可的原生代碼知識圖譜工具

開發者發布 repopedia,一個 MIT 許可的原生代碼知識圖譜工具,用 pip 安裝後對倉庫建圖,結果存為普通 SQLite 檔案,tree-sitter 負責解析,無需伺服器、Docker 或 API key,程式碼不上傳。它可查詢函式呼叫者與改動的傳遞影響範圍,並生成程式碼庫 wiki,還提供 MCP server 供 Claude Code 直接查圖,一次呼叫返回 file:line。

Hacker News front page10/6 10:45AI 評分42

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

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

OpenCode releases10/6 16:18AI 評分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 位社群貢獻者。

r/ClaudeAI top of the day10/3 11:14AI 評分62

非開發者用 Claude Code 一個月為工廠搭生產系統

一位傢俱廠運營總監用 Claude Code 在一個月內做出生產管理 Web 應用,已供辦公室和車間日常使用。成果包括各部門排產看板、批次計劃、採購跟進、產能模擬等,共 386 次提交、約 17.5 萬行 Python 與原生 JS、約 2100 個測試、580 個 API 路由、280 張 SQLite 表,技術棧為 FastAPI + SQLite + HTML/JS,跑在廠內 Windows 機器上。

機器之心● 精選10/6 08:05AI 評分85

Meta 與微軟削減 Claude 使用,轉向自研 AI 程式設計工具

據 The Information 報導,Meta 和微軟正在減少員工對 Claude 的依賴,推動開發者轉向自家 AI 工具。Meta 內部 Claude Code 活躍使用者從 6 萬降至 3 萬,減少 50%,由自研的 Muse Code 和 MetaCode 補位,最近一個 28 天週期在 Claude Code 上花費超 1.05 億美元。

Hacker News front page10/9 16:04AI 評分49

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

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

Claude blog● 精選10/7 20:00AI 評分63

Block 用 Claude Fable 編排遷移,單次數千 PR 由數十個小模型執行

Square 與 Cash App 母公司 Block 的 AI 負責人 Bradley Axen 介紹了用 Claude Fable 5 編排大規模程式碼遷移的做法:單次遷移涉及跨倉庫的數百到數千個 PR、數百萬行程式碼,由 Fable 負責資料模型、API 規格等高層設計,再排程數十個 Opus、Sonnet 等更便宜的模型完成具體檔案修改與測試,全程跑在其開源協作工作區 Buzz 上。早期結果顯示前沿 token 集中在前期規劃、執行更多交給小模型,品質沒有下降。

Hacker News front page● 精選10/9 07:36AI 評分76

AI 代理一夜檢索 435 萬頁檔案,挖出被遺忘的隕石記錄

一名軟體工程師用 Claude Code 搭建 AI 流水線,在一夜 12 小時內檢索 435 萬頁荷蘭東印度公司檔案與舊報紙,發現一份被遺忘的隕石記錄、三隻未記錄的犀牛和未定位的火山噴發。他把 570 萬段文字轉成語義向量檢索,再用每百萬詞僅幾美分的小型決策模型 Jev 初篩(讀 5.9 萬條大象記錄約 3 美元),由 Claude Haiku 精讀並核對原始掃描頁。靈感來自歷史學家 Benjamin Breen 用 Opus 5.5 找到的 1615 年渡渡鳥目擊記錄。

claude.dev blog● 精選10/6 08:00AI 評分82

Claude Code 雲端會話隨訂閱提供,Pro/Max 可領 100/250 美元額度

Claude Code 雲端會話正式隨 Pro、Max、Team 與 Enterprise 訂閱提供,不額外收費,共用原有用量上限,每個任務在獨立虛擬機器上把倉庫克隆到新分支。Pro 與 Max 個人訂閱者可在 10 月 7 日前領取一次性獎勵額度 100 與 250 美元,額度 11 月 4 日過期,不能用於 Projects 或 Routines。會話可從 claude.ai/code、移動端、桌面端、終端和 Slack 啟動,完成後留在分支上供開 PR;

Hacker News front page10/6 14:54AI 評分48

Photopea 作者稱 GitHub 拒絕下架 AI 生成的盜版倉庫

網頁版圖片編輯器 Photopea 的開發者稱,GitHub 上存在數十個由 AI 提取其 JavaScript 程式碼、去除廣告後重新發布的倉庫,他於 2026 年 9 月 4 日提交 DMCA 下架通知,一個月後收到回覆稱無法確認違反 17 U.S. Code §1201,拒絕下架。作者表示這些第三方版本已導致使用者誤向他本人投訴,損害 Photopea 聲譽,並懷疑該回復是自動生成、無人真正稽核,正在考慮找律師走線下途徑。

X @OpenAIDevs10/7 16:12AI 評分42

@OpenAIDevs: See who’s building with plugin extensions: @Adobe, @Canva, @figma, @Shopify, @instacart, @Atlassian…

OpenAI 開發者帳號公布了一批正在建置 plugin extensions 的公司,包括 Adobe、Canva、Figma、Shopify、Instacart、Atlassian、tldraw 和 MagicPathAI。帖文只列出參與方,未說明這些外掛的具體功能、上線時間或適用平台,涉及設計、電商、協作與繪圖類產品。

Hacker News front page10/8 18:48AI 評分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 page10/4 13:54AI 評分30

資料視覺化工具目錄收錄 291 個庫,按 GitHub 等資料每日排名

一個社群維護的資料視覺化工具目錄上線,收錄 291 個圖表庫、地圖工具包、圖形視覺化與儀表盤工具,分 23 個類別,按 GitHub、npm、PyPI、CRAN 的即時資料每日重新整理排名。這些工具合計獲得 240 萬 GitHub stars,其中 171 個(60%)倉庫在過去 90 天內有活動。目錄還提供 MCP server、JSON API 和 llms.txt,方便 AI 助手基於最新資料推薦工具。

Hacker News front page● 精選10/6 18:22AI 評分86

OpenAI 公開內部模型產出的 722 篇數學手稿

OpenAI 公開了一個倉庫,收錄其內部模型產出的 722 篇數學手稿,分為 372 個族,並附部分 Lean 形式化與 10 項結果的推理摘要。這些成果來自對開放研究問題的評估,絕大多數由同一個未發布的內部模型完成,平均每個結果消耗 3 小時 ChatGPT Pro thinking 算力,評估期間共提出約 4000 個問題。倉庫內的結果處於不同驗證階段,並非都有 Lean 形式化,未形式化的部分可能存在問題;

Hacker News front page● 精選10/6 18:17AI 評分86

OpenAI 公開內部前沿模型數學成果與 Lean 形式化證明

OpenAI 於 2026 年 10 月 6 日發布由內部前沿模型產出的多項數學結果,以 GitHub 倉庫形式公開,併為其中許多證明提供 Lean 形式化驗證。倉庫同時給出 10 份模型推理摘要、以 ChatGPT Pro 用量折算的算力估算,以及嘗試題目數量的統計,平均每個結果約消耗相當於 3 小時 ChatGPT Pro 思考的算力。

r/ClaudeAI top of the day10/2 18:09AI 評分12

Reddit 網友曬出 Claude Code 沙箱虛擬機器配置

Reddit 的 r/ClaudeAI 版塊有使用者發帖展示 Claude Code 所用虛擬機器的配置,評論區稱這是模型在程式碼執行時可訪問的沙箱環境,有人曾開啟 appdata 深層目錄下的 .vhd 檔案檢視,確認是一臺標準虛擬機器。另有評論提到該虛擬機器內部代號為 Wiggle,並稱近期有人在 Reddit 上放出過相關檔案。

TechCrunch AI10/5 12:43AI 評分67

HackerRank 向客戶開放 AI 面試官 Chakra,已面試超 50 萬場

HackerRank 的 AI 面試 agent Chakra 結束約六個月 beta,週一起正式向企業客戶開放,測試期間已完成逾 50 萬場面試,Snowflake、Snorkel、Capgemini 等公司參與試用。候選人要在帶 AI 助手的畫布上處理真實程式碼倉庫任務,Chakra 會依據其操作追問思路,評估批判性思維、判斷力與「AI fluency」,即如何向 AI 描述問題、判斷其輸出並引匯出解法。

OpenAI Codex CLI releases● 精選10/8 14:58AI 評分60

Codex CLI 0.162.0 支援建立與列出託管 Git worktree

OpenAI Codex CLI 發布 0.162.0,啟用 worktree 功能後可從受信任的本地專案建立並列出託管 Git worktree。TUI 新增 /copy 跳轉與複製對話塊、Ctrl+Insert 複製選區,滾輪速度由 tui.mouse_scroll_speed 調整;自訂 Responses 相容模型提供方可配置即時聯網與遠端壓縮,Code Mode 增加流式 Promise 輔助與可選排序工具搜尋。

Hacker News front page10/8 03:05AI 評分45

OpenAI 數學倉庫撤回 3 項結果,新增 6 項 Lean 形式化

OpenAI 更新了其 GitHub 數學倉庫,撤回了 3 項已收錄的數學結果。同一批更新還新增 6 項 Lean 形式化、修改 19 項,倉庫目前約有 42% 的 top-line 結果完成形式化。維護者 Dan Roberts 公布了這一變動,並表示會繼續補充新的形式化內容,同時記錄發現的勘誤。

Hacker News front page10/6 14:00AI 評分53

Claude Code 新增建議訊息功能,作者稱真正客戶是模型

Claude Code 會在任務完成後於輸入框預填一條建議的下一條訊息,例如 run the tests 或 commit this,使用者可直接傳送或先行編輯。作者認為該功能的真正受益方是模型:原樣傳送等於正樣本,編輯後的原文與改後版本構成偏好對,diff 顯示出預測錯在哪裡,從而在使用者正常工作中低成本產出 RLHF 所需資料,且來自真實程式碼庫而非合成基準。作者同時宣告這只是猜測,Anthropic 如何使用該訊號、會話是否用於訓練取決於套餐與隱私設定。

Hugging Face blog● 精選10/7 20:00AI 評分78

用 ML Intern 幾天做出 6 個模型,9B 改寫器壓到 0.8B

Hugging Face 的 yuvraj sharma 用 HuggingChat 裡的 ML Intern agent,幾天內做出 6 個公開模型,其中把 Qwen-Image 2.1 自帶的 9B 提示改寫器蒸餾成 0.8B 版本,可在 CPU 執行,輸出有效率 99.7%,token 消耗約為教師模型的四分之一。該專案含 9B 模型標註 8,797 條樣本,算力成本 16 美元。

The Verge AI10/2 17:08AI 評分63

Meta 開源 Muse AI 硬體程式碼,可用 ESP32 自製裝置

Meta 開源了讓使用者自製 Muse AI 硬體裝置的程式碼,Muse 是其新的 AI agent。官方建議的玩法包括把 Muse 裝到彩色 E Ink 屏上顯示提醒、裝到 HDMI 棒上投到大屏,或裝到小觸控式螢幕裝置上做成類似 DIY Muse Charm 的形態。使用者可用現成 ESP32 板或 Raspberry Pi 配合官方 SDK,連線顯示屏、按鈕、感測器、執行器等外設。