休閑

Keepalived詳解：原理、編譯安裝與高可用集群配置

在高可用架構中，避免單點故障至關重要。Keepalived正是為了解決這一問題而生的輕量級工具。本文將深入淺出地介紹Keepalived的工作原理，並提供從編譯安裝到實戰配置的完整指南。1. Keep ...

休閑 2026-09-06 14:20 2604
編程語言的「第三條道路」上，走得最遠的其實是 C#

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

休閑 2026-09-06 14:07 1348
編程語言的「第三條道路」上，走得最遠的其實是 C#

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

休閑 2026-09-06 14:00 1994
AI編程實戰：博客建站+RAG知識庫

大家好，我是Java烘焙師。最近利用業餘時間，完成了博客建站+RAG知識庫的搭建，分享一下過程中遇到的選型問題、實現步驟。搭建博客站點和RAG知識庫的初衷，是因為日積月累寫了幾十篇技術文章，希望有一個 ...

休閑 2026-09-06 13:38 1665
Pretext：值得關注的文本排版引擎

Pretext 是一個用 TypeScript 實現的用於多行文本精確測量和布局的引擎。不碰 DOM，不觸發 reflow，卻能完美匹配瀏覽器字體引擎在各種語言、emoji、混合文字方向下的真實表現。 ...

休閑 2026-09-06 13:37 1645
數學建模第五課：從矩形麵積最大問題學會建立優化模型

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

休閑 2026-09-06 13:33 647
訂單的含金量在分化

訂單含金量在下降，訂單研發的含金量在上升。01產品體係中，訂單管理作為交易鏈路上最核心的模塊，其流程的難度和複雜度都比較高，尤其是在經典的電商業務中，訂單幾乎和係統中所有核心的模塊都有交互，在訂單設計 ...

休閑 2026-09-06 13:13 969
"Mem2Evolve: Towards Self

北航的工作 Mem2Evolve發表於 ACL 2026 ，提出了一種全新的智能體自我進化範式，把"能力擴展"與"經驗蒸餾"兩個過程耦合起來，實現更穩定、更高效的智能體持續進化背景LLM 智能體在各類應 ...

休閑 2026-09-06 12:22 3000
AI 範式越遷：使用 XXL

AI 範式越遷：使用 XXL-BOOT SKILL 實現一句話直生業務從「一行 SQL 生成代碼」到「一句需求直生業務」——業務開發正式進入 AI 範式新時代。隨著大模型編程助手的成熟，業務交付範式正 ...

休閑 2026-09-06 12:08 1406
訂單的含金量在分化

訂單含金量在下降，訂單研發的含金量在上升。01產品體係中，訂單管理作為交易鏈路上最核心的模塊，其流程的難度和複雜度都比較高，尤其是在經典的電商業務中，訂單幾乎和係統中所有核心的模塊都有交互，在訂單設計 ...

休閑 2026-09-06 11:49 1385
k8s安裝metrics

背景：有監控node節點pod的CPU等資源，實現自動擴縮容的需要下，需要安裝metrics-serverk8s版本：1.30.14kubadm安裝）對應metrics-server版本：0.8x本 ...

休閑 2026-09-06 11:43 1418
編程語言的「第三條道路」上，走得最遠的其實是 C#

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

休閑 2026-09-06 11:39 699