A couple of major milestones this week that video isn't a good fit for:
1. I went back and checked if my old workflow for turning programs into bootable disk images still works, and lo it does. See screenshot.
2. Mu is now
millimeters away from being completely memory-safe. While mostly mapping statements 1:1 with machine code instructions. To mark the occasion, here's a summary of the whole language:
https://github.com/akkartik/mu/blob/main/mu.md. It's not as expressive as C. But it's safe! That means incorrect programs should error out either at compile time or immediately at run time when they try to do something invalid (such as treat memory for one type as another). (Trading off compiler simplicity for some runtime checks is where Mu differs from Rust.)
(Main project page:
https://github.com/akkartik/mu)