If at first you don't succeed...

About | Archive

\(\newcommand{\th}{^\mathrm{th}}\) \(\newcommand{\false}{\mathrm{F}}\) \(\newcommand{\true}{\mathrm{T}}\)

Archive

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