休閑
-
大模型RAG實戰 ，從被罵不靠譜到成為部門MVP ，這是我的踩坑全記錄
一切的起點是一頓臭罵上個月 ，我被領導叫進辦公室罵了整整二十分鍾 。起因是這樣的——我們部門負責維護一套內部知識庫係統 ，裏麵沉澱了公司近五年的技術文檔 、故障處理手冊 、還有各種規範流程 。問題是 ，這玩意兒除了 ...
-
MicroPython 開發避坑 ：用 Signal 類解決不同電路的電平兼容問題
推文在下麵實驗中，我們需要將 風雅一號板-七彩觸控擴展板插入到 風雅一號板-通用兼容擴展板上 ：在以下例程中 ，我們通過 Signal 類控製兩個不同電路連接的 LED 燈 ，其中 GP17連接的 LED ...
-
經常用 Codex 後 ，我發現 AGENTS.md 隻該管一件事
讓 Codex 少走彎路 ：一份全局 AGENTS.md 的取舍Codex GPT-5.6 、Claude Fable 這一代模型變強後 ，我反而開始刪 Prompt。以前總怕 AI 理解錯 。恨不得把“先看 ...
-
編程語言的「第三條道路」上，走得最遠的其實是 C#
"測試隻能證明 bug 的存在 ，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程 ...
-
為什麽說 IO 操作異步才有意義
為什麽說 IO 操作異步才有意義 ，CPU 密集操作異步沒有太大意義背景與問題在後端開發中 ，我們經常討論異步編程模型 ，尤其是在 Node.js 、Netty 等技術棧中 。一個普遍的共識是 ：異步對於 IO ...
-
編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在 ，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程 ...
-
"Mem2Evolve: Towards Self
北航的工作 Mem2Evolve發表於 ACL 2026，提出了一種全新的智能體自我進化範式 ，把"能力擴展"與"經驗蒸餾"兩個過程耦合起來 ，實現更穩定 、更高效的智能體持續進化背景LLM 智能體在各類應 ...
-
這才是未來的“openclaw”
openclaw就目前對我來說 ，感覺幫助不是很大 ，這隻是AI智能未來路上的一個小步驟。當我讓ai生成內容時 ，網頁上一行一行的跳動 ，我離開電腦 ，孩子盯著那跳動的頁麵 ，感覺到無限的好奇。回想到自己小時候的 ...
-
k8s安裝metrics
背景：有監控node節點pod的CPU等資源 ，實現自動擴縮容的需要下 ，需要安裝metrics-serverk8s版本 ：1.30.14kubadm安裝） 對應metrics-server版本：0.8x本 ...
-
數學建模第五課 ：從矩形麵積最大問題學會建立優化模型
在數學建模比賽中 ，優化模型是最常見的數學模型 。引言在實際問題中 ，優化模型是在一組約束條件下 ，使得具體目標的評判標準達到最優：例如公司經理要根據生產成本和市場需求確定產品價格 ，使所獲利潤最高；調度人員要 ...
-
AI 編碼 Agent 從原理到可運行代碼
1. 概述過去五年，開發者與 AI 的關係被「Tab 鍵」定義：模型猜下一行 ，人決定接不接受 。GitHub Copilot 把這件事做到了極致 ，也把很多人鎖在一個錯誤心智模型裏——以為 AI 寫代碼的 ...