- 具身智能運動控製與軟件棧：你的代碼隻活在中間件之上
- 一台人形機器人裏跑著五層軟件 ，頻率從 10Hz 到 20kHz ，差三個數量級 。這個頻率斷層把每層軟件的地盤劃死了，也把集成商的邊界劃死了 ：五層裏集成商能碰的隻有中間件那一層 ，你的代碼活在它之上 ，值錢的 ...
- date:2026-09-03 17:37 praise: views:2727
- MHS 三部曲（上） ：別急著叫它「物理 MCP」——Anthropic 到底發布了什麽
- 導讀2026 年 8 月 27 日，Anthropic 開放 MHSModel Hardware Standard，模型硬件標準）研究預覽版 。消息很快被壓縮成一句話 ：「Claude 長出雙手 ，AI 走 ...
- date:2026-09-03 17:36 praise: views:2762
- k8s安裝metrics
- 背景：有監控node節點pod的CPU等資源 ，實現自動擴縮容的需要下，需要安裝metrics-serverk8s版本 ：1.30.14kubadm安裝） 對應metrics-server版本 ：0.8x本 ...
- date:2026-09-03 17:01 praise: views:2724
- 編程語言的「第三條道路」上 ，走得最遠的其實是 C#
- "測試隻能證明 bug 的存在，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程 ...
- date:2026-09-03 17:00 praise: views:2466
- 大模型RAG實戰，從被罵不靠譜到成為部門MVP，這是我的踩坑全記錄
- 一切的起點是一頓臭罵上個月 ，我被領導叫進辦公室罵了整整二十分鍾 。起因是這樣的——我們部門負責維護一套內部知識庫係統 ，裏麵沉澱了公司近五年的技術文檔、故障處理手冊 、還有各種規範流程。問題是 ，這玩意兒除了 ...
- date:2026-09-03 16:33 praise: views:2638
- AI加持後2天時間將公司的運維自動化提高了一個層次
- 近期工作安排包括自動化測試、自動化運維 、自動化運營和安全等一些工作。自己做產品 、自己做設計 、自己做開發 、自己驗收上線還是挺爽滴 。這其中工作簡單的就是自動化運維 。但我今天真正要講的不是做了什麽 ，或者用了 ...
- date:2026-09-03 16:32 praise: views:1699
- 編程語言的「第三條道路」上 ，走得最遠的其實是 C#
- "測試隻能證明 bug 的存在 ，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程 ...
- date:2026-09-03 16:26 praise: views:1368
- 數學建模第五課 ：從矩形麵積最大問題學會建立優化模型
- 在數學建模比賽中 ，優化模型是最常見的數學模型 。引言在實際問題中 ，優化模型是在一組約束條件下 ，使得具體目標的評判標準達到最優 ：例如公司經理要根據生產成本和市場需求確定產品價格，使所獲利潤最高；調度人員要 ...
- date:2026-09-03 16:05 praise: views:2905
- Keepalived詳解 ：原理 、編譯安裝與高可用集群配置
- 在高可用架構中 ，避免單點故障至關重要 。Keepalived正是為了解決這一問題而生的輕量級工具 。本文將深入淺出地介紹Keepalived的工作原理，並提供從編譯安裝到實戰配置的完整指南 。1. Keep ...
- date:2026-09-03 16:03 praise: views:918
- 編程語言的「第三條道路」上，走得最遠的其實是 C#
- "測試隻能證明 bug 的存在 ，卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程 ...
- date:2026-09-03 15:59 praise: views:2512