編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在
，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程
...
2026-09-12 01:42
158
焦點
AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇 。我一直很好奇 AI 到底是怎麽工作的 ，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ，ChatGPT 回答你的那三秒鍾裏究竟在算什麽
，AI 為什麽
...
2026-09-12 01:36
1491
AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇
。我一直很好奇 AI 到底是怎麽工作的
，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ，ChatGPT 回答你的那三秒鍾裏究竟在算什麽，AI 為什麽
...
2026-09-12 01:18
2006
AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇 。我一直很好奇 AI 到底是怎麽工作的 ，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ，ChatGPT 回答你的那三秒鍾裏究竟在算什麽，AI 為什麽
...
2026-09-12 01:01
1355
基於NetCorePal Cloud Framework的DDD架構管理係統實踐
基於NetCorePal Cloud Framework的DDD架構管理係統實踐前段時間在做一個管理係統的項目 ，想嚐試一下DDD架構在實際項目中的應用 。經過一番調研 ，最終選擇了NetCorePal C
...
2026-09-12 00:56
2124
AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇 。我一直很好奇 AI 到底是怎麽工作的
，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你
，ChatGPT 回答你的那三秒鍾裏究竟在算什麽 ，AI 為什麽
...
2026-09-12 00:48
1365
這才是未來的“openclaw”
openclaw就目前對我來說 ，感覺幫助不是很大
，這隻是AI智能未來路上的一個小步驟。當我讓ai生成內容時，網頁上一行一行的跳動 ，我離開電腦 ，孩子盯著那跳動的頁麵
，感覺到無限的好奇
。回想到自己小時候的
...
2026-09-12 00:25
637
AI 寫代碼有多厲害 ？——快了 55%，但錯多了 75%
這是 「AI是怎麽回事」係列的第 15 篇 。我一直很好奇 AI 到底是怎麽工作的
，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你，ChatGPT 回答你的那三秒鍾裏究竟在算什麽
，AI 為
...
2026-09-11 23:34
810
AI 不會淘汰你 ，但會淘汰「隻會點發送」的那類人
同事小李用 AI 半小時拚完周報，會議室裏老板隻問了一句 ：「第三段數據從哪來的 ？錯了你負責嗎 ？」小李愣住——他隻點了發送，從沒點開過鏈接 。這不是 AI 不行 ，是人把「會用 AI」和「能扛事」混成了一件
...
2026-09-11 23:23
135
大模型RAG實戰 ，從被罵不靠譜到成為部門MVP，這是我的踩坑全記錄
一切的起點是一頓臭罵上個月，我被領導叫進辦公室罵了整整二十分鍾
。起因是這樣的——我們部門負責維護一套內部知識庫係統 ，裏麵沉澱了公司近五年的技術文檔
、故障處理手冊 、還有各種規範流程。問題是
，這玩意兒除了
...
2026-09-11 23:19
325