the Provenblog

This is how you can simplify software development with executable specifications