編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在 ，卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章
，標題叫《編程
...
2026-09-14 20:18
760
探索
"Mem2Evolve: Towards Self
北航的工作 Mem2Evolve發表於 ACL 2026
，提出了一種全新的智能體自我進化範式
，把"能力擴展"與"經驗蒸餾"兩個過程耦合起來
，實現更穩定
、更高效的智能體持續進化背景LLM 智能體在各類應
...
2026-09-14 19:59
1418
AI加持後2天時間將公司的運維自動化提高了一個層次
近期工作安排包括自動化測試 、自動化運維 、自動化運營和安全等一些工作 。自己做產品
、自己做設計 、自己做開發 、自己驗收上線還是挺爽滴 。這其中工作簡單的就是自動化運維
。但我今天真正要講的不是做了什麽 ，或者用了
...
2026-09-14 19:21
1357
AI 編碼 Agent 從原理到可運行代碼
1. 概述過去五年，開發者與 AI 的關係被「Tab 鍵」定義
：模型猜下一行 ，人決定接不接受。GitHub Copilot 把這件事做到了極致 ，也把很多人鎖在一個錯誤心智模型裏——以為 AI 寫代碼的
...
2026-09-14 19:18
1456
大模型RAG實戰 ，從被罵不靠譜到成為部門MVP ，這是我的踩坑全記錄
一切的起點是一頓臭罵上個月，我被領導叫進辦公室罵了整整二十分鍾。起因是這樣的——我們部門負責維護一套內部知識庫係統
，裏麵沉澱了公司近五年的技術文檔、故障處理手冊
、還有各種規範流程 。問題是 ，這玩意兒除了
...
2026-09-14 19:05
1995
codex對接智譜coding plan ，我發現連cc switch也不用了
背景大家好，我是逐日
。周末在家裏電腦折騰 ，本來還是按慣例在弄codex--》cc switch--》智譜，翻官方文檔的過程中 ，發現智譜好像已經原生支持了openai的response接口
。試了試，連c
...
2026-09-14 18:43
1253
AI 不會淘汰你 ，但會淘汰「隻會點發送」的那類人
同事小李用 AI 半小時拚完周報 ，會議室裏老板隻問了一句 ：「第三段數據從哪來的
？錯了你負責嗎？」小李愣住——他隻點了發送 ，從沒點開過鏈接
。這不是 AI 不行 ，是人把「會用 AI」和「能扛事」混成了一件
...
2026-09-14 18:16
1886
數學建模第五課 ：從矩形麵積最大問題學會建立優化模型
在數學建模比賽中 ，優化模型是最常見的數學模型 。引言在實際問題中 ，優化模型是在一組約束條件下
，使得具體目標的評判標準達到最優
：例如公司經理要根據生產成本和市場需求確定產品價格，使所獲利潤最高；調度人員要
...
2026-09-14 18:13
372
Keepalived詳解 ：原理 、編譯安裝與高可用集群配置
在高可用架構中，避免單點故障至關重要 。Keepalived正是為了解決這一問題而生的輕量級工具
。本文將深入淺出地介紹Keepalived的工作原理 ，並提供從編譯安裝到實戰配置的完整指南。1. Keep
...
2026-09-14 18:10
2915
AI編程實戰 ：博客建站+RAG知識庫
大家好，我是Java烘焙師。最近利用業餘時間 ，完成了博客建站+RAG知識庫的搭建
，分享一下過程中遇到的選型問題 、實現步驟 。搭建博客站點和RAG知識庫的初衷 ，是因為日積月累寫了幾十篇技術文章 ，希望有一個
...
2026-09-14 17:47
2076