#Rust

把 break 拿掉，case-fold 才跑得動

一次轉型，兩種答案：C++ 浮點轉整數的 UB

Roc 用 487 天把 Rust 編譯器改寫成 Zig

Kani，從零講起——rustc 不檢查的那三件事，怎麼用 model checking 補上

Reboot：把 C 直譯器幾乎全自動翻成 safe Rust

Iroh 1.0——用公鑰撥號取代 IP

pye 把 Wadler-Leijen pretty printer 重新拆過——document IR + 攤分的 group 決策

LinkedIn 的 HashMap resize 凍結——調查一場記憶體預算失算

Erasing Existentials——Rust 裡四種抹掉 existential 的辦法

2026.05.17 —— 今日 10 則