Share Episode 2: The New Hotness

Copy link

February 01, 2015

Episode 2: The New Hotness

27 minutes

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/charleston-ice-cream

Anson Mills http://www.ansonmills.com/

Mind of a Chef http://www.pbs.org/food/shows/the-mind-of-a-chef/

...more