編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在 ，卻永遠無法證明 bug 的缺席
。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章，標題叫《編程
...
2026-09-11 09:48
411
知識
代碼是 AI 寫的，生產事故誰背鍋 ？
最近在做 Code Review 的時候 ，我發現團隊裏越來越多的年輕工程師 ，開始頻繁提交一些看起來極其規整 、甚至連注釋都寫得完美無缺 ，但稍微往深了一看，業務邏輯根本跑不通的代碼。問他們怎麽寫的 ，答案出
...
2026-09-11 09:39
195
Pretext ：值得關注的文本排版引擎
Pretext 是一個用 TypeScript 實現的用於多行文本精確測量和布局的引擎
。不碰 DOM，不觸發 reflow
，卻能完美匹配瀏覽器字體引擎在各種語言、emoji
、混合文字方向下的真實表現 。
...
2026-09-11 08:56
2094
.NET 11 Runtime Async 詳解
傳統 async/await.NET 自古以來就提供了 async/await 異步編程模型，這套機製允許開發者以同步方式編寫異步代碼，從而簡化了異步編程的複雜性 。async/await 機製本質上是
...
2026-09-11 08:55
85
AI 寫代碼有多厲害 ？——快了 55% ，但錯多了 75%
這是 「AI是怎麽回事」係列的第 15 篇。我一直很好奇 AI 到底是怎麽工作的
，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ，ChatGPT 回答你的那三秒鍾裏究竟在算什麽
，AI 為
...
2026-09-11 08:44
2691
在 .NET 上構建超大托管數組
.NET 數組的上限這些年經常看到有人抱怨 .NET 數組的最大長度。在 .NET 裏，數組 、集合 、Span 以及很多相關 API 都是圍繞 32 位長度和索引設計的 。GitHub 上曾經有一個很長的
...
2026-09-11 08:32
2795
Pretext ：值得關注的文本排版引擎
Pretext 是一個用 TypeScript 實現的用於多行文本精確測量和布局的引擎 。不碰 DOM ，不觸發 reflow
，卻能完美匹配瀏覽器字體引擎在各種語言 、emoji
、混合文字方向下的真實表現。
...
2026-09-11 08:23
2161
在 .NET 上構建超大托管數組
.NET 數組的上限這些年經常看到有人抱怨 .NET 數組的最大長度 。在 .NET 裏 ，數組、集合、Span 以及很多相關 API 都是圍繞 32 位長度和索引設計的。GitHub 上曾經有一個很長的
...
2026-09-11 08:07
2454
大模型RAG實戰 ，從被罵不靠譜到成為部門MVP，這是我的踩坑全記錄
一切的起點是一頓臭罵上個月，我被領導叫進辦公室罵了整整二十分鍾 。起因是這樣的——我們部門負責維護一套內部知識庫係統，裏麵沉澱了公司近五年的技術文檔 、故障處理手冊
、還有各種規範流程
。問題是，這玩意兒除了
...
2026-09-11 08:06
2405
在 .NET 上構建超大托管數組
.NET 數組的上限這些年經常看到有人抱怨 .NET 數組的最大長度 。在 .NET 裏 ，數組 、集合
、Span 以及很多相關 API 都是圍繞 32 位長度和索引設計的
。GitHub 上曾經有一個很長的
...
2026-09-11 08:04
2212