Dobry zdroj byl podle me clanek, kde autor jazyka Roc popisoval, proc prepisuje standardni knihovnu z Rustu do Zigu. Jednim z duvodu byly prave problemy s nedefinovanym chovanim v unsafe Rustu (popisoval tam, ze Miri spadne pri prvnim vyskytu nedefinovaneho chovani, takze musel forknout cizi crate, opravit nedefinovane chovani a znovu spustit Miri). Bohuzel tenhle clanek nemohu najit.
Zdrojem je i seznam bugu, ktere Miri naslo.