最近寫期中 PMD 去翻 git log 發現 Rust commit 數量超過 C++ 了，希望下半年可以繼續保持

Moving Beyond Type Systems | Vhyrro's Digital Garden

The borrow checker within · baby steps

發燒進入第四天喉嚨也超痛，以後流感疫苗一定去打

UW PLSE | Herbie, the Numerical Compiler

Compilers for free with weval

GitHub - HigherOrderCO/Bend: A massively parallel, h...

Efficiently Synthesizing Lowest Cost Rewrite Rules f...

Legalizations in LLVM Backend

Some notes on Rust, mutable aliasing and formal veri...