AISpot

搜尋

找到 14 筆

Hacker News front pageAI 評分61

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

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

Hacker News front pageAI 評分45

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

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

r/LocalLLaMA top of the day● 精選AI 評分80

微軟發布 4B 程式設計智慧體模型 FrogNano

微軟推出 FrogNano-4B-2609,一個面向低視訊記憶體裝置的程式設計智慧體模型,基於 Qwen3.5-4B 後訓練而來。其額外訓練為純文字、聚焦倉庫級軟體工程,用約 1500 個合成 SWE 任務環境和基於可執行測試的獎勵做強化學習,不依賴更強模型的解題軌跡蒸餾。模型需配合 Leaf 工具框架生成結構化工具呼叫,產出的補丁須經人工審查、迴歸測試與安全驗證後才能使用。

Hacker News front pageAI 評分28

HN 討論:LLM 何時接管軟體架構,程式設計技能還剩幾年

HN 上一條提問帖討論 LLM 何時能接管軟體架構設計、不再需要人類留在設計環節。發帖者認為程式碼、數學這類有明確對錯的任務已被充分 RL,下一步就是讓 Anthropic、OpenAI 等收集好架構與壞架構的資料集做 RL;他提到 2024 年 LLM 還只是高階自動補全,如今業界已在談用 agent 搭「軟體工廠」,並判斷幾年內實際程式設計技能的需求會消失九成,產品負責人這類軟技能崗位更受青睞。帖子目前 9 分、3 條評論,屬觀點討論,沒有官方資訊。

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 模式產出的計劃零散、難讀。

機器之心● 精選AI 評分80

AA-Robotics 首份榜單發布:GPT-6 Astra 操控機械臂得分居首

Artificial Analysis 於 10 月 14 日發布 AA-Robotics v0.1,首次讓 GPT、Claude、Gemini 等前沿模型藉助程式設計 Agent 操控真實機械臂,零樣本完成倒水、寫字、搭積木等八項任務。GPT-6 Astra 以 69.4 分居首,GPT-6.1 Sol 64.6 分,Gemini 4 Argon 55.3 分,Claude Opus 5.5 與 Fable 5.1 分別為 48.8 和 46.3 分。

Hacker News front pageAI 評分74

DHH 讓 AI 重寫的 Rust 版 Campfire 高負載通知投遞率僅 1%

DHH 讓 AI agent 把 Campfire Once 從 Ruby on Rails 重寫為 Rust,並追加了 Elixir、Go 版本,而他本人並不閱讀程式碼;結果 Rust 版在高負載下新帖通知的投遞率只有 1%(6-7k 個事件中)。該版本還丟掉了 CSRF token 以便快取、用程序內佇列替代 Redis,未保持 100% 向後相容,部分資料庫操作與鎖也以阻塞方式跑在 async 任務裡。

Hacker News front page● 精選AI 評分93

Meta 發布 Muse Wonder 系列兩款模型,主打個人與專業 agent 任務

Meta 發布 Muse Wonder 系列兩款模型 Muse Wonder 與 Muse Wonder Full,稱在個人與專業 agent 任務、記憶與編碼基準上達到當前最優;Muse Wonder 即日起通過 Meta Model API 和 Muse Code 提供,Muse Wonder Full 僅面向 Muse Code 訂閱者。

Kimi blog● 精選AI 評分88

月之暗面開源 Kimi K2.6,主打長程編碼與 Agent 能力

月之暗面開源最新模型 Kimi K2.6,主打編碼、長程執行與 Agent 叢集能力,已上線 Kimi.ai、Kimi App、API 和 Kimi Code。官方稱其在內部基準 Kimi Code Bench 上較 K2.5 明顯提升,並給出兩個長程案例:在 Mac 上用 Zig 實現 Qwen3.5-0.8B 本地推理,經 4000+ 次工具呼叫、12 小時以上執行、14 輪迭代,吞吐從約 15 提升到約 193 tokens/秒,比 LM Studio 快約 20%;

Hacker News front pageAI 評分45

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

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

X @AIatMetaAI 評分56

@AIatMeta: The Muse Wonder series achieves state-of-the-art results across key benchmarks for personal and pro…

Meta 發布 Muse Wonder 與 Muse Wonder Full 兩個模型,稱其在個人與專業智慧體、記憶和程式設計等關鍵基準上取得 SOTA。二者把專門知識用於工作與日常場景中的問題,例如理解一份租約、解讀財務或健康資訊,評測任務覆蓋法律、金融與健康領域。該推文未提及模型規模、開放方式與上線時間。

Hacker News front page● 精選AI 評分78

實測刪掉 16.8 萬行註釋,Claude Code 編碼品質不變

作者用 Claude Code(Opus 5.5、high effort)在同一程式碼庫的原版與刪光註釋的副本上各跑三次,完成兩個真實功能任務;所有執行都通過 lint、型別檢查與現有測試,大任務還通過了一個隱藏測試。評分差異在噪聲範圍內,小任務上無註釋版少用約 22% token(1.71M 對 2.18M)。大任務三次執行的 token 在 7.01M 到 10.64M 之間波動,作者據此提醒 agent 輸出不確定,只跑一次可能得出完全相反的結論。

機器之心AI 評分61

Karpathy 估算全球僅約 5000 人能接觸最前沿 AI 系統

Karpathy 在推文中估算,全球只有約 5000 人(約 0.00006% 人口)能直接使用最前沿的內部 AI 系統;約 2000 萬數學與程式設計專業人士在用前沿級 LLM 做專業工作,另有約 60 億人(約全球 75%)幾乎沒接觸過 LLM。他把這種分化稱為一條越來越陡的能力漏斗,成因是任務規模、能力鋸齒狀分佈(集中在可數字化、可驗證、商業價值高的領域)與存取權限分層。這些內部系統可讓成千上萬 Agent 組成叢集連續執行數週,推進大型軟體專案、發現零日漏洞。