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…
Preamble In Virtue Ethics Qua Learning Theory, I fleshed out the basic ethical principles, paradigms, and considerations in connection with (reinforcement) learning theory. My definition…
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.…
Note: the research this post discusses was not done by me. The hero is Miroslav Olšák and supporting researchers. He has a cute YouTube channel…