@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