編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在
，卻永遠無法證明 bug 的缺席
。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程
...
2026-09-05 21:09
876
探索
AI加持後2天時間將公司的運維自動化提高了一個層次
近期工作安排包括自動化測試
、自動化運維 、自動化運營和安全等一些工作 。自己做產品、自己做設計
、自己做開發 、自己驗收上線還是挺爽滴 。這其中工作簡單的就是自動化運維。但我今天真正要講的不是做了什麽，或者用了
...
2026-09-05 20:55
2572
經常用 Codex 後，我發現 AGENTS.md 隻該管一件事
讓 Codex 少走彎路：一份全局 AGENTS.md 的取舍Codex GPT-5.6、Claude Fable 這一代模型變強後 ，我反而開始刪 Prompt 。以前總怕 AI 理解錯 。恨不得把“先看
...
2026-09-05 20:17
2330
用 crontab 給 LLM 使用量裝上“監控眼”
在把大模型接入日常工作流之後 ，筆者很快遇到了一個新問題
：模型到底被用了多少次
？每天的高峰時段是什麽時候 ？周末是不是真的沒人調用 ？如果對這些數據一無所知
，就談不上優化成本 、排查異常
，更談不上為後續擴容做
...
2026-09-05 19:40
2314
AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇
。我一直很好奇 AI 到底是怎麽工作的 ，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ，ChatGPT 回答你的那三秒鍾裏究竟在算什麽
，AI 為什麽
...
2026-09-05 19:34
2808
數學建模第五課 ：從矩形麵積最大問題學會建立優化模型
在數學建模比賽中 ，優化模型是最常見的數學模型 。引言在實際問題中 ，優化模型是在一組約束條件下 ，使得具體目標的評判標準達到最優
：例如公司經理要根據生產成本和市場需求確定產品價格 ，使所獲利潤最高；調度人員要
...
2026-09-05 19:11
1131
純 .NET 手寫 CUDA kernel ，GLM
如果你所在的團隊是 .NET 技術棧 ，又想把大模型推理收進自己的進程裏 ，這篇文章值得你花五分鍾 。8 月 26 日
，智譜 GLM-5.3-FlashMIT 許可 ，首日開源）和阿裏 Qwen3.8-Fla
...
2026-09-05 19:06
2570
AI 不會淘汰你 ，但會淘汰「隻會點發送」的那類人
同事小李用 AI 半小時拚完周報 ，會議室裏老板隻問了一句
：「第三段數據從哪來的 ？錯了你負責嗎
？」小李愣住——他隻點了發送 ，從沒點開過鏈接。這不是 AI 不行 ，是人把「會用 AI」和「能扛事」混成了一件
...
2026-09-05 19:02
2408
OpenClaw 技術解構 ：從 WhatsApp 聊天機器人到 AI 操作係統
結構決定功能 ，曆史揭示設計
。本文從用戶視角出發 ，向底層追問"它是怎麽做到的" 。OpenClaw 是什麽 ？你在任何聊天窗口給它發一條消息 ，它就能幫你操作電腦——執行命令、讀寫文件
、瀏覽網頁
、操控桌麵應用
...
2026-09-05 19:01
1246
具身智能運動控製與軟件棧 ：你的代碼隻活在中間件之上
一台人形機器人裏跑著五層軟件 ，頻率從 10Hz 到 20kHz，差三個數量級
。這個頻率斷層把每層軟件的地盤劃死了 ，也把集成商的邊界劃死了
：五層裏集成商能碰的隻有中間件那一層 ，你的代碼活在它之上 ，值錢的
...
2026-09-05 18:52
595