The recording for the first µTVM meeting is now online. Thank you to everyone who participated. https://youtu.be/e4fBMDfBjpk