Hello everyone.

My name is Kabelo Moiloa, and I graduated from the Anglo-American School of Moscow three weeks ago. My deep interests are math, computer science and physics, in fact I might consider doing a series of posts here on Homotopy Type Theory, since I've been going through the HoTT Book. I first came to this website likely four years ago, so I don't remember well how it was. As I recall, I came here soon after I deconverted from Catholicism, and have found the discussions and content here fascinating ever since. For example, although I had already rejected theistic morality before reading the articles here, Fake Explanations allowed me to explain why. The idea that morality is, "intrinsic to the nature of God," is no more explanatory than "my confusion about this metal plate is explained by the phrase heat conduction." Additionally, the emphasis here on beating akrasia and achievement, lead me to pursue commitment devices, productivity systems etc., which have improved my ability to archive my goals, although unfortunately I only pursued these late in my senior year of high school. I was also exposed to Cognito Mentoring, which was quite useful.