~~<i id='6A95A2EBD2'><strike id='6A95A2EBD2'><tt id='6A95A2EBD2'><pre id='6A95A2EBD2'></pre></tt></strike></i>~~

当前位置: 当前位置：首页 > 知識

知識

編程語言的「第三條道路」上，走得最遠的其實是 C#: 时间：2026-09-13 12:28; "測試隻能證明 bug 的存在，卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章，標題叫《編程 ..

經常用 Codex 後，我發現 AGENTS.md 隻該管一件事

时间：2026-09-13 12:25

讓 Codex 少走彎路：一份全局 AGENTS.md 的取舍Codex GPT-5.6、Claude Fable 這一代模型變強後，我反而開始刪 Prompt。以前總怕 AI 理解錯。恨不得把“先看 ..

AI 範式越遷：使用 XXL

时间：2026-09-13 12:12

AI 範式越遷：使用 XXL-BOOT SKILL 實現一句話直生業務從「一行 SQL 生成代碼」到「一句需求直生業務」——業務開發正式進入 AI 範式新時代。隨著大模型編程助手的成熟，業務交付範式正 ..

用 crontab 給 LLM 使用量裝上“監控眼”

时间：2026-09-13 12:05

在把大模型接入日常工作流之後，筆者很快遇到了一個新問題：模型到底被用了多少次？每天的高峰時段是什麽時候？周末是不是真的沒人調用？如果對這些數據一無所知，就談不上優化成本、排查異常，更談不上為後續擴容做 ..

AI編程實戰：博客建站+RAG知識庫

时间：2026-09-13 11:58

大家好，我是Java烘焙師。最近利用業餘時間，完成了博客建站+RAG知識庫的搭建，分享一下過程中遇到的選型問題、實現步驟。搭建博客站點和RAG知識庫的初衷，是因為日積月累寫了幾十篇技術文章，希望有一個 ..

AI編程實戰：博客建站+RAG知識庫

时间：2026-09-13 11:52

實戰對比：用 mpremote/Putty/MobaXterm 連接樹莓派 Pico REPL，誰更省心？

时间：2026-09-13 11:49

電腦連接樹莓派 Pico通過 USB 連接我們可以利用多個遠程控製終端通過 USB 線和樹莓派 Pico 進行連接通信，常見的遠程控製終端包括 MobaXterm、Putty、mpremote、Xsh ..

感謝艾思科藍成為博客園讚助商

时间：2026-09-13 11:42

在2025年歲末臨近之際，園子又添驚喜，迎來一家新的讚助商——艾思科藍。非常感謝艾思科藍的讚助！以下是艾思科藍的介紹：艾思科藍(AiScholar)，立足科研領域的連接者，致力於探索“人工智能+科研學 ..

Pretext ：值得關注的文本排版引擎

时间：2026-09-13 11:19

Pretext 是一個用 TypeScript 實現的用於多行文本精確測量和布局的引擎。不碰 DOM，不觸發 reflow，卻能完美匹配瀏覽器字體引擎在各種語言、emoji、混合文字方向下的真實表現。 ..

經常用 Codex 後，我發現 AGENTS.md 隻該管一件事

时间：2026-09-13 11:05

讓 Codex 少走彎路：一份全局 AGENTS.md 的取舍Codex GPT-5.6 、Claude Fable 這一代模型變強後，我反而開始刪 Prompt 。以前總怕 AI 理解錯。恨不得把“先看 ..

k8s安裝metrics

时间：2026-09-13 11:04

背景：有監控node節點pod的CPU等資源，實現自動擴縮容的需要下，需要安裝metrics-serverk8s版本：1.30.14kubadm安裝）對應metrics-server版本：0.8x本 ..

實戰對比：用 mpremote/Putty/MobaXterm 連接樹莓派 Pico REPL ，誰更省心？

时间：2026-09-13 10:45

MHS 三部曲（上）：別急著叫它「物理 MCP」——Anthropic 到底發布了什麽

时间：2026-09-13 10:43

導讀2026 年 8 月 27 日，Anthropic 開放 MHSModel Hardware Standard，模型硬件標準）研究預覽版。消息很快被壓縮成一句話：「Claude 長出雙手，AI 走 ..

數學建模第五課：從矩形麵積最大問題學會建立優化模型

时间：2026-09-13 10:29

在數學建模比賽中，優化模型是最常見的數學模型。引言在實際問題中，優化模型是在一組約束條件下，使得具體目標的評判標準達到最優：例如公司經理要根據生產成本和市場需求確定產品價格，使所獲利潤最高；調度人員要 ..

編程語言的「第三條道路」上，走得最遠的其實是 C#

时间：2026-09-13 10:21

"測試隻能證明 bug 的存在，卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章，標題叫《編程 ..

訂單的含金量在分化

时间：2026-09-13 10:20

訂單含金量在下降，訂單研發的含金量在上升。01產品體係中，訂單管理作為交易鏈路上最核心的模塊，其流程的難度和複雜度都比較高，尤其是在經典的電商業務中，訂單幾乎和係統中所有核心的模塊都有交互，在訂單設計 ..

生產事故

时间：2026-09-13 10:18

入職多年，麵對生產環境，盡管都是小心翼翼，慎之又慎，還是難免捅出簍子。輕則滿頭大汗，麵紅耳赤。重則係統停擺，損失資金。每一個生產事故的背後，都是寶貴的經驗和教訓，都是項目成員的血淚史。為了更好地防範和 ..

AI 編碼 Agent 從原理到可運行代碼

时间：2026-09-13 10:16

1. 概述過去五年，開發者與 AI 的關係被「Tab 鍵」定義：模型猜下一行，人決定接不接受。GitHub Copilot 把這件事做到了極致，也把很多人鎖在一個錯誤心智模型裏——以為 AI 寫代碼的 ..

純 .NET 手寫 CUDA kernel，GLM

时间：2026-09-13 09:57

如果你所在的團隊是 .NET 技術棧，又想把大模型推理收進自己的進程裏，這篇文章值得你花五分鍾。8 月 26 日，智譜 GLM-5.3-FlashMIT 許可，首日開源）和阿裏 Qwen3.8-Fla ..

MicroPython 開發避坑：用 Signal 類解決不同電路的電平兼容問題

时间：2026-09-13 09:50

推文在下麵實驗中，我們需要將風雅一號板-七彩觸控擴展板插入到風雅一號板-通用兼容擴展板上：在以下例程中，我們通過 Signal 類控製兩個不同電路連接的 LED 燈，其中 GP17連接的 LED ..

热门文章

文章排行