~~<i id='02F135DC0D'><strike id='02F135DC0D'><tt id='02F135DC0D'><pre id='02F135DC0D'></pre></tt></strike></i>~~

当前位置: 当前位置：首页 > 探索

探索

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

具身智能運動控製與軟件棧：你的代碼隻活在中間件之上

时间：2026-09-06 10:41

一台人形機器人裏跑著五層軟件，頻率從 10Hz 到 20kHz ，差三個數量級。這個頻率斷層把每層軟件的地盤劃死了，也把集成商的邊界劃死了：五層裏集成商能碰的隻有中間件那一層，你的代碼活在它之上，值錢的 ..

[python] pywinauto使用指北

时间：2026-09-06 10:40

當業務係統沒有API、命令行接口或可直接集成的數據通道時，桌麵自動化往往是打通業務流程的最後一公裏。pywinauto庫通過Win32 API與Microsoft UI AutomationUIA）訪 ..

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

时间：2026-09-06 10:28

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

一文搞懂 LLM 的 Transformer！看完能和別人吹一年

时间：2026-09-06 10:05

如果你想對當下 AI LLM(大語言模型) 的工作原理有所了解，揭開 ChatGPT、DeepSeek 背後的秘密，那一定要認識一下本文的主角 Transformer。當提起 Transformer ..

AI 不會淘汰你，但會淘汰「隻會點發送」的那類人

时间：2026-09-06 10:02

同事小李用 AI 半小時拚完周報，會議室裏老板隻問了一句：「第三段數據從哪來的？錯了你負責嗎？」小李愣住——他隻點了發送，從沒點開過鏈接。這不是 AI 不行，是人把「會用 AI」和「能扛事」混成了一件 ..

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

时间：2026-09-06 09:49

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

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

时间：2026-09-06 09:47

別再吹牛了，100% Vibe Coding 存在無法自洽的邏輯漏洞！

时间：2026-09-06 09:42

注：本文是親身經曆企業級的 Vibe coding 項目後的經驗總結，有趣的是在寫這篇文章過程中，查到一個很好玩的資料，就是 Vibe Coding 這個詞的發明者 Andrej KarpathyOp ..

k8s安裝metrics

时间：2026-09-06 09:36

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

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

时间：2026-09-06 09:32

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

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

时间：2026-09-06 09:23

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

AI 寫代碼有多厲害？——快了 55%，但錯多了 75%

时间：2026-09-06 09:16

這是「AI是怎麽回事」係列的第 15 篇。我一直很好奇 AI 到底是怎麽工作的，於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你，ChatGPT 回答你的那三秒鍾裏究竟在算什麽，AI 為 ..

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

时间：2026-09-06 09:08

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

时间：2026-09-06 08:41

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

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

时间：2026-09-06 08:35

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

生產事故

时间：2026-09-06 08:30

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

具身智能運動控製與軟件棧：你的代碼隻活在中間件之上

时间：2026-09-06 08:25

一台人形機器人裏跑著五層軟件，頻率從 10Hz 到 20kHz，差三個數量級。這個頻率斷層把每層軟件的地盤劃死了，也把集成商的邊界劃死了：五層裏集成商能碰的隻有中間件那一層，你的代碼活在它之上，值錢的 ..

AI加持後2天時間將公司的運維自動化提高了一個層次

时间：2026-09-06 08:14

近期工作安排包括自動化測試、自動化運維、自動化運營和安全等一些工作。自己做產品、自己做設計、自己做開發、自己驗收上線還是挺爽滴。這其中工作簡單的就是自動化運維。但我今天真正要講的不是做了什麽，或者用了 ..

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

时间：2026-09-06 08:14

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

热门文章

文章排行