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

在把大模型接入日常工作流之後，筆者很快遇到了一個新問題：模型到底被用了多少次
？每天的高峰時段是什麽時候 ？周末是不是真的沒人調用？如果對這些數據一無所知，就談不上優化成本、排查異常，更談不上為後續擴容做 ...

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

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

為什麽說 IO 操作異步才有意義 ，CPU 密集操作異步沒有太大意義背景與問題在後端開發中 ，我們經常討論異步編程模型 ，尤其是在 Node.js 、Netty 等技術棧中。一個普遍的共識是：異步對於 IO ...

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

同事小李用 AI 半小時拚完周報 ，會議室裏老板隻問了一句 ：「第三段數據從哪來的？錯了你負責嗎？」小李愣住——他隻點了發送 ，從沒點開過鏈接。這不是 AI 不行 ，是人把「會用 AI」和「能扛事」混成了一件 ...

同事小李用 AI 半小時拚完周報，會議室裏老板隻問了一句 ：「第三段數據從哪來的？錯了你負責嗎 ？」小李愣住——他隻點了發送，從沒點開過鏈接 
。這不是 AI 不行
 ，是人把「會用 AI」和「能扛事」混成了一件 ...

這是 「AI是怎麽回事」係列的第 1篇。我一直很好奇 AI 到底是怎麽工作的，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ，ChatGPT 回答你的那三秒鍾裏究竟在算什麽，AI 為什麽 ...

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