休閑
-
編程語言的「第三條道路」上 ,走得最遠的其實是 C#
"測試隻能證明 bug 的存在,卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章,標題叫《編程 ...
-
大模型RAG實戰 ,從被罵不靠譜到成為部門MVP ,這是我的踩坑全記錄
一切的起點是一頓臭罵上個月 ,我被領導叫進辦公室罵了整整二十分鍾。起因是這樣的——我們部門負責維護一套內部知識庫係統 ,裏麵沉澱了公司近五年的技術文檔、故障處理手冊 、還有各種規範流程。問題是,這玩意兒除了 ...
-
AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇。我一直很好奇 AI 到底是怎麽工作的,於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你,ChatGPT 回答你的那三秒鍾裏究竟在算什麽 ,AI 為什麽 ...
-
AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇。我一直很好奇 AI 到底是怎麽工作的,於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你,ChatGPT 回答你的那三秒鍾裏究竟在算什麽,AI 為什麽 ...