Current work
I am building EYG (Eat Your Greens), a new programming language with the aim of extending the scope and ambition of people who program.
By extending a sound type system over space (multiple machines, clusters) and time (migrations and code updates) it can drastically increase the guarantees that a programmer knows about their systems.