Archive 27 May 2018: Confirming that timezones exist with minimal trust 11 Apr 2018: Infix Notation in Scheme 18 Mar 2018: (Mini) Scheme in 50 Lines 12 Jan 2018: The Efficiency Gap Makes No Sense (but all metrics show Republicans are better at gerrymandering) 05 Jan 2018: How You Get Homeopathy 26 May 2017: What is NP? 15 Jan 2017: Storing Data With the Circle-Tree 13 Jan 2017: Circle-Tree as a Calculator 21 Aug 2016: Introducing the Circle-Tree System 20 Jul 2016: Counting Monoids 01 Jun 2016: The Porus Mirror Problem, Part 2 29 May 2016: The Porus Mirror Problem, Part 1 21 May 2016: Dependent Types and Categories, Part 1 19 May 2016: Chaos, Distributions, and a Simple Function 10 May 2016: Haskell Classes for Limits 08 May 2016: Haskell Classes for Products and Coproducts 07 May 2016: Monoids, Bioids, and Beyond 29 Apr 2016: Nontrivial Elements of Trivial Types 23 Apr 2016: The Autogeneration of Landscapes 21 Apr 2016: C-Style Pointer Syntax Considered Harmful 17 Apr 2016: The Triviality Norm 16 Feb 2016: A Monadic Model for Set Theory, Part 2 16 Feb 2016: A Monadic Model for Set Theory, Part 1 28 Jan 2016: What is Category Theory? 31 Dec 2015: Stupid Regex Tricks 30 Dec 2015: Dictp Part 2 21 Dec 2015: Dictp Part 1 10 Dec 2015: Infsabot Strategy Part 2 06 Dec 2015: Infsabot Strategy Part 1 24 Nov 2015: Whatâ€™s a number? 23 Nov 2015: Recursivized Types 19 Nov 2015: Who Needs Delta? Defining the Hyper-Real Numbers 06 Oct 2015: Ancient Greek Abstract Algebra: Introduction