How do we formally model and understand interaction with programming systems? The choose-your-own-adventure calculus is a small model of an interaction pattern that we find in data exploration, data wrangling or interactive theorem proving. The calculus lets us talk about the pattern and study its different properties, much like formal models based on the lambda calculus let us understand programming languages.| tomasp.net
This post is a response to the first Malleable Systems Challenge Problem, which explores the theme of fearless extensibility. The challenge asks participants to think deeply about how we can achieve powerful extensibility in systems without introducing significant security and maintenance risks. In this post, I’ll be exploring several dimensions of the problem and proposing ideas for balancing the benefits of extensibility with the inherent challenges.| bandukwala.me