AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇 。我一直很好奇 AI 到底是怎麽工作的，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你 ，ChatGPT 回答你的那三秒鍾裏究竟在算什麽
，AI 為什麽
...
2026-09-12 03:22
2427
綜合
"Mem2Evolve: Towards Self
北航的工作 Mem2Evolve發表於 ACL 2026 ，提出了一種全新的智能體自我進化範式 ，把"能力擴展"與"經驗蒸餾"兩個過程耦合起來，實現更穩定、更高效的智能體持續進化背景LLM 智能體在各類應
...
2026-09-12 03:19
1530
實戰對比 ：用 mpremote/Putty/MobaXterm 連接樹莓派 Pico REPL ，誰更省心 ？
電腦連接樹莓派 Pico通過 USB 連接我們可以利用多個遠程控製終端通過 USB 線和樹莓派 Pico 進行連接通信 ，常見的遠程控製終端包括 MobaXterm
、Putty 、mpremote 、Xsh
...
2026-09-12 03:07
735
數學建模第五課：從矩形麵積最大問題學會建立優化模型
在數學建模比賽中 ，優化模型是最常見的數學模型。引言在實際問題中，優化模型是在一組約束條件下
，使得具體目標的評判標準達到最優 ：例如公司經理要根據生產成本和市場需求確定產品價格 ，使所獲利潤最高；調度人員要
...
2026-09-12 02:40
2596
.NET 11 Runtime Async 詳解
傳統 async/await.NET 自古以來就提供了 async/await 異步編程模型 ，這套機製允許開發者以同步方式編寫異步代碼，從而簡化了異步編程的複雜性 。async/await 機製本質上是
...
2026-09-12 02:36
1418
編程語言的「第三條道路」上 ，走得最遠的其實是 C#
"測試隻能證明 bug 的存在 ，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程
...
2026-09-12 02:25
903
MicroPython 開發避坑 ：用 Signal 類解決不同電路的電平兼容問題
推文在下麵實驗中 ，我們需要將 風雅一號板-七彩觸控擴展板插入到 風雅一號板-通用兼容擴展板上
：在以下例程中 ，我們通過 Signal 類控製兩個不同電路連接的 LED 燈 ，其中 GP17連接的 LED
...
2026-09-12 02:04
2883
編程語言的「第三條道路」上，走得最遠的其實是 C#
"測試隻能證明 bug 的存在，卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ，標題叫《編程
...
2026-09-12 02:03
2310
一文搞懂 LLM 的 Transformer ！看完能和別人吹一年
如果你想對當下 AI LLM(大語言模型) 的工作原理有所了解 ，揭開 ChatGPT、DeepSeek 背後的秘密 ，那一定要認識一下本文的主角 Transformer 。當提起 Transformer
...
2026-09-12 02:01
1543
用 crontab 給 LLM 使用量裝上“監控眼”
在把大模型接入日常工作流之後，筆者很快遇到了一個新問題 ：模型到底被用了多少次 ？每天的高峰時段是什麽時候 ？周末是不是真的沒人調用 ？如果對這些數據一無所知 ，就談不上優化成本、排查異常，更談不上為後續擴容做
...
2026-09-12 01:29
2348