感謝艾思科藍成為博客園讚助商
在2025年歲末臨近之際 ，園子又添驚喜
，迎來一家新的讚助商——艾思科藍
。非常感謝艾思科藍的讚助 ！以下是艾思科藍的介紹 ：艾思科藍(AiScholar) ，立足科研領域的連接者 ，致力於探索“人工智能+科研學
...
2026-09-10 12:33
2597
娛樂
codex對接智譜coding plan ，我發現連cc switch也不用了
背景大家好 ，我是逐日
。周末在家裏電腦折騰，本來還是按慣例在弄codex--》cc switch--》智譜
，翻官方文檔的過程中 ，發現智譜好像已經原生支持了openai的response接口
。試了試 ，連c
...
2026-09-10 12:21
538
編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在，卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程
...
2026-09-10 12:18
1978
"Mem2Evolve: Towards Self
北航的工作 Mem2Evolve發表於 ACL 2026 ，提出了一種全新的智能體自我進化範式
，把"能力擴展"與"經驗蒸餾"兩個過程耦合起來 ，實現更穩定
、更高效的智能體持續進化背景LLM 智能體在各類應
...
2026-09-10 12:09
2173
AI 寫代碼有多厲害 ？——快了 55% ，但錯多了 75%
這是 「AI是怎麽回事」係列的第 15 篇。我一直很好奇 AI 到底是怎麽工作的，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ，ChatGPT 回答你的那三秒鍾裏究竟在算什麽，AI 為
...
2026-09-10 11:47
1696
AI 編碼 Agent 從原理到可運行代碼
1. 概述過去五年 ，開發者與 AI 的關係被「Tab 鍵」定義：模型猜下一行
，人決定接不接受。GitHub Copilot 把這件事做到了極致 ，也把很多人鎖在一個錯誤心智模型裏——以為 AI 寫代碼的
...
2026-09-10 11:38
2621
AI 編碼 Agent 從原理到可運行代碼
1. 概述過去五年，開發者與 AI 的關係被「Tab 鍵」定義：模型猜下一行 ，人決定接不接受
。GitHub Copilot 把這件事做到了極致 ，也把很多人鎖在一個錯誤心智模型裏——以為 AI 寫代碼的
...
2026-09-10 11:33
1351
數學建模第五課 ：從矩形麵積最大問題學會建立優化模型
在數學建模比賽中
，優化模型是最常見的數學模型。引言在實際問題中，優化模型是在一組約束條件下 ，使得具體目標的評判標準達到最優：例如公司經理要根據生產成本和市場需求確定產品價格
，使所獲利潤最高；調度人員要
...
2026-09-10 11:29
2199
AI加持後2天時間將公司的運維自動化提高了一個層次
近期工作安排包括自動化測試、自動化運維
、自動化運營和安全等一些工作 。自己做產品 、自己做設計 、自己做開發 、自己驗收上線還是挺爽滴
。這其中工作簡單的就是自動化運維 。但我今天真正要講的不是做了什麽 ，或者用了
...
2026-09-10 10:21
1587
"Mem2Evolve: Towards Self
北航的工作 Mem2Evolve發表於 ACL 2026
，提出了一種全新的智能體自我進化範式 ，把"能力擴展"與"經驗蒸餾"兩個過程耦合起來
，實現更穩定 、更高效的智能體持續進化背景LLM 智能體在各類應
...
2026-09-10 10:07
1068