Blog Archive 2017 Java on Linux Dec 06 2017 Commutator as Least Fixed Point Apr 07 2017 Conferences in Algebra Apr 07 2017 Congruences of Partial Algebras Apr 07 2017 2015 3-SAT and Partition Lattices Jan 11 2015 2014 Jane Street Test Mar 19 2014 Learn You an Agda Feb 27 2014 Isotopy Feb 13 2014 A Problem of Pálfy and Saxl Feb 13 2014 TypeFunc Feb 13 2014 Overalgebras Feb 13 2014 IEProps Feb 13 2014 GroupSound Feb 13 2014 Cloning an Octopress Repo Feb 07 2014 Diaconescu’s Theorem Feb 05 2014
