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…
In math, lemmas are considered intermediate results, which is fairly pragmatic definition. Lemmas can help us to structure proofs, too. When considering a difficult theorem,…
It may come as a surprise to you that some interesting, successful research projects wind up unpublished because they don’t go far enough to qualify…