休閑
-
Pretext：值得關注的文本排版引擎
Pretext 是一個用 TypeScript 實現的用於多行文本精確測量和布局的引擎 。不碰 DOM ，不觸發 reflow ，卻能完美匹配瀏覽器字體引擎在各種語言 、emoji、混合文字方向下的真實表現。 ...
-
[python] pywinauto使用指北
當業務係統沒有API 、命令行接口或可直接集成的數據通道時 ，桌麵自動化往往是打通業務流程的最後一公裏 。pywinauto庫通過Win32 API與Microsoft UI AutomationUIA）訪 ...
-
經常用 Codex 後 ，我發現 AGENTS.md 隻該管一件事
讓 Codex 少走彎路 ：一份全局 AGENTS.md 的取舍Codex GPT-5.6 、Claude Fable 這一代模型變強後 ，我反而開始刪 Prompt 。以前總怕 AI 理解錯。恨不得把“先看 ...
-
編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在 ，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章，標題叫《編程 ...
-
感謝艾思科藍成為博客園讚助商
在2025年歲末臨近之際，園子又添驚喜，迎來一家新的讚助商——艾思科藍 。非常感謝艾思科藍的讚助！以下是艾思科藍的介紹 ：艾思科藍(AiScholar) ，立足科研領域的連接者，致力於探索“人工智能+科研學 ...
-
數學建模第五課 ：從矩形麵積最大問題學會建立優化模型
在數學建模比賽中 ，優化模型是最常見的數學模型 。引言在實際問題中 ，優化模型是在一組約束條件下 ，使得具體目標的評判標準達到最優 ：例如公司經理要根據生產成本和市場需求確定產品價格，使所獲利潤最高；調度人員要 ...
-
AI編程實戰 ：博客建站+RAG知識庫
大家好，我是Java烘焙師。最近利用業餘時間 ，完成了博客建站+RAG知識庫的搭建，分享一下過程中遇到的選型問題 、實現步驟。搭建博客站點和RAG知識庫的初衷 ，是因為日積月累寫了幾十篇技術文章 ，希望有一個 ...
-
經常用 Codex 後 ，我發現 AGENTS.md 隻該管一件事
讓 Codex 少走彎路 ：一份全局 AGENTS.md 的取舍Codex GPT-5.6 、Claude Fable 這一代模型變強後 ，我反而開始刪 Prompt 。以前總怕 AI 理解錯 。恨不得把“先看 ...
-
Keepalived詳解 ：原理 、編譯安裝與高可用集群配置
在高可用架構中 ，避免單點故障至關重要 。Keepalived正是為了解決這一問題而生的輕量級工具 。本文將深入淺出地介紹Keepalived的工作原理 ，並提供從編譯安裝到實戰配置的完整指南 。1. Keep ...
-
具身智能運動控製與軟件棧：你的代碼隻活在中間件之上
一台人形機器人裏跑著五層軟件 ，頻率從 10Hz 到 20kHz ，差三個數量級 。這個頻率斷層把每層軟件的地盤劃死了，也把集成商的邊界劃死了 ：五層裏集成商能碰的隻有中間件那一層 ，你的代碼活在它之上 ，值錢的 ...
-
[python] pywinauto使用指北
當業務係統沒有API 、命令行接口或可直接集成的數據通道時 ，桌麵自動化往往是打通業務流程的最後一公裏 。pywinauto庫通過Win32 API與Microsoft UI AutomationUIA）訪 ...
-
編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在 ，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程 ...