Y Hacker News new | ask | show | jobs

user: efm created: 2013-07-06 karma: 598 OpenShift. ML. Formal Methods. Founder tummy.com, Linux SysAdmin/Ops and Managed Dedicated Hosting. github:evelynmitchell twitter: tummycom submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Secure Software Development Framework (SSDF) 2 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Data-first and data-last: a comparison 1 points | 1 comments 0 points | 0 comments 0 points | 0 comments Poker Chip Flipping Puzzle 3 points | 1 comments 0 points | 0 comments Formal Software Design with Alloy 6 book 7 points | 1 comments 0 points | 0 comments Non-standard solutions to some technical problems 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments Famine Early Warning System 1 points | 0 comments 0 points | 0 comments