Sandboxing in Teliva

https://archive.org/details/akkartik-teliva-2021-12-25 (video; 2 minutes)

Programming languages assume all code they run is trustworthy. Browsers assume all connections they make over a network are trustworthy. I'm starting to experiment with alternatives to these approaches. Here's one early, extremely caricatured sandboxing model that's already more flexible than both conventional languages and browsers.

Main project page: https://github.com/akkartik/teliva