New Book on QuickCheck

Hi Everyone

I just wanted to let everyone who may be following the blog know that I have published a new book on using QuickCheck with Erlang. If you have heard about QuickCheck, or PropEr or property based testing in general, and didn’t know where to get started then this is the book for you. It starts with very basic “Hello World” type tests, and then moves up to generating data, testing stateful systems, Property Based Test Patterns and will even include bonus chapters on how to generate HTML and how to do TDD with quickcheck

053 Elixir Tools and Testing for Erlang

Download Link:

052 – Erlang in Anger

Ever have a system go strange on you, or fall down under load? Erlang has some amazing tools to try and debug these cases. Regular panelist Fred joins us to talk about his new book “Erlang in Anger” and his recon library. With these you will be in good shape to debug a system in production without breaking it more.


  • Fred Hebert ()
  • Zachary Kessin ()


Erlang comes with its own datastores ETS and Mnesia. These store Erlang terms directly so you don’t have to map your data into SQL types. They can also be used to create databases in Memory or on disk or both, this can lead to blindingly fast distrubted systems

We speak to Claus about how Mnesia was created and why. We also talk about when it is a good fit to use Mnesia for data storage and when it would not be.

If you are considering what data storage engine to use for your next project listen to this first.


  • Fred Hebert ()
  • Claus “Klake” Wikstrom ()
  • Bryan Hunter ()
  • Zachary Kessin ()
  • ETS – Erlang term Storage
  • Mnesia
  • Ecto

050 miniKanren With William Byrd

We apologize, this episode got messed up, so here is a fixed version

Download Link:

audio mp3=”″%5D%5B/audio%5D

Download Link:

A programming language that doesn’t change the way you think about programming isn’t worth learning — Alan Kay

MiniKanren is a relational programming language that has been used for both research and in industry. Find out how it was created and how it can be used to to do useful work in your programs.


  • William Byrd (@webyrd)
  • Robert Virding ()
  • Kevin Hammond ()
  • Zachary Kessin ()
  • The Reasoned Schemer
  • miniKanren
  • core.logic
  • ExKanren
  • ErlKanren
  • erlog
  • 7 More Languages in 7 Weeks
  • Prolog Episode of Mostly Erlang
  • Curry-Howard Isomerism
  • The Type Theory Podcast
  • Will’s PhD Dissertation

Language Picks

  • Language with Come From & While Don’t (Kevin)
  • Concurrency and Parallelism (Robert)
  • Forth & Factor (Will)
  • Term Re-writing Systems (Will)
  • PLT-Redex
  • R (Zach)
  • awk