Philosophy

We believe that managing the burgeoning complexity of software requires automation, and that unlocking it will contribute to human flourishing -- everyone, from individuals to large corporations, will be empowered to create and improve our digital tools.

For individuals, decreasing the marginal cost of programming will help open-source, open-protocol software that anyone can fix or improve. That is: software will be come more democratic.

This will be a boon for humanity: code that better represents the needs and desires of users! Imagine if improving software were as easy as editing Wikipedia.

For larger organizations, program synthesis will allow productivity beyond the context window of human short-term and long-term memory, allowing far more sophisticated and powerful products to be made.

Many of the ideas behind program synthesis also work well for symbolic regression and scientific model creation, so we anticipate helping with these problems, too.