proofbyexample.com Published magically via GitHub Pages. Dev Have Ruby and Jekyll installed Run update to get latest github-pages installed Run serve script in repo root