I've been working on a Rust course that takes a different approach from what I could find. I can't memorize rules. God knows I've tried. But if I understand th

I've been working on a Rust course that takes a different approach from what I could find. I can't memorize rules. God knows I've tried. But if I understand the system that produces them I can, because systems have structure and my brain can compress them. The course starts from CS fundamentals, computer architecture, and compilability and arrives at the borrow checker as a consequence. I also built a proc macro that decompresses Rust's syntax. For example: `let mut &mut x = r;` becomes `let owner(rebindable(x)) = mem_copy(at(r));` spelling out what's happening. Still very much WIP, building in public. Would appreciate eyes on it.