編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在
，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程
...
2026-09-14 19:59
431
休閑
AI 寫代碼有多厲害？——快了 55% ，但錯多了 75%
這是 「AI是怎麽回事」係列的第 15 篇 。我一直很好奇 AI 到底是怎麽工作的 ，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你
，ChatGPT 回答你的那三秒鍾裏究竟在算什麽 ，AI 為
...
2026-09-14 19:44
224
AI 寫代碼有多厲害？——快了 55%，但錯多了 75%
這是 「AI是怎麽回事」係列的第 15 篇 。我一直很好奇 AI 到底是怎麽工作的，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你
，ChatGPT 回答你的那三秒鍾裏究竟在算什麽 ，AI 為
...
2026-09-14 19:36
504
OpenClaw 技術解構：從 WhatsApp 聊天機器人到 AI 操作係統
結構決定功能 ，曆史揭示設計 。本文從用戶視角出發 ，向底層追問"它是怎麽做到的" 。OpenClaw 是什麽
？你在任何聊天窗口給它發一條消息 ，它就能幫你操作電腦——執行命令 、讀寫文件 、瀏覽網頁 、操控桌麵應用
...
2026-09-14 19:12
1319
為什麽說 IO 操作異步才有意義
為什麽說 IO 操作異步才有意義
，CPU 密集操作異步沒有太大意義背景與問題在後端開發中，我們經常討論異步編程模型 ，尤其是在 Node.js 、Netty 等技術棧中 。一個普遍的共識是 ：異步對於 IO
...
2026-09-14 18:39
2951
大模型RAG實戰 ，從被罵不靠譜到成為部門MVP ，這是我的踩坑全記錄
一切的起點是一頓臭罵上個月 ，我被領導叫進辦公室罵了整整二十分鍾 。起因是這樣的——我們部門負責維護一套內部知識庫係統 ，裏麵沉澱了公司近五年的技術文檔 、故障處理手冊 、還有各種規範流程 。問題是，這玩意兒除了
...
2026-09-14 18:24
2391
AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇 。我一直很好奇 AI 到底是怎麽工作的 ，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你
，ChatGPT 回答你的那三秒鍾裏究竟在算什麽，AI 為什麽
...
2026-09-14 18:04
1225
AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇 。我一直很好奇 AI 到底是怎麽工作的
，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你，ChatGPT 回答你的那三秒鍾裏究竟在算什麽，AI 為什麽
...
2026-09-14 18:04
1300
代碼是 AI 寫的 ，生產事故誰背鍋 ？
最近在做 Code Review 的時候
，我發現團隊裏越來越多的年輕工程師，開始頻繁提交一些看起來極其規整
、甚至連注釋都寫得完美無缺 ，但稍微往深了一看 ，業務邏輯根本跑不通的代碼 。問他們怎麽寫的 ，答案出
...
2026-09-14 17:18
905
AI 寫代碼有多厲害 ？——快了 55%，但錯多了 75%
這是 「AI是怎麽回事」係列的第 15 篇 。我一直很好奇 AI 到底是怎麽工作的 ，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ，ChatGPT 回答你的那三秒鍾裏究竟在算什麽，AI 為
...
2026-09-14 17:13
2396