#infra

把虛擬機隔離證明成數學定理——EC2 的形式化驗證引擎

用隨機圖蓋資料中心網路——Amazon 的 RNG 怎麼把 fat-tree 換下來

把機房斷電當成測試項目——Meta 怎麼驗證瞬時斷電就緒度

Notion 兩年的 vector search 路：從 pgvector 單機到 60 億 chunk、成本砍掉九成

Encrypted Client Hello 進 NGINX——把最後一截明文 SNI 藏進加密握手

低延遲交易系統的五根支柱——從 NIC kernel bypass 到 p99，把 wire-to-wire 拆到微秒級