News for hackers. Stuff that matters.
Re:Yammer moving from Scala to Java by gtani on Wednesday November 30, 2011 @12:34AM (#3293897)
not a nuclear control system, but embedded monitor (slide 26:

http://www.galois.com/~leepike/fm-galois.pdf

There are no comments on this comment yet.