What's "new" in Miri (and also, there's a Miri paper!) (via fanf) — discussion

#rust