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

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

在2025年歲末臨近之際，園子又添驚喜 ，迎來一家新的讚助商——艾思科藍。非常感謝艾思科藍的讚助
！以下是艾思科藍的介紹
：艾思科藍(AiScholar)，立足科研領域的連接者 ，致力於探索“人工智能+科研學 ...

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

AI 範式越遷 ：使用 XXL-BOOT SKILL 實現一句話直生業務從「一行 SQL 生成代碼」到「一句需求直生業務」——業務開發正式進入 AI 範式新時代 。隨著大模型編程助手的成熟，業務交付範式正 ...

背景：有監控node節點pod的CPU等資源，實現自動擴縮容的需要下
 ，需要安裝metrics-serverk8s版本 ：1.30.14kubadm安裝） 對應metrics-server版本
：0.8x本 ...

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

背景 
：有監控node節點pod的CPU等資源，實現自動擴縮容的需要下 ，需要安裝metrics-serverk8s版本：1.30.14kubadm安裝） 對應metrics-server版本
：0.8x本 ...

近期工作安排包括自動化測試、自動化運維、自動化運營和安全等一些工作 。自己做產品 、自己做設計 、自己做開發
、自己驗收上線還是挺爽滴 。這其中工作簡單的就是自動化運維 。但我今天真正要講的不是做了什麽，或者用了 ...

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