Another month as a MiR: eMudhra, RustChinaConf, and more.
Latest blog posts
My experience working on rustup full-time for the 2nd month.
Maintaining rustup full-time for the first month: how's everything going?
Grasping the last moment of silence that concludes a violent year.
Trying to add a proper lock to your favorite toolchain manager.
Convince the prover that your function will terminate.