Category: Science 2014 SpaceX and redundancy Mar 06 2014 2012 Algebraic data type Jul 29 2012 2011 Liskov substitution principle May 25 2011