休閑
-
大模型RAG實戰 ,從被罵不靠譜到成為部門MVP,這是我的踩坑全記錄
一切的起點是一頓臭罵上個月,我被領導叫進辦公室罵了整整二十分鍾。起因是這樣的——我們部門負責維護一套內部知識庫係統 ,裏麵沉澱了公司近五年的技術文檔 、故障處理手冊、還有各種規範流程。問題是,這玩意兒除了 ...
-
編程語言的「第三條道路」上,走得最遠的其實是 C#
"測試隻能證明 bug 的存在,卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ,標題叫《編程 ...
-
純 .NET 手寫 CUDA kernel,GLM
如果你所在的團隊是 .NET 技術棧,又想把大模型推理收進自己的進程裏,這篇文章值得你花五分鍾。8 月 26 日 ,智譜 GLM-5.3-FlashMIT 許可,首日開源)和阿裏 Qwen3.8-Fla ...
-
[python] pywinauto使用指北
當業務係統沒有API 、命令行接口或可直接集成的數據通道時 ,桌麵自動化往往是打通業務流程的最後一公裏。pywinauto庫通過Win32 API與Microsoft UI AutomationUIA)訪 ...
-
AI加持後2天時間將公司的運維自動化提高了一個層次
近期工作安排包括自動化測試、自動化運維 、自動化運營和安全等一些工作 。自己做產品 、自己做設計、自己做開發 、自己驗收上線還是挺爽滴。這其中工作簡單的就是自動化運維 。但我今天真正要講的不是做了什麽 ,或者用了 ...
-
用 crontab 給 LLM 使用量裝上“監控眼”
在把大模型接入日常工作流之後 ,筆者很快遇到了一個新問題 :模型到底被用了多少次?每天的高峰時段是什麽時候 ?周末是不是真的沒人調用 ?如果對這些數據一無所知 ,就談不上優化成本、排查異常,更談不上為後續擴容做 ...
-
數學建模第五課:從矩形麵積最大問題學會建立優化模型
在數學建模比賽中 ,優化模型是最常見的數學模型。引言在實際問題中 ,優化模型是在一組約束條件下 ,使得具體目標的評判標準達到最優:例如公司經理要根據生產成本和市場需求確定產品價格 ,使所獲利潤最高;調度人員要 ...
-
實戰對比:用 mpremote/Putty/MobaXterm 連接樹莓派 Pico REPL,誰更省心 ?
電腦連接樹莓派 Pico通過 USB 連接我們可以利用多個遠程控製終端通過 USB 線和樹莓派 Pico 進行連接通信 ,常見的遠程控製終端包括 MobaXterm、Putty 、mpremote 、Xsh ...
-
codex對接智譜coding plan,我發現連cc switch也不用了
背景大家好 ,我是逐日。周末在家裏電腦折騰,本來還是按慣例在弄codex--》cc switch--》智譜,翻官方文檔的過程中,發現智譜好像已經原生支持了openai的response接口 。試了試 ,連c ...