百科
- 基於NetCorePal Cloud Framework的DDD架構管理係統實踐
- 时间:2026-09-08 19:54
- 基於NetCorePal Cloud Framework的DDD架構管理係統實踐前段時間在做一個管理係統的項目,想嚐試一下DDD架構在實際項目中的應用。經過一番調研,最終選擇了NetCorePal C
..
-
具身智能運動控製與軟件棧:你的代碼隻活在中間件之上
时间:2026-09-08 19:40
一台人形機器人裏跑著五層軟件
,頻率從 10Hz 到 20kHz,差三個數量級。這個頻率斷層把每層軟件的地盤劃死了 ,也把集成商的邊界劃死了:五層裏集成商能碰的隻有中間件那一層,你的代碼活在它之上
,值錢的
..
編程語言的「第三條道路」上,走得最遠的其實是 C#
时间:2026-09-08 19:34
"測試隻能證明 bug 的存在
,卻永遠無法證明 bug 的缺席
。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章
,標題叫《編程
..
AI 範式越遷:使用 XXL
时间:2026-09-08 19:18
AI 範式越遷:使用 XXL-BOOT SKILL 實現一句話直生業務從「一行 SQL 生成代碼」到「一句需求直生業務」——業務開發正式進入 AI 範式新時代。隨著大模型編程助手的成熟 ,業務交付範式正
..
別再吹牛了,100% Vibe Coding 存在無法自洽的邏輯漏洞
!
时间:2026-09-08 19:02
注:本文是親身經曆企業級的 Vibe coding 項目後的經驗總結,有趣的是在寫這篇文章過程中
,查到一個很好玩的資料
,就是 Vibe Coding 這個詞的發明者 Andrej KarpathyOp
..
實戰對比:用 mpremote/Putty/MobaXterm 連接樹莓派 Pico REPL ,誰更省心 ?
时间:2026-09-08 18:58
電腦連接樹莓派 Pico通過 USB 連接我們可以利用多個遠程控製終端通過 USB 線和樹莓派 Pico 進行連接通信
,常見的遠程控製終端包括 MobaXterm、Putty、mpremote
、Xsh
..
AI 編碼 Agent 從原理到可運行代碼
时间:2026-09-08 18:54
1. 概述過去五年,開發者與 AI 的關係被「Tab 鍵」定義:模型猜下一行
,人決定接不接受。GitHub Copilot 把這件事做到了極致
,也把很多人鎖在一個錯誤心智模型裏——以為 AI 寫代碼的
..
實戰對比
:用 mpremote/Putty/MobaXterm 連接樹莓派 Pico REPL
,誰更省心?
时间:2026-09-08 18:54
電腦連接樹莓派 Pico通過 USB 連接我們可以利用多個遠程控製終端通過 USB 線和樹莓派 Pico 進行連接通信,常見的遠程控製終端包括 MobaXterm、Putty
、mpremote
、Xsh
..
.NET 11 Runtime Async 詳解
时间:2026-09-08 18:35
傳統 async/await.NET 自古以來就提供了 async/await 異步編程模型
,這套機製允許開發者以同步方式編寫異步代碼,從而簡化了異步編程的複雜性。async/await 機製本質上是
..
實戰對比:用 mpremote/Putty/MobaXterm 連接樹莓派 Pico REPL,誰更省心
?
时间:2026-09-08 18:34
電腦連接樹莓派 Pico通過 USB 連接我們可以利用多個遠程控製終端通過 USB 線和樹莓派 Pico 進行連接通信,常見的遠程控製終端包括 MobaXterm
、Putty、mpremote、Xsh
..
數學建模第五課:從矩形麵積最大問題學會建立優化模型
时间:2026-09-08 18:32
在數學建模比賽中,優化模型是最常見的數學模型。引言在實際問題中
,優化模型是在一組約束條件下
,使得具體目標的評判標準達到最優:例如公司經理要根據生產成本和市場需求確定產品價格,使所獲利潤最高;調度人員要
..
用 crontab 給 LLM 使用量裝上“監控眼”
时间:2026-09-08 18:13
在把大模型接入日常工作流之後,筆者很快遇到了一個新問題:模型到底被用了多少次
?每天的高峰時段是什麽時候?周末是不是真的沒人調用 ?如果對這些數據一無所知,就談不上優化成本、排查異常
,更談不上為後續擴容做
..
Pretext:值得關注的文本排版引擎
时间:2026-09-08 18:06
Pretext 是一個用 TypeScript 實現的用於多行文本精確測量和布局的引擎 。不碰 DOM,不觸發 reflow
,卻能完美匹配瀏覽器字體引擎在各種語言、emoji、混合文字方向下的真實表現
。
..
AI加持後2天時間將公司的運維自動化提高了一個層次
时间:2026-09-08 18:05
近期工作安排包括自動化測試 、自動化運維
、自動化運營和安全等一些工作 。自己做產品、自己做設計
、自己做開發、自己驗收上線還是挺爽滴 。這其中工作簡單的就是自動化運維。但我今天真正要講的不是做了什麽 ,或者用了
..
具身智能運動控製與軟件棧:你的代碼隻活在中間件之上
时间:2026-09-08 18:05
一台人形機器人裏跑著五層軟件 ,頻率從 10Hz 到 20kHz,差三個數量級
。這個頻率斷層把每層軟件的地盤劃死了,也把集成商的邊界劃死了
:五層裏集成商能碰的隻有中間件那一層,你的代碼活在它之上,值錢的
..
數學建模第五課:從矩形麵積最大問題學會建立優化模型
时间:2026-09-08 17:57
在數學建模比賽中,優化模型是最常見的數學模型 。引言在實際問題中,優化模型是在一組約束條件下 ,使得具體目標的評判標準達到最優 :例如公司經理要根據生產成本和市場需求確定產品價格,使所獲利潤最高;調度人員要
..
代碼是 AI 寫的,生產事故誰背鍋?
时间:2026-09-08 17:51
最近在做 Code Review 的時候,我發現團隊裏越來越多的年輕工程師,開始頻繁提交一些看起來極其規整
、甚至連注釋都寫得完美無缺 ,但稍微往深了一看,業務邏輯根本跑不通的代碼 。問他們怎麽寫的,答案出
..
AI 不會淘汰你
,但會淘汰「隻會點發送」的那類人
时间:2026-09-08 17:45
同事小李用 AI 半小時拚完周報,會議室裏老板隻問了一句:「第三段數據從哪來的?錯了你負責嗎?」小李愣住——他隻點了發送
,從沒點開過鏈接。這不是 AI 不行,是人把「會用 AI」和「能扛事」混成了一件
..
數學建模第五課:從矩形麵積最大問題學會建立優化模型
时间:2026-09-08 17:43
在數學建模比賽中,優化模型是最常見的數學模型。引言在實際問題中,優化模型是在一組約束條件下 ,使得具體目標的評判標準達到最優:例如公司經理要根據生產成本和市場需求確定產品價格
,使所獲利潤最高;調度人員要
..
經常用 Codex 後 ,我發現 AGENTS.md 隻該管一件事
时间:2026-09-08 17:36
讓 Codex 少走彎路
:一份全局 AGENTS.md 的取舍Codex GPT-5.6、Claude Fable 這一代模型變強後,我反而開始刪 Prompt
。以前總怕 AI 理解錯。恨不得把“先看
..