編程語言的「第三條道路」上，走得最遠的其實是 C#
"測試隻能證明 bug 的存在，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章
，標題叫《編程
...
2026-09-14 21:19
1256
焦點
C# .NET 周刊 ｜2026 年 8 月 2 期
C# .NET 周刊 ｜2026 年 8 月 2 期 2026-08-09 dotnet_week_26_8_2國內文章用 Inno Setup 把 .NET 程序打包成安裝包：從零到發布的完整指南h
...
2026-09-14 21:03
2873
感謝艾思科藍成為博客園讚助商
在2025年歲末臨近之際
，園子又添驚喜 ，迎來一家新的讚助商——艾思科藍。非常感謝艾思科藍的讚助 ！以下是艾思科藍的介紹
：艾思科藍(AiScholar)
，立足科研領域的連接者 ，致力於探索“人工智能+科研學
...
2026-09-14 20:25
2729
經常用 Codex 後 ，我發現 AGENTS.md 隻該管一件事
讓 Codex 少走彎路 ：一份全局 AGENTS.md 的取舍Codex GPT-5.6
、Claude Fable 這一代模型變強後
，我反而開始刪 Prompt 。以前總怕 AI 理解錯 。恨不得把“先看
...
2026-09-14 20:20
1587
生產事故
入職多年
，麵對生產環境 ，盡管都是小心翼翼 ，慎之又慎，還是難免捅出簍子 。輕則滿頭大汗 ，麵紅耳赤 。重則係統停擺 ，損失資金。每一個生產事故的背後
，都是寶貴的經驗和教訓 ，都是項目成員的血淚史 。為了更好地防範和
...
2026-09-14 19:50
939
MicroPython 開發避坑 ：用 Signal 類解決不同電路的電平兼容問題
推文在下麵實驗中 ，我們需要將 風雅一號板-七彩觸控擴展板插入到 風雅一號板-通用兼容擴展板上：在以下例程中，我們通過 Signal 類控製兩個不同電路連接的 LED 燈 ，其中 GP17連接的 LED
...
2026-09-14 19:49
438
AI 範式越遷：使用 XXL
AI 範式越遷：使用 XXL-BOOT SKILL 實現一句話直生業務從「一行 SQL 生成代碼」到「一句需求直生業務」——業務開發正式進入 AI 範式新時代 。隨著大模型編程助手的成熟 ，業務交付範式正
...
2026-09-14 19:35
1683
AI加持後2天時間將公司的運維自動化提高了一個層次
近期工作安排包括自動化測試 、自動化運維
、自動化運營和安全等一些工作 。自己做產品 、自己做設計 、自己做開發
、自己驗收上線還是挺爽滴 。這其中工作簡單的就是自動化運維 。但我今天真正要講的不是做了什麽，或者用了
...
2026-09-14 19:28
978
生產事故
入職多年，麵對生產環境 ，盡管都是小心翼翼 ，慎之又慎 ，還是難免捅出簍子。輕則滿頭大汗，麵紅耳赤。重則係統停擺 ，損失資金 。每一個生產事故的背後 ，都是寶貴的經驗和教訓
，都是項目成員的血淚史。為了更好地防範和
...
2026-09-14 19:23
202
經常用 Codex 後 ，我發現 AGENTS.md 隻該管一件事
讓 Codex 少走彎路 ：一份全局 AGENTS.md 的取舍Codex GPT-5.6
、Claude Fable 這一代模型變強後
，我反而開始刪 Prompt。以前總怕 AI 理解錯
。恨不得把“先看
...
2026-09-14 19:01
2341