June 2016

[NOTE] gb with private github repositories 12 Jun 2016

December 2015

[NOTE] defer timing trick 06 Dec 2015

August 2015

[NOTE] defrecord 26 Aug 2015

January 2015

[PODCAST] The Type Theory Podcast - Dan Licata on Homotopy Type Theory 14 Jan 2015

December 2014

[LINK] Rust by Example 19 Dec 2014

[PODCAST] Haskell cast episode 9 - Conal Elliot 18 Dec 2014

November 2014

[PODCAST] Functional Geekery - Eric Normand 24 Nov 2014

[VIDEO] Playing Go with Clojure 17 Nov 2014

[VIDEO] Verifying Stateful and Side-effecting Programs using Dependent Types 16 Nov 2014

Hello World! 09 Nov 2014