AIRCS Workshop: How I failed to be recruited at MIRI.
This blog post is cross-posted from my personal blog. It will touch on two related topics: 1. Why and how I applied to MIRI and failed to secure an internship. 2. My experience at the AI Risk for Computer Scientists workshop (AIRCS). If you're only interested in the AIRCS workshop, you may skip to the second section directly. Ideally, I'd have liked to make two separate entries, as they may pertain to different points of interest. However, both topics are extremely intertwined to me, and I could not make a clear cut in this experience. I should also note that me failing to secure an internship at MIRI probably have had a drastic impact in how I write about it, if only because I'd have been more constrained in what I describe had I got the internship. With respect to people's name, I'll adhere to the following rule: Only mention names if what they said was done so publicly. That means that for books, facebook public pages or lectures, I will assume I can use the name of the author or teacher, and I will keep the name to myself for private discussions. You should probably also read Buck's comment, answering to this post. Miri and me. I discovered MIRI through Eliezer Yudkowsky, as I first began reading HPMOR and then Rationality, from A.I. to Zombie. Like almost everyone, I'm not sure what it is MIRI exactly do. I know at least that MIRI's intended goal is to save the world from unaligned AGI. But whatever it is they concretely do, it seems quite fun - I mean, it seems to involve type theory and category theory. I also read some articles they wrote, and skimmed through many other. While interesting, I've never caught enough details to actually imagine how to even start implementing anything they speak of. Reading some of their writings reminded me of several epistemology books I read years ago, but written more precisely, with clear code in mind, and to a computer-science-savy audience. As I said, fun stuff, fun work! In February 2019, Eliezer Yudkowsky share
"The letters it displays are very small"
FYI each anki card is a full HTML page, same as html page. In particular you can change the font of the card type. You don't have to do individually letter by letter, you can change the template of the card type so that it applies to every card.
I don't know how much you know about HTML, so how much help you'd need here. But you can always drop on our discord (it's linked in ankidroid in "help > community>discord"), and find someone that can guide you.
Thanks for the compliment about ankidroid by the way. As a co-maintainer, it's always really great to hear new usage of our work