What's "new" in Miri (and also, there's a Miri paper!)
www.ralfj.de
It is time for another “what is happening in Miri” post. In fact this is way overdue, with the previous update being from more than 3 years ago (what even is time?!?), but it is also increa...