編程語言的「第三條道路」上 ,走得最遠的其實是 C# "測試隻能證明 bug 的存在 ,卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章,標題叫《編程 ... 時尚2026-09-13 15:54 1849
AI 寫代碼有多厲害?——快了 55%,但錯多了 75% 這是 「AI是怎麽回事」係列的第 15 篇。我一直很好奇 AI 到底是怎麽工作的,於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ,ChatGPT 回答你的那三秒鍾裏究竟在算什麽,AI 為 ... 時尚2026-09-13 15:27 2757
AI到底聰明在哪——從手機人臉識別說起 這是 「AI是怎麽回事」係列的第 1篇 。我一直很好奇 AI 到底是怎麽工作的,於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你,ChatGPT 回答你的那三秒鍾裏究竟在算什麽 ,AI 為什麽 ... 時尚2026-09-13 15:24 1548