Link Roundup, April 15th

Link Roundup, April 15th

Introducing TensorFlow Probability! Jupyter, Mathematica, and the Future of the Research Paper! List of TLA+ Examples!

Matthew Alhonte
Matthew Alhonte

Things I've come across recently that I thought were neat.  Freshness not guaranteed.

Introducing TensorFlow Probability
At the 2018 TensorFlow Developer Summit, we announced TensorFlow Probability: a probabilistic programming toolbox for machine learning researchers and practitioners to quickly and reliably build…

Sweet.  Probabilistic Programming languages are pretty rad - only one I've ever really messed with is Anglican in Clojure, though.

Stonefish are already scary, and now scientists have found they have switchblades in their heads - CNN
Scientists call the bony, blade-like protrusion a “lachrymal saber,” because it is located on a bone under the fish’s eyes. Also, “lachrymal saber” is just a really metal-sounding name.

Good news, everyone!  These dangerous beasties just got more dangerous and more beastly.

7 Animated GIFs That Will Make You Instantly Understand Trigonometry
Trigonometry is the branch of math that studies triangles, with a particular focus on the relationships between angles and the lengths of corresponding sid
Jupyter, Mathematica, and the Future of the Research Paper
The Atlantic has a great article on new ways to share research results. Its three parts make three points:A graphical user interface (GUI) can facilitate better technical writing. Wolfram’s proprietary notebook showcased innovative technology, but decades after its introduction, still has few users…

Legitimately think Literate Programming is a super important development in Philosophy of Science.

An Ethereum Blockchain Is Restoring the Identity of Syrian Refugees | CCN.com

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".

List of TLA+ Examples • Hillel Wayne
People always tell me that the hardest part of learning TLA+ is finding good examples. This makes sense to me: most of the main ones out there are either toy problems or immensely complex algorithms. It’s sort of the nature of TLA+: if you’re using it, you’re trying to design something complicated, …

So, I discovered this thing called TLA+ that I might theoretically someday use.  Pretty interesting to read about!

Roundup

Matthew Alhonte

Supervillain in somebody's action hero movie. Experienced a radioactive freak accident at a young age which rendered him part-snake and strangely adept at Python.