God, that's the worst. Minecraft is also what led us to accidentally bind my child's account to the administrator account on my TV PC, and because he's a minor we can't actually unbind that account. I've tried for hours and have not succeeded.
"Just make a new account." It's possible but then we'd have to make sure we get every single saved game for all the various games moved over and ugh.
I write Rust for embedded systems and both effects and linear types would be meaningful improvements. Effects especially: if you have multiple cores in a coherent memory domain AND you run with interrupts enabled, you have to deal with three types of mutex:
- data accessed by multiple cores and interrupt handlers must be modified under a spin lock and with interrupts disabled
- data accessed by multiple cores but not interrupt handlers only needs the spin lock
- data accessed by one core but maybe interrupt handlers only needs to pay for disabling interrupts
Depending on your core and how performance sensitive the code is, the costs of the above can vary significantly. It would be nice to encode these rules in the type system.
(Ordered types might be useful for “critical sections” — that is, areas where interrupts are disabled and the interrupt disablement guard absolutely must be dropped in order.)
> Apple M1 has an undocumented extension that, when enabled, ensures instructions like ADDS, SUBS and CMP compute PF and AF and store them as bits 26 and 27 of NZCV respectively, providing accurate emulation with no performance penalty.
"Just make a new account." It's possible but then we'd have to make sure we get every single saved game for all the various games moved over and ugh.