編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程
...
2026-09-05 08:13
1426
百科
AI加持後2天時間將公司的運維自動化提高了一個層次
近期工作安排包括自動化測試、自動化運維
、自動化運營和安全等一些工作 。自己做產品
、自己做設計 、自己做開發 、自己驗收上線還是挺爽滴。這其中工作簡單的就是自動化運維 。但我今天真正要講的不是做了什麽 ，或者用了
...
2026-09-05 08:01
714
經常用 Codex 後 ，我發現 AGENTS.md 隻該管一件事
讓 Codex 少走彎路
：一份全局 AGENTS.md 的取舍Codex GPT-5.6 、Claude Fable 這一代模型變強後
，我反而開始刪 Prompt。以前總怕 AI 理解錯
。恨不得把“先看
...
2026-09-05 07:42
1108
C# .NET 周刊 ｜2026 年 8 月 2 期
C# .NET 周刊 ｜2026 年 8 月 2 期 2026-08-09 dotnet_week_26_8_2國內文章用 Inno Setup 把 .NET 程序打包成安裝包 ：從零到發布的完整指南h
...
2026-09-05 07:42
1378
OpenClaw 技術解構 ：從 WhatsApp 聊天機器人到 AI 操作係統
結構決定功能 ，曆史揭示設計。本文從用戶視角出發 ，向底層追問"它是怎麽做到的"
。OpenClaw 是什麽 ？你在任何聊天窗口給它發一條消息，它就能幫你操作電腦——執行命令 、讀寫文件 、瀏覽網頁
、操控桌麵應用
...
2026-09-05 07:24
413
AI編程實戰 ：博客建站+RAG知識庫
大家好 ，我是Java烘焙師
。最近利用業餘時間
，完成了博客建站+RAG知識庫的搭建
，分享一下過程中遇到的選型問題、實現步驟
。搭建博客站點和RAG知識庫的初衷 ，是因為日積月累寫了幾十篇技術文章
，希望有一個
...
2026-09-05 07:14
2890
AI 不會淘汰你 ，但會淘汰「隻會點發送」的那類人
同事小李用 AI 半小時拚完周報 ，會議室裏老板隻問了一句
：「第三段數據從哪來的
？錯了你負責嗎 ？」小李愣住——他隻點了發送，從沒點開過鏈接。這不是 AI 不行 ，是人把「會用 AI」和「能扛事」混成了一件
...
2026-09-05 06:27
2484
經常用 Codex 後，我發現 AGENTS.md 隻該管一件事
讓 Codex 少走彎路 ：一份全局 AGENTS.md 的取舍Codex GPT-5.6 、Claude Fable 這一代模型變強後 ，我反而開始刪 Prompt 。以前總怕 AI 理解錯
。恨不得把“先看
...
2026-09-05 06:24
2545
OpenClaw 技術解構 ：從 WhatsApp 聊天機器人到 AI 操作係統
結構決定功能 ，曆史揭示設計
。本文從用戶視角出發 ，向底層追問"它是怎麽做到的"。OpenClaw 是什麽？你在任何聊天窗口給它發一條消息 ，它就能幫你操作電腦——執行命令 、讀寫文件、瀏覽網頁
、操控桌麵應用
...
2026-09-05 06:23
803
AI 編碼 Agent 從原理到可運行代碼
1. 概述過去五年
，開發者與 AI 的關係被「Tab 鍵」定義：模型猜下一行 ，人決定接不接受。GitHub Copilot 把這件事做到了極致
，也把很多人鎖在一個錯誤心智模型裏——以為 AI 寫代碼的
...
2026-09-05 06:23
1148