~~<i id='A734B53FDD'><strike id='A734B53FDD'><tt id='A734B53FDD'><pre id='A734B53FDD'></pre></tt></strike></i>~~

当前位置: 当前位置：首页 > 休閑

休閑

編程語言的「第三條道路」上，走得最遠的其實是 C#: 时间：2026-09-02 22:49; "測試隻能證明 bug 的存在，卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章，標題叫《編程 ..

C# .NET 周刊｜2026 年 8 月 2 期

时间：2026-09-02 22:48

C# .NET 周刊｜2026 年 8 月 2 期 2026-08-09 dotnet_week_26_8_2國內文章用 Inno Setup 把 .NET 程序打包成安裝包：從零到發布的完整指南h ..

經常用 Codex 後，我發現 AGENTS.md 隻該管一件事

时间：2026-09-02 22:38

讓 Codex 少走彎路：一份全局 AGENTS.md 的取舍Codex GPT-5.6、Claude Fable 這一代模型變強後，我反而開始刪 Prompt。以前總怕 AI 理解錯。恨不得把“先看 ..

數學建模第五課：從矩形麵積最大問題學會建立優化模型

时间：2026-09-02 22:33

在數學建模比賽中，優化模型是最常見的數學模型。引言在實際問題中，優化模型是在一組約束條件下，使得具體目標的評判標準達到最優：例如公司經理要根據生產成本和市場需求確定產品價格，使所獲利潤最高；調度人員要 ..

.NET 11 Runtime Async 詳解

时间：2026-09-02 22:22

傳統 async/await.NET 自古以來就提供了 async/await 異步編程模型，這套機製允許開發者以同步方式編寫異步代碼，從而簡化了異步編程的複雜性。async/await 機製本質上是 ..

AI 編碼 Agent 從原理到可運行代碼

时间：2026-09-02 22:01

1. 概述過去五年，開發者與 AI 的關係被「Tab 鍵」定義：模型猜下一行，人決定接不接受。GitHub Copilot 把這件事做到了極致，也把很多人鎖在一個錯誤心智模型裏——以為 AI 寫代碼的 ..

[python] pywinauto使用指北

时间：2026-09-02 21:55

當業務係統沒有API、命令行接口或可直接集成的數據通道時，桌麵自動化往往是打通業務流程的最後一公裏。pywinauto庫通過Win32 API與Microsoft UI AutomationUIA）訪 ..

具身智能運動控製與軟件棧：你的代碼隻活在中間件之上

时间：2026-09-02 21:47

一台人形機器人裏跑著五層軟件，頻率從 10Hz 到 20kHz ，差三個數量級。這個頻率斷層把每層軟件的地盤劃死了，也把集成商的邊界劃死了：五層裏集成商能碰的隻有中間件那一層，你的代碼活在它之上，值錢的 ..

OpenClaw 技術解構：從 WhatsApp 聊天機器人到 AI 操作係統

时间：2026-09-02 21:32

結構決定功能，曆史揭示設計。本文從用戶視角出發，向底層追問"它是怎麽做到的" 。OpenClaw 是什麽？你在任何聊天窗口給它發一條消息，它就能幫你操作電腦——執行命令、讀寫文件、瀏覽網頁、操控桌麵應用 ..

經常用 Codex 後，我發現 AGENTS.md 隻該管一件事

时间：2026-09-02 21:19

讓 Codex 少走彎路：一份全局 AGENTS.md 的取舍Codex GPT-5.6 、Claude Fable 這一代模型變強後，我反而開始刪 Prompt 。以前總怕 AI 理解錯。恨不得把“先看 ..

純 .NET 手寫 CUDA kernel，GLM

时间：2026-09-02 21:14

如果你所在的團隊是 .NET 技術棧，又想把大模型推理收進自己的進程裏，這篇文章值得你花五分鍾。8 月 26 日，智譜 GLM-5.3-FlashMIT 許可，首日開源）和阿裏 Qwen3.8-Fla ..

感謝艾思科藍成為博客園讚助商

时间：2026-09-02 21:12

在2025年歲末臨近之際，園子又添驚喜，迎來一家新的讚助商——艾思科藍。非常感謝艾思科藍的讚助！以下是艾思科藍的介紹：艾思科藍(AiScholar)，立足科研領域的連接者，致力於探索“人工智能+科研學 ..

大模型RAG實戰，從被罵不靠譜到成為部門MVP，這是我的踩坑全記錄

时间：2026-09-02 20:59

一切的起點是一頓臭罵上個月，我被領導叫進辦公室罵了整整二十分鍾。起因是這樣的——我們部門負責維護一套內部知識庫係統，裏麵沉澱了公司近五年的技術文檔、故障處理手冊、還有各種規範流程。問題是，這玩意兒除了 ..

實戰對比：用 mpremote/Putty/MobaXterm 連接樹莓派 Pico REPL，誰更省心？

时间：2026-09-02 20:57

電腦連接樹莓派 Pico通過 USB 連接我們可以利用多個遠程控製終端通過 USB 線和樹莓派 Pico 進行連接通信，常見的遠程控製終端包括 MobaXterm、Putty、mpremote 、Xsh ..

編程語言的「第三條道路」上，走得最遠的其實是 C#

时间：2026-09-02 20:55

"測試隻能證明 bug 的存在，卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章，標題叫《編程 ..

AI 不會淘汰你，但會淘汰「隻會點發送」的那類人

时间：2026-09-02 20:53

同事小李用 AI 半小時拚完周報，會議室裏老板隻問了一句：「第三段數據從哪來的？錯了你負責嗎？」小李愣住——他隻點了發送，從沒點開過鏈接。這不是 AI 不行，是人把「會用 AI」和「能扛事」混成了一件 ..

大模型RAG實戰，從被罵不靠譜到成為部門MVP ，這是我的踩坑全記錄

时间：2026-09-02 20:34

[python] pywinauto使用指北

时间：2026-09-02 20:30

當業務係統沒有API 、命令行接口或可直接集成的數據通道時，桌麵自動化往往是打通業務流程的最後一公裏。pywinauto庫通過Win32 API與Microsoft UI AutomationUIA）訪 ..

AI加持後2天時間將公司的運維自動化提高了一個層次

时间：2026-09-02 20:26

近期工作安排包括自動化測試、自動化運維、自動化運營和安全等一些工作。自己做產品、自己做設計、自己做開發、自己驗收上線還是挺爽滴。這其中工作簡單的就是自動化運維。但我今天真正要講的不是做了什麽，或者用了 ..

感謝艾思科藍成為博客園讚助商

时间：2026-09-02 20:23

热门文章

文章排行