more tech musing 

i wonder if it'd be possible to have some kinda permissions based embeddable runtime for stuff like games to include as part of their modding platforms. ideally you'd formally verify it in some meaningful way so that games using the runtime can know that untrusted code from arbitrary mods the player downloaded won't be able to do anything unscrupulous, like store huge data or connect to the internet, without their express consent

im sure there's problems with this idea tho lmao

re: more tech musing 

@typhlosion this sounds extremely doable with a good capability security model

unfortunately i have no idea whether a good capability security model has ever actually been implemented

Follow

re: more tech musing 

@00dani seL4 has a formally verified one! but that's a microkernel. that's perhaps a bit out of scope

Sign in to participate in the conversation
Awoo Space

Awoo.space is a Mastodon instance where members can rely on a team of moderators to help resolve conflict, and limits federation with other instances using a specific access list to minimize abuse.

While mature content is allowed here, we strongly believe in being able to choose to engage with content on your own terms, so please make sure to put mature and potentially sensitive content behind the CW feature with enough description that people know what it's about.

Before signing up, please read our community guidelines. While it's a very broad swath of topics it covers, please do your best! We believe that as long as you're putting forth genuine effort to limit harm you might cause – even if you haven't read the document – you'll be okay!