@CrebboElodie If you didn't already know about it there's Kitsune Tails :3 I haven't played it, but it looks good if you like platforms/super mario brothers 2 kitsunegames.com/kitsunetails/
@mildsunrise From the other posts in the thread this actually sounds even less related than I might have thought. I was thinking more on how it lets you reason on a high level what a program or parts of it can and can't do, but you're talking about memory pointers and stuff
@mildsunrise Hmm. This doesn't sound like object capabilities, but you may be interested in them anyway if you're thinking about sandboxing. I liked this intro on it
@ghostlyash There'd be different categories. Fastest to fall asleep. Hardest to wake up. Best dream recollection. Total time slept. ect. I'd do ok on fastest to fall asleep, I think.