焦點

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

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

焦點 2026-09-12 01:15 441
為什麽說WEB框架PasteApeart是AI Coding時代的黃金搭檔，從此開啟敏捷開發新思路

在AI代碼生成工具大行其道的今天，一個大膽的論斷正在開發者社區流傳：有一個WEB框架，其開發效率可以超越AI 。這聽起來像是天方夜譚，但PasteApeart即升級版PasteForm）正將這一設想變為 ...

焦點 2026-09-12 00:52 404
感謝艾思科藍成為博客園讚助商

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

焦點 2026-09-12 00:50 1393
AI加持後2天時間將公司的運維自動化提高了一個層次

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

焦點 2026-09-12 00:44 340
代碼是 AI 寫的，生產事故誰背鍋？

最近在做 Code Review 的時候，我發現團隊裏越來越多的年輕工程師，開始頻繁提交一些看起來極其規整、甚至連注釋都寫得完美無缺，但稍微往深了一看，業務邏輯根本跑不通的代碼。問他們怎麽寫的，答案出 ...

焦點 2026-09-12 00:32 1895
感謝艾思科藍成為博客園讚助商

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

焦點 2026-09-12 00:18 93
實戰對比：用 mpremote/Putty/MobaXterm 連接樹莓派 Pico REPL，誰更省心？

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

焦點 2026-09-11 23:47 763
k8s安裝metrics

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

焦點 2026-09-11 23:31 1082
Keepalived詳解：原理、編譯安裝與高可用集群配置

在高可用架構中，避免單點故障至關重要。Keepalived正是為了解決這一問題而生的輕量級工具。本文將深入淺出地介紹Keepalived的工作原理，並提供從編譯安裝到實戰配置的完整指南。1. Keep ...

焦點 2026-09-11 23:24 601
經常用 Codex 後，我發現 AGENTS.md 隻該管一件事

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

焦點 2026-09-11 23:23 1662
編程語言的「第三條道路」上，走得最遠的其實是 C#

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

焦點 2026-09-11 22:50 1786
數學建模第五課：從矩形麵積最大問題學會建立優化模型

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

焦點 2026-09-11 22:44 2655