AISpot

搜尋

依意思最接近的 30 筆

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 位社群貢獻者。

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 個任務,結果以淺色圓圈顯示、不參與排名。作者也歡迎提交新模型的公開補丁匯出。

NVIDIA blogAI 評分48

輝達報告:89% 電信運營商重視開源模型

輝達《State of AI in Telecommunications》報告顯示,89% 受訪者認為開源模型與軟體對公司 AI 戰略重要。運營商看重開源模型的可信任、可控與可定製,用於自主網路、客服等關鍵負載,並把閉源模型留給價值最高的場景;輝達同時發布 300 億引數的 Nemotron 3 Large Telco Model(由 AdaptKey 在開源電信資料集上微調),並提供基於 NeMo 的端到端微調流程。

Ars Technica AI● 精選AI 評分80

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

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

Hacker News front page● 精選AI 評分80

OpenCode 遭大規模蒸餾攻擊,1.4% 使用者受影響

OpenCode 確認昨夜發生安全事件,OpenCode Console 有 1.4% 的使用者受影響,官方已於當天上午通過郵件通知全部受影響使用者。官方稱此次事件與一次大規模蒸餾攻擊有關,目前仍在處置中,暫無法披露更多細節,正與 Anthropic、OpenAI 和 Google 合作修復。該公告帖已出現更新版本。

Hacker News front page● 精選AI 評分83

OpenCode 2.0 發布:MCP 預設啟用 Code Mode,新增後臺子代理

OpenCode 2.0 是一次大規模重構,核心新功能是 Code Mode:用 @opencode/codemode 包內建的極簡 JavaScript 直譯器,把 MCP 伺服器與 OpenAPI 端點轉成代理可呼叫的函式,2.0 中所有 MCP 伺服器預設啟用 Code Mode,一次指令碼就能串起多個工具呼叫,減少往返。服務端也改為在本地自動以單一後臺程序執行,TUI、Web 與桌面端共用同一程序,並推出 @opencode/client 客戶端包與從頭重寫的 API。

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 文件條目增刪。

TechCrunch AI● 精選AI 評分82

OpenCode Console 遭入侵,1.4% 使用者 API key 洩露被盜刷

OpenCode 的線上平台 OpenCode Console 遭攻擊者入侵,1.4% 使用者的 API key 洩露,有開發者在 OpenAI、Anthropic、Google 帳戶上被扣款數百美元,少數超過 1000 美元。Anthropic 與 Google 已封禁相關 key,OpenAI 表示配合恢復訪問並退還額度,OpenCode 稱退款正在處理,並要求受影響使用者直接向各服務商重新簽發 key。

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

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

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

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 page● 精選AI 評分86

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

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

機器之心● 精選AI 評分67

AIPOCH 開源科研平台 Open-Science,推出 .science 研究過程包

AI 科研平台 Open-Science 由 AIPOCH 以 Apache License 2.0 開源發布,同時推出 .science 軟體包格式。.science 把選定的對話分支、檔案版本、Notebook 記錄與驗證證據整合成一個可移植檔案,可分享、遷移到另一臺機器,或作為只讀記錄匯入評審,相容 RO-Crate 標準,資料預設本地儲存,不會自動執行程式碼或恢復憑據。

機器之心● 精選AI 評分91

OpenAI 一次公開 722 篇 AI 數學論文,僅 42% 完成形式化驗證

OpenAI 在 GitHub 公開了 722 篇由內部未發布前沿模型生成的數學手稿,涵蓋數論、代數幾何、分析、組合數學等方向,其中約 300 項核心結果完成 Lean 形式化驗證,佔 42%。公司稱模型共嘗試超過 4000 個問題,一項典型成果平均消耗約 3 小時 ChatGPT Pro thinking 算力,但未公開所用模型與提示詞。

Hacker News front pageAI 評分36

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

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

機器之心● 精選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 映象方案難以支撐。

X @OpenAIDevsAI 評分18

@OpenAIDevs: Cool projects our community is cooking with Codex:

OpenAI 開發者官方帳號發推表示,社群正在用 Codex 做出不少值得一看的專案,並以「Cool projects our community is cooking with Codex」作為開場。但推文正文僅包含這一句,沒有列出任何具體專案名稱、用途、程式碼倉庫或上線時間,也沒有說明 Codex 本身是否有新功能或額度變化。

機器之心AI 評分53

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

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

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。

X @OpenAIAI 評分43

OpenAI 稱新模型強化 COBOL、Fortran 等老舊語言的遷移能力

OpenAI 表示,最新一輪模型能力提升集中在 COBOL、Fortran、Visual Basic 等低資源程式語言,增強了這類軟體的建置與遷移能力。這些語言支撐著銀行、政府和企業長期依賴的系統;OpenAI 的目標是理解數十年的業務邏輯,並在保留可用部分的前提下幫助開發者完成現代化改造。OpenAI 稱會圍繞開發者與企業客戶提出的實際難題推進,並公開徵集下一批需要支援的語言與工作流。

X @OpenAIDevsAI 評分20

@OpenAIDevs: Here’s what our Codex Ambassadors have been up to:

OpenAI 的 Codex 大使在多座城市辦起 Astra Commons 咖啡館聚會,參與者現場用 Astra 動手做東西。倫敦的 Rohith 做出動畫工具 Forma,帶水母演示;西拉法葉的參加者合力搭建視覺化裝置並在咖啡館投影;馬尼拉一位沒有程式設計背景的燈光音響師用 Astra 原型出樹莓派視覺化裝置;布宜諾斯艾利斯的主辦者用 Codex 做了個工具,把一半名額留給此前沒搶到的人。OpenAI 表示也願意支援做 demo 與教程的創作者。

X @OpenAIDevsAI 評分20

@OpenAIDevs: Here’s what our Codex Ambassadors have been up to:

OpenAI 的 Codex 大使在多座城市辦起 Astra Commons 咖啡館聚會,參與者現場用 Astra 動手做東西。倫敦的 Rohith 做出動畫工具 Forma,帶水母演示;西拉法葉的參加者合力搭建視覺化裝置並在咖啡館投影;馬尼拉一位沒有程式設計背景的燈光音響師用 Astra 原型出樹莓派視覺化裝置;布宜諾斯艾利斯的主辦者用 Codex 做了個工具,把一半名額留給此前沒搶到的人。OpenAI 表示也願意支援做 demo 與教程的創作者。

The Verge AIAI 評分63

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

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

X @OpenAIDevsAI 評分20

OpenAI 開發者帳號推薦社群週末專案合集,附復刻方式

OpenAI 開發者帳號 @OpenAIDevs 在 X 上發帖,給出社群作品站點 youcanjustbuildthings.openai.chatgpt.site,彙總社群已經做出來的專案以及自己動手復刻的方法。帖子本身沒有列出具體專案、參與方式或時間限制,只提供該連結。