Four short links: 5 November 2018

Probabilistic Model Checker, Notebooks to Docs, AWS 12-Factor Apps, and AI Physicist

By Nat Torkington
November 5, 2018
  1. StormcheckerA modern model checker for probabilistic systems. Test your models of your distributed system.
  2. MonoCorpusa note-taking app for software and machine learning engineers meant to encourage learning, sharing, and easier development. Increase documentation for yourself and your team without slowing your velocity. Take notes as part of your process instead of dedicating time to writing them. An interesting use for notebooks.
  3. Learn faster. Dig deeper. See farther.

    Join the O'Reilly online learning platform. Get a free trial today and find answers on the fly, or master something new and useful.

    Learn more
  4. OdinDeploy your 12-factor-applications to AWS easily and securely with the Odin, an AWS Step Function based on the step framework that deploys services as auto-scaling groups (ASGs).
  5. Toward an AI Physicist for Unsupervised LearningWe investigate opportunities and challenges for improving unsupervised machine learning using four common strategies with a long history in physics: divide-and-conquer, Occam’s Razor, unification, and lifelong learning. Instead of using one model to learn everything, we propose a novel paradigm centered around the learning and manipulation of *theories*, which parsimoniously predict both aspects of the future (from past observations) and the domain in which these predictions are accurate. (see also MIT TR)
Post topics: Four Short Links