OpenShift. ML. Formal Methods. Founder tummy.com, Linux SysAdmin/Ops and Managed Dedicated Hosting. github:evelynmitchell twitter: tummycom