Posts about personal RSS feed 2017-06-01 18:37How to run a half-marathon in 10 lines of python 2016-12-01 12:27DataDiving: Time to stop waiting on the world to change