2026年7月4日 無法對分散式protocol做單元測試，但可以做模型檢驗 分散式缺陷在部署後修復成本高昂。模型檢驗能讓你在寫下第一行實作程式碼之前就發現它們。以下是如何使用 TLA+ 做到這一點。 model-checkingdistributed-systemstlaplusprotocol-design
2026年6月1日 你的 Web Service 有一條 Graceful Shutdown 路徑。那就是 Bug。 Crash-only software 把每一次失敗都當成 crash，把每一次啟動都當成 recovery。對 Web Service 來說，這意味著刪掉你的 shutdown 邏輯，並設計出能撐過 kill -9 的狀態。 deep-divescrash-only-softwareresiliencedistributed-systems
