"an exokernel for constructing secure, high-performance network applications across a variety of cloud computing and mobile platforms"

"a breakthrough in Computer Science that makes web programming Safe, Sane & Secure"

This is the coolest shit that's going to be blogged all month, and it's only the 17th.

"general-purpose language for probabilistic modeling, parameter estimation and decision making. It generalizes Bayesian networks, hidden Markov models, stochastic context free grammars, Markov decision processes, and allows many new possibilities."

"I hope this helps in reducing Haskell envy a little bit." Processing text with something like Unix pipes in OCaml.

Worth it for the lazy evaluation joke.

"a build system designed for scalability and portability. It uses a syntax similar to make utilities you may have used, but it features many additional enhancements"

bridges Ruby and OCaml, enforcing type safety along the way.

like Gems/Eggs/CPAN for OCaml

Jack says I would like OCaml. We'll see!