焦點
-
Keepalived詳解 :原理 、編譯安裝與高可用集群配置
在高可用架構中 ,避免單點故障至關重要。Keepalived正是為了解決這一問題而生的輕量級工具 。本文將深入淺出地介紹Keepalived的工作原理 ,並提供從編譯安裝到實戰配置的完整指南。1. Keep ...
-
AI編程實戰:博客建站+RAG知識庫
大家好,我是Java烘焙師 。最近利用業餘時間 ,完成了博客建站+RAG知識庫的搭建 ,分享一下過程中遇到的選型問題、實現步驟 。搭建博客站點和RAG知識庫的初衷,是因為日積月累寫了幾十篇技術文章,希望有一個 ...
-
編程語言的「第三條道路」上 ,走得最遠的其實是 C#
"測試隻能證明 bug 的存在 ,卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ,標題叫《編程 ...
-
AI 編碼 Agent 從原理到可運行代碼
1. 概述過去五年,開發者與 AI 的關係被「Tab 鍵」定義:模型猜下一行 ,人決定接不接受。GitHub Copilot 把這件事做到了極致,也把很多人鎖在一個錯誤心智模型裏——以為 AI 寫代碼的 ...
-
AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇。我一直很好奇 AI 到底是怎麽工作的,於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你,ChatGPT 回答你的那三秒鍾裏究竟在算什麽,AI 為什麽 ...
-
codex對接智譜coding plan,我發現連cc switch也不用了
背景大家好 ,我是逐日 。周末在家裏電腦折騰 ,本來還是按慣例在弄codex--》cc switch--》智譜,翻官方文檔的過程中 ,發現智譜好像已經原生支持了openai的response接口。試了試,連c ...
-
AI編程實戰:博客建站+RAG知識庫
大家好,我是Java烘焙師 。最近利用業餘時間 ,完成了博客建站+RAG知識庫的搭建,分享一下過程中遇到的選型問題、實現步驟 。搭建博客站點和RAG知識庫的初衷 ,是因為日積月累寫了幾十篇技術文章,希望有一個 ...
-
MicroPython 開發避坑 :用 Signal 類解決不同電路的電平兼容問題
推文在下麵實驗中 ,我們需要將 風雅一號板-七彩觸控擴展板插入到 風雅一號板-通用兼容擴展板上:在以下例程中,我們通過 Signal 類控製兩個不同電路連接的 LED 燈 ,其中 GP17連接的 LED ...