Skip to content

Top New Best Ask Show Jobs

efm | Better HN

efm

598 karmaJoined July 6, 2013173 submissions

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

Recent submissions

1

Secure Software Development Framework (SSDF) (opens in new tab)

(csrc.nist.gov)

2efm2y ago1

2

Data-first and data-last: a comparison (opens in new tab)

(javierchavarri.com)

1efm3y ago1

3

Poker Chip Flipping Puzzle (opens in new tab)

(thedollargame.io)

3efm4y ago1

4

Formal Software Design with Alloy 6 book (opens in new tab)

(haslab.github.io)

7efm4y ago1

5

Non-standard solutions to some technical problems (opens in new tab)

(wsdookadr.github.io)

2efm5y ago0

6

Famine Early Warning System (opens in new tab)

(fews.net)

1efm5y ago0