編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在
，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章，標題叫《編程
...
2026-09-14 11:46
967
娛樂
大模型RAG實戰 ，從被罵不靠譜到成為部門MVP ，這是我的踩坑全記錄
一切的起點是一頓臭罵上個月 ，我被領導叫進辦公室罵了整整二十分鍾
。起因是這樣的——我們部門負責維護一套內部知識庫係統 ，裏麵沉澱了公司近五年的技術文檔
、故障處理手冊 、還有各種規範流程。問題是 ，這玩意兒除了
...
2026-09-14 11:42
1280
這才是未來的“openclaw”
openclaw就目前對我來說 ，感覺幫助不是很大，這隻是AI智能未來路上的一個小步驟。當我讓ai生成內容時
，網頁上一行一行的跳動 ，我離開電腦 ，孩子盯著那跳動的頁麵 ，感覺到無限的好奇 。回想到自己小時候的
...
2026-09-14 11:29
1260
AI 寫代碼有多厲害 ？——快了 55%，但錯多了 75%
這是 「AI是怎麽回事」係列的第 15 篇 。我一直很好奇 AI 到底是怎麽工作的
，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ，ChatGPT 回答你的那三秒鍾裏究竟在算什麽 ，AI 為
...
2026-09-14 11:15
2888
[python] pywinauto使用指北
當業務係統沒有API 、命令行接口或可直接集成的數據通道時 ，桌麵自動化往往是打通業務流程的最後一公裏 。pywinauto庫通過Win32 API與Microsoft UI AutomationUIA）訪
...
2026-09-14 10:59
1228
AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇 。我一直很好奇 AI 到底是怎麽工作的，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你
，ChatGPT 回答你的那三秒鍾裏究竟在算什麽 ，AI 為什麽
...
2026-09-14 10:44
1467
大模型RAG實戰 ，從被罵不靠譜到成為部門MVP ，這是我的踩坑全記錄
一切的起點是一頓臭罵上個月 ，我被領導叫進辦公室罵了整整二十分鍾
。起因是這樣的——我們部門負責維護一套內部知識庫係統 ，裏麵沉澱了公司近五年的技術文檔 、故障處理手冊、還有各種規範流程。問題是 ，這玩意兒除了
...
2026-09-14 10:44
2486
這才是未來的“openclaw”
openclaw就目前對我來說，感覺幫助不是很大
，這隻是AI智能未來路上的一個小步驟 。當我讓ai生成內容時 ，網頁上一行一行的跳動 ，我離開電腦 ，孩子盯著那跳動的頁麵
，感覺到無限的好奇 。回想到自己小時候的
...
2026-09-14 10:33
1284
AI編程實戰 ：博客建站+RAG知識庫
大家好 ，我是Java烘焙師 。最近利用業餘時間 ，完成了博客建站+RAG知識庫的搭建 ，分享一下過程中遇到的選型問題
、實現步驟。搭建博客站點和RAG知識庫的初衷 ，是因為日積月累寫了幾十篇技術文章，希望有一個
...
2026-09-14 09:37
478
大模型RAG實戰 ，從被罵不靠譜到成為部門MVP，這是我的踩坑全記錄
一切的起點是一頓臭罵上個月 ，我被領導叫進辦公室罵了整整二十分鍾 。起因是這樣的——我們部門負責維護一套內部知識庫係統 ，裏麵沉澱了公司近五年的技術文檔 、故障處理手冊 、還有各種規範流程 。問題是 ，這玩意兒除了
...
2026-09-14 09:12
2252