Top 1,000 Features Creators Resources Extensions Blog Explorer Download
GitHub icon

A brief interview with Mu creator Dr. Kartik Agaram

by Hassam Alhajaji


November 22, 2022 — Dr. Kartik Agaram is a professional programmer by day and the author of several open source projects that try to demystify computers. His projects all show a great love for programming and empathy for readers grappling with a strange codebase.


Hassam: What problem is Mu attempting to solve?

Dr. Agaram: Can we encourage people to modify the programs on their computers without impeding their ability to work with others?

The world currently creates software with certain unquestioned assumptions:

These assumptions lead to many problems:

This way of working has been transplanted from the way humans have built artifacts before the time of computers. However, software is different:

The way to fix this, I think, is to start with what makes computers different from anything else in human experience.

Hassam: Doesn't this approach risk destabilizing people's computers?

Dr. Agaram: You're absolutely right. I'm asking people to make changes to programs they're not very familiar with, and that increases the odds of breaking something. I have 3 defenses.

  1. Mistakes can be protected against. We can detect them quickly, and we can support undoing them quickly. Guardrails like formal analysis (types and so on) and tests help with the former. Version control helps with the latter. Both are fairly mature and reliable. We should all lean on them more to avoid bigger problems elsewhere.
  2. Philosophically I think mistakes can often be very desirable. If you make lots of small mistakes, that can help you avoid big mistakes. This is the idea of hormesis that Nassim Taleb popularized. Avoiding large forest fires by having annual controlled burns, for example. In software I think mistakes can be very desirable because they allow the design rationale for programs to spread through a wider audience of programmers, and to not be forgotten over time.
  3. I'd argue software today is already fairly unstable. We find vulnerabilities constantly. We find apps exfiltrating behavioral data on a regular basis. And even our cheese gets moved fairly often when we upgrade. So it's not clear to me how much we're giving up.

So yes, breakage will be a little more visible where it's normally happening in areas that are easy to ignore. Perhaps this is a good thing? Software is in the stone ages. I think we all would benefit from reminders of this fact. We might be annoyed more but suffer fewer catastrophes.

Hassam: This is a big, ambitious project. How did you get motivated to start working on it?

Dr. Agaram: When I started Mu I'd been working in tech companies for a while, and I was disillusioned. Large companies are slow, bureaucratic and permit all kinds of shoddy work and weighty-seeming over-engineering. It seemed to me that they should be getting at least technically out-competed by smaller companies, even if they still often win from a business perspective. (I was very influenced early on by Tracy Kidder's book, "The soul of a new machine" about how Data General went out of business in spite of building a technically superior computer.) But when I looked around, the smaller companies didn't seem that much better. They were all trying furiously to grow, not just in adoption but also in the population of their programmers. They didn't seem more capital-efficient. Software is supposed to be scalable. Why are we having such trouble keeping our programs running without constant attention? I think there's a rot in the foundations that we keep trying to paper over and forget about. We should instead keep exposing it, reminding ourselves of it, trying new ways to rid ourselves of it.

You have my heartfelt gratitude Dr. Agaram!

View source

- Build the next great programming language · About · Acknowledgements · Published by Breck's Lab