Comment author: ChristianKl 29 August 2015 07:00:37PM 2 points [-]

In general you start meetups in cities and not countries. Do you happen to live Johannesburg or Cape Town?

Should somebody who has more conscientiousness than I do (at least for now) start one here in South Africa?

It doesn't need that much conscientiousness. You just need to reserve a table at a restaurant.

Comment author: 11kilobytes 29 August 2015 08:24:58PM 1 point [-]

Well I guess, to start one does not require that much conscientiousness, but to maintain one as the hero does.

Comment author: ZankerH 28 August 2015 10:12:40PM 1 point [-]

If you're rational and you're in South Africa, why are you still in South Africa? How much do you value your life over the trivial inconvenience of moving?

Comment author: 11kilobytes 29 August 2015 05:54:19PM 3 points [-]

I'm a high school graduate, if I had good grades I would study overseas provided that I got a scholarship since during the next two years my parents won't earn much money. However, I have terrible grades (global average score in the international program I did) so that's not an easy option. I have slowly been building my conscientiousness to a point where, instead of learning lots of random things that interest me, I can systematically pursue an academic goal. So there's the possibility of extending a mandatory gap half-year, to a gap year where in the second half of my gap year I take say AP exams.

Comment author: 11kilobytes 28 August 2015 07:21:50PM 2 points [-]

How many rationalists live in Africa, and especially South Africa? I'm kind of surprised that there is no LW meetup anywhere in Africa, I would have guessed that at least South Africa or Nigeria are sufficiently developed and have sufficiently prevalent internet access to have one. Should somebody who has more conscientiousness than I do (at least for now) start one here in South Africa?

Comment author: gallabytes 03 June 2015 08:15:45PM 1 point [-]

I'd be interested to read another take on it if there's some novel aspect to the explanation. Do you have a particular approach to explaining it that you think the world doesn't have enough of?

Comment author: 11kilobytes 04 June 2015 09:17:22AM 2 points [-]

Yeah, the HoTT book doesn't have enough pictures and animations. The whole point of HoTT is that programs in type theory have homotopical content, that you can usually depict, at least for the very basics of the subject.

Comment author: 11kilobytes 03 June 2015 08:28:50AM 5 points [-]

Would a series of posts explaining the basics of Homotopy Type Theory be well accepted here?

Comment author: 11kilobytes 03 June 2015 08:27:54AM 5 points [-]

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.