2026年8月18日 統計除錯本該終結 printf 除錯時代。大多數團隊卻從沒讓它跑起來。 統計除錯承諾透過將程式行為與失敗關聯來精確定位 bug。以下是這個想法為何從未從研究論文跨進生產系統的原因。 statistical-debuggingchallengesadoptiondebugging
2026年8月10日 Session types 確實有效。只是多數語言拒絕實作它們。 Session types 將通訊protocol編碼進型別系統，把執行期protocol錯誤變成編譯期失敗。以下是它們為何在研究論文裡待了三十年，才終於能進入正式產品程式碼。 session-typesresearchadoptiontype-systems
