A long, long time ago in an era much before this one, I noticed that sometimes I’d write up quite lengthy, interesting, nuanced discussions on…
Happy New Year :- ). Some years have passed since a New Year’s Themes post. This year I redid Steve Pavlina’s Submersion course from Nov…
I bet you can already guess that the topic of this research post and paper [official, slides] is to apply our ENIGMA work to the…
Parental Guidance is the fulfillment of a research question that had been nagging me since the early days of my Automated Theorem Proving (ATP) research.…
I got to playing this fad word guessing game called “Wordle“. As seen below, one can guess 6 times and gets hints: green if the…
Since the 26th of September, 2020, I have been exercising daily. 🥳 I’ve been working out off and on to the illustrious Shaun T as…
I had a kinda cool start to a novel and then plunged it into nonsense and, err, didn’t finish it. Did I watch more than…
I’ve often discussed pan-species society. I want to uplift other animals. However, I don’t want to force this on them. I want to include other…
Apart from the passport, I decided to calculate my degree of nationality using a simple heuristic: % nationality X = (# years spent in X)…