架構方法論
11 篇文章
能用 CI 與 Hook 鎖死的規則，絕不留在 Prompt 裡：從第一性原理談 AI 工程邊界
從亞里斯多德形式因到 Nancy Leveson 系統控制論，剖析為什麼「在 Prompt 裡千叮嚀萬囑咐」是軟體工程的幻覺，並示範如何以靜態防線、沙盒與動態控制迴圈重塑 AI Agent 工作區。
工程招聘要把技能證據和地位訊號分開
從凡勃倫、布迪厄與一篇談文化資本的長文出發，檢視履歷上的身分訊號如何影響評價，並提出以職務任務、工作樣本和共同評分規準蒐集工程能力證據的做法。
拆解衝動不是架構理由：重構先寫下不能破壞的行為
從佛洛伊德的死本能概念與一篇主張先拆再重建的長文出發，區分心理理論和系統改造證據，並用行為契約、逐步替換與回復條件限制重構風險。
部署控制器不該猜服務狀態：用 Hayek 的知識問題劃分中央與在地權限
從 Friedrich Hayek 對分散知識與即時情境的分析出發，拆解多服務部署中哪些規則應集中、哪些停啟決定應留在服務現場，並給出可驗收的權限與回復邊界。
Benchmark 結果要帶著成立條件：用 Cartwright 限定效能測試能證明什麼
從南希・Cartwright 的 nomological machine 與因果外推問題出發，檢查 workload、執行環境和作用機制如何限制 benchmark 的適用範圍，並建立連到 production-shape 驗證的決策步驟。
共享 CI 不只需要配額：用奧斯特羅姆追問誰能改規則
以共享 CI runner 的尖峰壅塞為例，借用奧斯特羅姆對共同資源治理的研究，設計可參與、可監測、可申訴的容量規則與驗收條件。
事故調查別讓警報替你下定義：用杜威探究法更新故障假設
從杜威《Logic: The Theory of Inquiry》的問題情境與探究模式出發，示範如何在事故調查中重寫問題、建立可區分的假設，並用低風險操作確認修正結果。
故障會讓系統關係浮現：從海德格的器具分析到可驗證的復原路徑
從《存在與時間》的器具關係與使用中斷出發，拆解檔案掃描流程的隱藏依賴，並將發現轉成狀態契約、復原責任與回歸測試。
系統邊界不是地圖外框：模型會先決定誰看得見
從康德的批判哲學到 Werner Ulrich 的批判系統啟發法，說明系統分析中的邊界判斷如何選定受益者、決策權、知識來源與被排除的受影響者，並提供可帶進需求工作坊的檢查問題。
大規模系統容量估算指南：工程師必須銘記的底層數字、數學模型與 SLA/SLO 設計
深度剖析系統架構師的底層數學工具箱：每個工程師都該知道的硬體延遲數字（Numbers Every Engineer Should Know）、日活躍用戶（DAU）到 QPS/TPS 峰值估算公式、5 年儲存容量與網路頻寬精算模型，以及 99.99%（4個9）高可用性 SLA 停機時間計算實務。
系統設計面試黃金方法論：PEDALS 4 步架構法、溝通節奏與紅線避坑指南
深度剖析頂級科技巨頭（FAANG / 矽谷大廠）系統設計面試（System Design Interview）通關秘笈：為什麼許多人技術很好卻拿不到 Offer？PEDALS 面試框架、4 步標準節奏控制（範圍釐清 ➔ 高階架構 ➔ 瓶頸深潛 ➔ 權衡總結）與 5 大致命紅線避坑指南。