編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在 ，卻永遠無法證明 bug 的缺席
。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章，標題叫《編程
...
2026-09-03 15:29
2635
熱點
數學建模第五課 ：從矩形麵積最大問題學會建立優化模型
在數學建模比賽中 ，優化模型是最常見的數學模型。引言在實際問題中 ，優化模型是在一組約束條件下 ，使得具體目標的評判標準達到最優
：例如公司經理要根據生產成本和市場需求確定產品價格 ，使所獲利潤最高；調度人員要
...
2026-09-03 15:27
1590
感謝艾思科藍成為博客園讚助商
在2025年歲末臨近之際 ，園子又添驚喜
，迎來一家新的讚助商——艾思科藍 。非常感謝艾思科藍的讚助！以下是艾思科藍的介紹 ：艾思科藍(AiScholar)
，立足科研領域的連接者
，致力於探索“人工智能+科研學
...
2026-09-03 14:14
1462
[python] pywinauto使用指北
當業務係統沒有API
、命令行接口或可直接集成的數據通道時，桌麵自動化往往是打通業務流程的最後一公裏。pywinauto庫通過Win32 API與Microsoft UI AutomationUIA）訪
...
2026-09-03 14:12
1154
生產事故
入職多年，麵對生產環境 ，盡管都是小心翼翼
，慎之又慎 ，還是難免捅出簍子 。輕則滿頭大汗 ，麵紅耳赤 。重則係統停擺 ，損失資金 。每一個生產事故的背後 ，都是寶貴的經驗和教訓，都是項目成員的血淚史 。為了更好地防範和
...
2026-09-03 14:04
2851
[python] pywinauto使用指北
當業務係統沒有API、命令行接口或可直接集成的數據通道時 ，桌麵自動化往往是打通業務流程的最後一公裏。pywinauto庫通過Win32 API與Microsoft UI AutomationUIA）訪
...
2026-09-03 13:53
2588
AI加持後2天時間將公司的運維自動化提高了一個層次
近期工作安排包括自動化測試
、自動化運維 、自動化運營和安全等一些工作
。自己做產品
、自己做設計
、自己做開發、自己驗收上線還是挺爽滴 。這其中工作簡單的就是自動化運維 。但我今天真正要講的不是做了什麽 ，或者用了
...
2026-09-03 13:28
1311
經常用 Codex 後 ，我發現 AGENTS.md 隻該管一件事
讓 Codex 少走彎路：一份全局 AGENTS.md 的取舍Codex GPT-5.6 、Claude Fable 這一代模型變強後，我反而開始刪 Prompt 。以前總怕 AI 理解錯
。恨不得把“先看
...
2026-09-03 13:25
91
AI 範式越遷 ：使用 XXL
AI 範式越遷 ：使用 XXL-BOOT SKILL 實現一句話直生業務從「一行 SQL 生成代碼」到「一句需求直生業務」——業務開發正式進入 AI 範式新時代。隨著大模型編程助手的成熟
，業務交付範式正
...
2026-09-03 13:19
756
數學建模第五課 ：從矩形麵積最大問題學會建立優化模型
在數學建模比賽中 ，優化模型是最常見的數學模型
。引言在實際問題中 ，優化模型是在一組約束條件下，使得具體目標的評判標準達到最優 ：例如公司經理要根據生產成本和市場需求確定產品價格 ，使所獲利潤最高；調度人員要
...
2026-09-03 13:15
368