文章索引
記錄系統設計、AI Agent 工作流,以及實際專案裡值得保留的技術取捨。

即時多人協作系統架構:OT(操作轉換)與 CRDT(無衝突複製資料型態)實戰
深入剖析 Google Docs 與 Figma 協作背後的核心架構:並行衝突消解、OT 中心化轉換局限與 O(N²) 瓶頸、CRDT 半格數學收斂、Yjs 雙向鏈表 StructStore 與 WebSocket 增量傳輸工程落地實戰。

告別 Redis:Shopify 如何用 MySQL 8 SKIP LOCKED 扛住黑五百萬級庫存預扣
深度剖析 Shopify 捨棄 Redis 轉向 MySQL 統一儲存架構的庫存預扣(Oversell Protection)演進:藉由有界單元池、複合主鍵、READ COMMITTED 隔離級別消除間隙鎖,並透過 ProxySQL 連線標記治理找出真正的系統水力學瓶頸。

Tailcat 的工程判斷:拆掉控制平面後,安全連線的責任去哪裡?
從 Tailscale 新開源的 Tailcat 出發,拆解 WireGuard、NAT traversal 與 DERP 資料平面可被獨立使用的條件,以及身分、ACL、金鑰輪替與事故復原為何不能一起消失。

TLS 憑證驗證不是黑盒:用一次握手看懂 HTTPS 信任鏈與排錯
從 TLS 1.3 的身分驗證、完整性與機密性三個目標出發,拆解憑證、ECDHE 與 AEAD 各自的責任;附上可直接執行的 OpenSSL 檢查流程,讓 SSL 憑證錯誤能被定位而非繞過。

Herdr 解決的不是終端分頁:當 Agent 開始等你時,才需要 Runtime
從 Herdr 的近期實測與社群回饋出發,判斷何時 agent-aware terminal runtime 能降低等待與交接成本,何時 tmux 或 Zellij 已經足夠。

Claude 工作環境別一次裝滿:先把可重用的 context 與核准邊界排好
從 Claude 的 memory、projects、skills、connectors 到排程與瀏覽器操作,建立一條由低副作用到可驗收自動化的採用順序,避免把「少重複貼 context」誤當成「可以自動代表你行動」。

模型變強後,Harness 該先刪什麼:保留外部狀態與可驗收證據
把模型升級當成一次 Harness 消融測試:刪除只補模型弱點的固定流程,保留外部狀態、權限與獨立驗收,並用四組對照量出真正收益。

KV Cache 不是一個優化項:先分清楚你要減少的是容量、頻寬還是重複
從 Avi Chawla 的 KV cache 分類出發,將模型架構、token 保留、位元精度、配置重用與 offloading 變成一張 production capacity ledger,避免把不同代價誤當成同一個開關。

AI 回答很快,但代價可能慢慢出現:用二階思考設計使用方式
把「然後呢?」變成 AI 工作流的固定檢查:區分交付、判斷與學習任務,在速度之外保留驗證、能力與資料邊界。

Grok Bot 真正放大的不是 Agent 數量,而是工程管理迴路
從五個專責 Bot、Notion 任務帳本、定期巡檢與證據式驗收,拆解如何把雲端 Coding Agents 組成可持續運作的工程控制平面。