休閑
-
編程語言的「第三條道路」上,走得最遠的其實是 C#
"測試隻能證明 bug 的存在 ,卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章,標題叫《編程 ...
-
.NET 11 Runtime Async 詳解
傳統 async/await.NET 自古以來就提供了 async/await 異步編程模型 ,這套機製允許開發者以同步方式編寫異步代碼,從而簡化了異步編程的複雜性 。async/await 機製本質上是 ...
-
別再吹牛了,100% Vibe Coding 存在無法自洽的邏輯漏洞!
注:本文是親身經曆企業級的 Vibe coding 項目後的經驗總結 ,有趣的是在寫這篇文章過程中 ,查到一個很好玩的資料 ,就是 Vibe Coding 這個詞的發明者 Andrej KarpathyOp ...
-
在 .NET 上構建超大托管數組
.NET 數組的上限這些年經常看到有人抱怨 .NET 數組的最大長度 。在 .NET 裏,數組、集合、Span 以及很多相關 API 都是圍繞 32 位長度和索引設計的 。GitHub 上曾經有一個很長的 ...
-
AI編程實戰 :博客建站+RAG知識庫
大家好 ,我是Java烘焙師。最近利用業餘時間 ,完成了博客建站+RAG知識庫的搭建 ,分享一下過程中遇到的選型問題、實現步驟。搭建博客站點和RAG知識庫的初衷 ,是因為日積月累寫了幾十篇技術文章,希望有一個 ...
-
Pretext:值得關注的文本排版引擎
Pretext 是一個用 TypeScript 實現的用於多行文本精確測量和布局的引擎。不碰 DOM,不觸發 reflow,卻能完美匹配瀏覽器字體引擎在各種語言、emoji、混合文字方向下的真實表現 。 ...