I recently moved into a cozy apartment in Prague that has various areas in need of some maintenance. I’ve had some really good memories there…
Let’s start with the concept of an invariant, that which doesn’t change, which appears in mathematics, the analysis of programming loops, physics, and linguistics. Now…
The first edition was quite long, so this time, I’m going to write as I go. It turns out that writing as I go becomes…
For the purposes of this article, I’ll adopt a traditional simple virtue-based rule-of-thumb to eyeball the morality of an entity or complex of behaviors: is…
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…