- .NET 11 Runtime Async 詳解
- 傳統 async/await.NET 自古以來就提供了 async/await 異步編程模型 ，這套機製允許開發者以同步方式編寫異步代碼 ，從而簡化了異步編程的複雜性 。async/await 機製本質上是 ...
- date:2026-09-06 07:38 praise: views:277
- 編程語言的「第三條道路」上 ，走得最遠的其實是 C#
- "測試隻能證明 bug 的存在，卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程 ...
- date:2026-09-06 07:36 praise: views:2603
- AI 範式越遷：使用 XXL
- AI 範式越遷 ：使用 XXL-BOOT SKILL 實現一句話直生業務從「一行 SQL 生成代碼」到「一句需求直生業務」——業務開發正式進入 AI 範式新時代 。隨著大模型編程助手的成熟 ，業務交付範式正 ...
- date:2026-09-06 07:06 praise: views:791
- codex對接智譜coding plan ，我發現連cc switch也不用了
- 背景大家好，我是逐日 。周末在家裏電腦折騰 ，本來還是按慣例在弄codex--》cc switch--》智譜 ，翻官方文檔的過程中，發現智譜好像已經原生支持了openai的response接口。試了試 ，連c ...
- date:2026-09-06 06:29 praise: views:1866
- 編程語言的「第三條道路」上，走得最遠的其實是 C#
- "測試隻能證明 bug 的存在 ，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程 ...
- date:2026-09-06 06:17 praise: views:532
- AI編程實戰：博客建站+RAG知識庫
- 大家好 ，我是Java烘焙師 。最近利用業餘時間，完成了博客建站+RAG知識庫的搭建，分享一下過程中遇到的選型問題 、實現步驟 。搭建博客站點和RAG知識庫的初衷 ，是因為日積月累寫了幾十篇技術文章，希望有一個 ...
- date:2026-09-06 06:13 praise: views:2900
- AI編程實戰 ：博客建站+RAG知識庫
- 大家好 ，我是Java烘焙師 。最近利用業餘時間 ，完成了博客建站+RAG知識庫的搭建 ，分享一下過程中遇到的選型問題 、實現步驟 。搭建博客站點和RAG知識庫的初衷 ，是因為日積月累寫了幾十篇技術文章 ，希望有一個 ...
- date:2026-09-06 06:03 praise: views:2399
- AI 編碼 Agent 從原理到可運行代碼
- 1. 概述過去五年 ，開發者與 AI 的關係被「Tab 鍵」定義 ：模型猜下一行 ，人決定接不接受 。GitHub Copilot 把這件事做到了極致 ，也把很多人鎖在一個錯誤心智模型裏——以為 AI 寫代碼的 ...
- date:2026-09-06 05:50 praise: views:642
- 別再吹牛了 ，100% Vibe Coding 存在無法自洽的邏輯漏洞！
- 注 ：本文是親身經曆企業級的 Vibe coding 項目後的經驗總結 ，有趣的是在寫這篇文章過程中 ，查到一個很好玩的資料 ，就是 Vibe Coding 這個詞的發明者 Andrej KarpathyOp ...
- date:2026-09-06 05:40 praise: views:144
- 數學建模第五課 ：從矩形麵積最大問題學會建立優化模型
- 在數學建模比賽中 ，優化模型是最常見的數學模型 。引言在實際問題中 ，優化模型是在一組約束條件下 ，使得具體目標的評判標準達到最優 ：例如公司經理要根據生產成本和市場需求確定產品價格 ，使所獲利潤最高；調度人員要 ...
- date:2026-09-06 05:40 praise: views:2251