| user: | efm |
| created: | July 6, 2013 |
| karma: | 598 |
| about: | OpenShift. ML. Formal Methods. Founder tummy.com, Linux SysAdmin/Ops and Managed Dedicated Hosting. github:evelynmitchell twitter: tummycom |
| 1. | Secure Software Development Framework (SSDF)(csrc.nist.gov) |
| 2. | Data-first and data-last: a comparison(javierchavarri.com) |
| 3. | Poker Chip Flipping Puzzle(thedollargame.io) |
| 4. | Formal Software Design with Alloy 6 book(haslab.github.io) |
| 5. | Non-standard solutions to some technical problems(wsdookadr.github.io) |
| 6. | Famine Early Warning System(fews.net) |
| 7. |