This is mostly random updates as to what is happening in my life, occasionally I might write something interesting…

Enjoy:

• November 2018 Update -- Nov 28, 2018
• Memory_usage_of_editors -- Nov 07, 2018
• October Update 2018 -- Oct 28, 2018
• September Update 2018 -- Oct 03, 2018
• June Update 2018 -- Jun 11, 2018
• Early May Update 2018 -- May 08, 2018
• Site Revamp -- Mar 08, 2018