焦點
-
AI 寫代碼有多厲害？——快了 55%，但錯多了 75%
這是 「AI是怎麽回事」係列的第 15 篇 。我一直很好奇 AI 到底是怎麽工作的 ，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ，ChatGPT 回答你的那三秒鍾裏究竟在算什麽，AI 為 ...
-
編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在 ，卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程 ...
-
AI加持後2天時間將公司的運維自動化提高了一個層次
近期工作安排包括自動化測試、自動化運維 、自動化運營和安全等一些工作。自己做產品 、自己做設計、自己做開發、自己驗收上線還是挺爽滴。這其中工作簡單的就是自動化運維 。但我今天真正要講的不是做了什麽 ，或者用了 ...
-
經常用 Codex 後 ，我發現 AGENTS.md 隻該管一件事
讓 Codex 少走彎路：一份全局 AGENTS.md 的取舍Codex GPT-5.6 、Claude Fable 這一代模型變強後 ，我反而開始刪 Prompt 。以前總怕 AI 理解錯 。恨不得把“先看 ...
-
AI 寫代碼有多厲害 ？——快了 55% ，但錯多了 75%
這是 「AI是怎麽回事」係列的第 15 篇。我一直很好奇 AI 到底是怎麽工作的 ，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ，ChatGPT 回答你的那三秒鍾裏究竟在算什麽，AI 為 ...
-
AI加持後2天時間將公司的運維自動化提高了一個層次
近期工作安排包括自動化測試、自動化運維、自動化運營和安全等一些工作 。自己做產品 、自己做設計 、自己做開發 、自己驗收上線還是挺爽滴 。這其中工作簡單的就是自動化運維。但我今天真正要講的不是做了什麽 ，或者用了 ...
-
具身智能運動控製與軟件棧 ：你的代碼隻活在中間件之上
一台人形機器人裏跑著五層軟件，頻率從 10Hz 到 20kHz ，差三個數量級 。這個頻率斷層把每層軟件的地盤劃死了，也把集成商的邊界劃死了 ：五層裏集成商能碰的隻有中間件那一層 ，你的代碼活在它之上，值錢的 ...
-
數學建模第五課 ：從矩形麵積最大問題學會建立優化模型
在數學建模比賽中 ，優化模型是最常見的數學模型 。引言在實際問題中 ，優化模型是在一組約束條件下 ，使得具體目標的評判標準達到最優 ：例如公司經理要根據生產成本和市場需求確定產品價格 ，使所獲利潤最高；調度人員要 ...
-
C# .NET 周刊 ｜2026 年 8 月 2 期
C# .NET 周刊 ｜2026 年 8 月 2 期 2026-08-09 dotnet_week_26_8_2國內文章用 Inno Setup 把 .NET 程序打包成安裝包 ：從零到發布的完整指南h ...
-
AI 範式越遷：使用 XXL
AI 範式越遷：使用 XXL-BOOT SKILL 實現一句話直生業務從「一行 SQL 生成代碼」到「一句需求直生業務」——業務開發正式進入 AI 範式新時代 。隨著大模型編程助手的成熟 ，業務交付範式正 ...
-
純 .NET 手寫 CUDA kernel ，GLM
如果你所在的團隊是 .NET 技術棧 ，又想把大模型推理收進自己的進程裏 ，這篇文章值得你花五分鍾 。8 月 26 日 ，智譜 GLM-5.3-FlashMIT 許可 ，首日開源）和阿裏 Qwen3.8-Fla ...