Beats, Rye & Types

What’s the NEW HOTNESS in Computology and Cooking (at least according to MRB and AQ)?. We discuss Haskell theorem solvers, container technology, the DC Food Scene, and good eats in unexpected places. Links, etc Music: Caribou “Silver,” Chosen by AQ: Youtube Spotify Satisfiability Modulo Theories: http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories Z3: An SMT Solver: http://z3.codeplex.com/ SBV: A package for interacting with SMT solvers from Haskell https://hackage.haskell.org/package/sbv Docker https://www.docker.com/ and CoreOS https://coreos.com/ Washington, DC Food Scene: Jaleo http://www.jaleo.com/, Toki Underground http://tokiunderground.com/, Honeycomb Grocer http://instagram.com/honeycombgrocer, Right Proper Brewing http://rightproperbrewery.com/, Eat The Rich http://www.etrbar.com/ Crazy Bowlz http://www.crazybowlz.net/ Sean Brock, Heritage http://www.amazon.com/Heritage-Sean-Brock/dp/1579654630u Charleston Ice Cream http://www.starchefs.com/cook/recipe/sean-brock/charl