如果你想對當下 AI LLM(大語言模型) 的工作原理有所了解 ，揭開 ChatGPT 、DeepSeek 背後的秘密 ，那一定要認識一下本文的主角 Transformer。當提起 Transformer ...

"測試隻能證明 bug 的存在，卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章，標題叫《編程 ...

一台人形機器人裏跑著五層軟件 ，頻率從 10Hz 到 20kHz ，差三個數量級。這個頻率斷層把每層軟件的地盤劃死了，也把集成商的邊界劃死了：五層裏集成商能碰的隻有中間件那一層，你的代碼活在它之上 ，值錢的 ...

電腦連接樹莓派 Pico通過 USB 連接我們可以利用多個遠程控製終端通過 USB 線和樹莓派 Pico 進行連接通信，常見的遠程控製終端包括 MobaXterm、Putty、mpremote、Xsh ...

讓 Codex 少走彎路：一份全局 AGENTS.md 的取舍Codex GPT-5.6、Claude Fable 這一代模型變強後 ，我反而開始刪 Prompt 。以前總怕 AI 理解錯。恨不得把“先看 ...

如果你所在的團隊是 .NET 技術棧 ，又想把大模型推理收進自己的進程裏，這篇文章值得你花五分鍾 。8 月 26 日，智譜 GLM-5.3-FlashMIT 許可，首日開源）和阿裏 Qwen3.8-Fla ...

一台人形機器人裏跑著五層軟件，頻率從 10Hz 到 20kHz，差三個數量級 。這個頻率斷層把每層軟件的地盤劃死了 ，也把集成商的邊界劃死了 ：五層裏集成商能碰的隻有中間件那一層 ，你的代碼活在它之上，值錢的 ...

背景大家好，我是逐日。周末在家裏電腦折騰 ，本來還是按慣例在弄codex--》cc switch--》智譜 ，翻官方文檔的過程中 ，發現智譜好像已經原生支持了openai的response接口。試了試，連c ...

最近在做 Code Review 的時候，我發現團隊裏越來越多的年輕工程師 ，開始頻繁提交一些看起來極其規整 、甚至連注釋都寫得完美無缺
，但稍微往深了一看，業務邏輯根本跑不通的代碼  。問他們怎麽寫的
，答案出 ...

讓 Codex 少走彎路
：一份全局 AGENTS.md 的取舍Codex GPT-5.6 、Claude Fable 這一代模型變強後，我反而開始刪 Prompt 。以前總怕 AI 理解錯。恨不得把“先看 ...