Things I've come across recently that I thought were neat. Freshness not guaranteed.
Sweet. Probabilistic Programming languages are pretty rad - only one I've ever really messed with is Anglican in Clojure, though.
Good news, everyone! These dangerous beasties just got more dangerous and more beastly.
Legitimately think Literate Programming is a super important development in Philosophy of Science.
Awesome application of the tech. Fun fact: Iron Mountain was started so that important records wouldn't be lost in the event of war. Original name was "Iron Mountain Atomic Storage Corporation".
So, I discovered this thing called TLA+ that I might theoretically someday use. Pretty interesting to read about!