The mechanics of my recent productivity

post by So8res · 2014-01-09T02:30:19.908Z · LW · GW · Legacy · 47 comments

Contents

  Background
  Accomplishments
  Schedule
  Study Technique
  Impact on Social Life
  Impact on Work Life
  Mental Health
  Advice
None
47 comments

A decade ago, I decided to save the world. I was fourteen, and the world certainly wasn't going to save itself.

I fumbled around for nine years; it's surprising how long one can fumble around. I somehow managed to miss the whole idea of existential risk and the whole concept of an intelligence explosion. I had plenty of other ideas in my head, and while I spent a lot of time honing them, I wasn't particularly looking for new ones.

A year ago, I finally read the LessWrong sequences. My road here was roundabout, almost comical. It took me a while to come to terms with the implications of what I'd read.

Five months ago, after resolving a few internal crises, I started donating to MIRI and studying math.

Three weeks ago, I attended the December MIRI workshop on logic, probability, and reflection. I was invited to visit for the first two days and stay longer if things went well. They did: I was able to make some meaningful contributions.

On Saturday I was invited to become a MIRI research associate.

It's been an exciting year, to say the least.

(ETA: Note that being a research associate gives me access to a number of MIRI resources, but is not a full time position. I will be doing FAI research, but it will be done outside of work. I will be retaining my day job and continuing to donate.)

(ETA: As of 1 April 2014, I am a full-time researcher at MIRI.)

(ETA: As of 1 June 2015, I am now the executive director of MIRI.)

To commemorate the occasion — and because a few people have expressed interest in my efforts — I'll be writing a series of posts about my experience, about what I did and how I did it. This is the first post in the series.


First and foremost, know that I am not done with my aggressive autodidacting. I have a long way to go yet before I'm anywhere near as productive as others who do research with MIRI. I find myself at a checkpoint of sorts, collecting my thoughts in the wake of my first workshop, but next week I will be back to business.

One goal of this post is to give you a feel for how much effort is required to become good at MIRI-relevant mathematics in a short time, and perhaps inspire others to follow my path. It was difficult, but not as difficult as you might think.

Another goal is to provide data for fellow autodidacts. At the least I can provide you with an anchor point, a single datum about how much effort is required to learn at this pace. As always, remember that I am only one person and that what worked for me may not work for you.

In order to understand what I achieved it's important to know where I started from. Thus, allow me to briefly discuss my relevant prior experience.

Background

I was born in 1989. I have bachelor's degrees of science in both computer science and economics. I started programming TI-83 calculators in late 2002. I've been programming professionally since 2008. I currently work for Google and live in Seattle.

In high school I had a knack for math. I was placed two years ahead of my classmates. I aced some AP tests, I won some regional math competitions, nothing much came of it. I explicitly decided not to pursue mathematics: I reasoned that in order to save the world I would need charisma, knowledge of how the world economy works, and a reliable source of cash. This (and my love of programming) drove my choice of majors.

During college I soaked up computer science like a sponge. (Economics, too, but that's not as relevant here.) I came out of college with a strong understanding of the foundations of computing: algorithms, data structures, discrete math, etcetera. I cultivated a love for information theory. Outside of the computer science department I took two math classes: multi variable calculus and real analysis.

I was careful not to let schooling get in the way of my education. On my own time I learned Haskell  in 2008 and started flirting with type theory and category theory. I read Gödel, Escher, Bach early in 2011.

This should paint a rough picture of my background: I never explicitly studied mathematical logic, but my interests never strayed too far from it. While I didn't have much formal training in this particular subject area, I certainly wasn't starting from a blank slate.

Accomplishments

In broad strokes, I'm writing this because I was able to learn a lot very quickly. In the space of eighteen weeks I went from being a professional programmer to helping Benja discover Fallenstein's Monster, a result concerning tiling agents (in the field of mathematical logic).

I studied math at a fervent pace from August 11th to December 12th and gained enough knowledge to contribute at a MIRI workshop. In that timeframe I read seven textbooks, five of which I finished:

  1. Heuristics and Biases
  2. Cognitive Science
  3. Basic Category Theory for Computer Scientists
  4. Naïve Set Theory
  5. Model Theory (first half)
  6. Computability and Logic
  7. The Logic of Provability (first half, unreviewed)

In retrospect, the first two were not particularly relevant to MIRI's current research. Regardless, Heuristics and Biases was quite useful on a personal level.

I also studied a number of MIRI research papers, two of which I summarized:

I made use of a number of other minor resources as well, mostly papers found via web search. I successfully signaled my competence and my drive to the right people. While this played a part in my success, it is not the focus of this post.

I estimate my total study time to be slightly less than 500 hours. I achieved high retention and validated my understanding against other participants of the December workshop. I did this without seriously impacting my job or my social life. I retained enough spare time to participate in NaNoWriMo during November.

In sum, I achieved a high level of productivity for an extended period. In the remainder of this post I'll discuss the mechanics of how I did this: my study schedule, my study techniques, and so on. The psychological aspects — where I found my drive, how I avoid akrasia — will be covered in later posts.

Schedule

I estimate I studied 30-40 hours per week except in November, when I studied 5-15 hours per week. On average, I studied six days a week.

On the normal weekday I studied for an hour and a half in the morning, a half hour during lunch, and three to four hours in the evening. On the average weekend day I studied 8 to 12 hours on and off throughout the day.

Believe it or not, I didn't have to alter my schedule much to achieve this pace. I've been following roughly the same schedule for a number of years: I aim to spend one evening per workweek and one day per weekend on social endeavors and the rest of my time toying with something interesting. This is a loose target, I don't sweat deviations.

There were some changes to my routines, but they were minimal:

While my studying did not affect my schedule much, it definitely affected my pacing. Don't get me wrong; this sprint was not easy. I suspended many other projects and drastically increased my intensity and my pace. I spent roughly the same amount of time per day studying as I used to spend on side projects, but there is a vast difference between spending three hours casually tinkering on open source code and spending three hours learning logic as fast as possible.

The point here is that aggressive autodidacting certainly takes quite a bit of time and effort, but it need not be all consuming: you can do this sort of thing and maintain a social life.

Study Technique

My methods were simple: read textbooks, do exercises, rephrase and write down the hard parts.

I had a number of techniques for handling difficult exercises. First, I'd put them aside and come back to them later. If that failed, I'd restate the problem (and all relevant material) in my own words. If this didn't work, it at least helped me identify the point of confusion, which set me up for a question math.stackexchange.com.

I wasn't above skipping exercises when I was convinced that the exercise was tedious and that I know the underlying material.

This sounds cleaner than it was: I made a lot of stupid mistakes and experienced my fair share of frustration. For more details on my study methods refer to On Learning Difficult Things, a post I wrote while in the midst of my struggles.

Upon finishing a book, I would immediately start the next one. Concurrently, I would start writing a review of the book I'd finished. I generally wrote the first draft of my book reviews on the Sunday after completing the book, alternating between studying the new and summarizing the old. On subsequent weekdays I'd edit in the morning and study in the evening until I was ready to post my review.

It's worth noting that summarizing content, especially the research papers, went a long way towards solidifying my knowledge and ensuring that I wasn't glossing over anything.

Impact on Social Life

The impact on my social life was minimal. I decreased contact with some periphery friend groups but maintained healthy relationships within my core circles. That I was able to do this is due in part to my circumstances:

Impact on Work Life

The additional cognitive load did have an impact on my day job. I had less focus and willpower to dedicate to work. Fortunately, I was exceeding expectations before this endeavor. During this sprint, with my cognitive reserves significantly depleted, I had to settle for merely meeting expectations. My performance at work was not poor, by any means: rather, it fell from "exemplary" to "good".

I'd rather not settle for merely good performance at work for any extended period of time. Going forward, I'll be reducing my pace somewhat, in large part to ensure that I can dedicate appropriate resources to my day job.

Mental Health

It's not like I was working from dawn till dusk every day. There was ample time for other activities: I had a few hours of downtime on the average day to read books or surf the web. I participated in a biweekly Pathfinder campaign and spent the occasional Sunday playing Twilight Imperium. In September I went camping in the Olympic mountain range. I spent four days in October visiting friends in Cape Cod. I spent a day in December hiking to some hot springs. I entertained guests, went to birthday parties, and so on. There were ample opportunities to get away from math textbooks.

Most important of all, I had friends I could call on when I needed a mental health day. I could rely on them to find time where we could just sit around, play with LEGO bricks, and shoot the breeze. This went a long way towards keeping me sane.

All that said, this stint was rough. I experienced far more stress than my norm. I lost a little weight and twice caught myself grinding my teeth in my sleep (a new experience). There were days that I became mentally exhausted, growing obstinate and stubborn as if sleep- or food-deprived. This tended to happen immediately before planned breaks in the routine, as if my mind was rebelling when it thought it could get away with it.

The stress was manageable, but built up over time. It's hard to tell whether the stress was cumulative or whether the increase was due to circumstance. Doing NaNoWriMo in November while continuing studying didn't particularly help matters. The weeks leading up to the workshop were particularly stressful due to a lack of information: I worried that I would not know nearly enough to be useful, that I would make a fool of myself, and so on. So while the stress surely mounted as time wore on, I can't tell how much of that was cumulative versus circumstantial.

I tentatively believe that someone could sustain my pace for significantly longer than I did, so long as they were willing to live with the strain. I don't plan to test this myself: I'll be slowing down both to improve performance at work and to reduce my general stress levels. Five months of fervent studying is no walk in the park.

Advice

So you want to follow in my footsteps? Awesome. I commend your enthusiasm. My next post will delve into my mindset and a few of the quirks of my behavior that helped me be productive. For now, I will leave you with this advice:

The difficult part is making a commitment and sticking to it. Akrasia is a formidable enemy, here. If you can avoid it, the actual autodidacting is not overly difficult.

As for specific advice, if your background is similar to mine then I recommend reading Naïve Set Theory, Computability and Logic, and the first two chapters of Model Theory in that order, these will get you off to a good start. Feel free to PM me if you get stuck or if you want more recommendations.

Following posts will cover the other sides of my experience: how I got interested in this field, where I draw my motivation from, and the dark arts that I use to maintain productivity. In the meantime, questions are welcome.

47 comments

Comments sorted by top scores.

comment by KnaveOfAllTrades · 2014-01-08T02:28:12.113Z · LW(p) · GW(p)

I've been ever-more-excitedly watching you post your training and head off to workshop over these past few months. I teared up a little when I got to that standalone sentence, "On Saturday I was invited to become a MIRI research associate," because now I know your origin story, I understand how much that invitation must have meant to you.

I haven't really felt qualified to comment on many of your other posts (sometimes the level of the material, sometimes feeling too shy to commend your efforts), so I shall say now:

Thank you. We're rooting for you. Keep on saving the world!

'It goes without saying' that I'm hella looking forward to your next posts.

Salute

Replies from: lukeprog
comment by lukeprog · 2014-01-10T00:04:35.673Z · LW(p) · GW(p)

In case you're confused by the terminology like Peter Hurford was: "research associate" at places like FHI and MIRI means "unpaid research collaborator" not "full-time staff member." It does, however, indicate a strong level of interest in a researcher, and I expect researchers eventually hired by MIRI will first spend some time as MIRI research associates. MIRI's current research associates are listed here.

comment by Swimmer963 (Miranda Dixon-Luinenburg) (Swimmer963) · 2014-01-08T03:17:03.949Z · LW(p) · GW(p)

You deserve and have earned many yays for this! I am looking forwards to future posts with a more specific breakdown of how you accomplished it.

A decade ago, I decided to save the world. I was fourteen, and the world certainly wasn't going to save itself.

It's interesting how different this is from my 14-year-old mindset. I remember reading a lot about peak oil and climate change and other mundane civilizational (not necessarily existential) risks, and concluding that the world had a good chance of getting a lot worse (or a lot better; I was also reading Ray Kurzweil's writing on the Singularity at around the same time) and that, realistically speaking, I wasn't going to be able to do anything about it. I didn't exactly lie down in despair; I decided to learn as many generally useful skills as possible, so that I'd have a place and be ale to survive in either future. This is a big reason why I chose nursing as a career.

To a large extent, my monkey brain still believes that the world is too big and the forces are too strong and I don't have the power to affect the future or save the world. Of course, after absorbing some of the LW hero memes, my monkey brain also thinks that I ought to want to save the world.

Replies from: somervta
comment by somervta · 2014-01-09T01:16:15.961Z · LW(p) · GW(p)

To a large extent, my monkey brain still believes that the world is too big and the forces are too strong and I don't have the power to affect the future or save the world. Of course, after absorbing some of the LW hero memes, my monkey brain also thinks that I ought to want to save the world.

This. It creates some interesting conflict when these two attitudes arise simultaneously

comment by henryaj · 2014-01-09T10:23:54.610Z · LW(p) · GW(p)

Argh - just had a little twinge when I saw that you were born in 1989. You're the same age as me, but have done so much more!

Congratulations on reaching your goals. Reading this has reminded me that I ought to do the same.

comment by wuncidunci · 2014-01-08T17:27:03.882Z · LW(p) · GW(p)

and the dark arts that I use to maintain productivity.

Yes! Please tell us more about these!

Replies from: So8res
comment by somervta · 2014-01-08T01:00:37.841Z · LW(p) · GW(p)

It's awesome that you're doing this, thank you very much for writing this stuff up.

comment by fowlertm · 2014-01-08T03:14:48.394Z · LW(p) · GW(p)

Thanks so much for typing all this. It encourages me that I can manage it as well :)

comment by Peter Wildeford (peter_hurford) · 2014-01-08T23:51:18.401Z · LW(p) · GW(p)

How much time did you spend on sleep?

Replies from: So8res
comment by So8res · 2014-01-09T00:16:56.573Z · LW(p) · GW(p)

7.5h, my sleep schedule is quite regular. I tend to wake up naturally, and use a wake up light in the winter to wake up to a well-lit room.

Replies from: chairbender
comment by chairbender · 2014-01-09T18:41:47.949Z · LW(p) · GW(p)

Everything I've read suggests that that is not a sufficient amount of sleep to achieve peak performance. I would think that, if you're interested in learning as effectively as possible (especially such difficult material), it would be more effective to get more sleep. Is there some reason you decided that this was enough sleep?

EDIT: Looks like I may be wrong about this not being enough sleep, after doing some more searching.

Replies from: So8res, Lumifer
comment by So8res · 2014-01-09T19:15:26.183Z · LW(p) · GW(p)

I play it by feel. I tend to wake up feeling refreshed after 7.5h. If I grow tired during the day, I take a nap. In my experience, napping during the day leads to less need for sleep on the following night. I avoid alarms and I trust my body to know what it's doing. Perhaps I will do more experimentation in the future.

Replies from: chairbender
comment by chairbender · 2014-01-09T20:22:00.542Z · LW(p) · GW(p)

You should be cautious of that sort of self-evaluation. There's a sleep study that showed that people are very bad at evaluating how they are affected by not getting enough sleep.:

after just a few days, the four- and six-hour group reported that, yes, they were slightly sleepy. But they insisted they had adjusted to their new state. Even 14 days into the study, they said sleepiness was not affecting them. In fact, their performance had tanked. In other words, the sleep-deprived among us are lousy judges of our own sleep needs. We are not nearly as sharp as we think we are.

But, in that same study, the group that showed little or no cognitive decline slept for 8 hours, and I'm finding recommendations that say 7.5 hours is enough elsewhere, so I'm updating towards 7.5 hours of sleep and naps being all that's needed (as long as you have good sleep hygeine).

Thanks for indirectly prompting me to re-evaluate my sleep habits. I'm doing the same thing as you, basically (learning on my own), so it makes me very happy to discover that I could get more done each day!

Replies from: Lumifer
comment by Lumifer · 2014-01-09T20:34:29.640Z · LW(p) · GW(p)

people are very bad at evaluating how they are affected by not getting enough sleep

Average people, maybe, but my sleep hours tend to vary and by now I have a pretty good idea how much sleep will leave me a zombie, how much will make me OK but not really in the top form, and how much is enough so that any more is just lazying in bed :-)

It's easy to self-experiment with sleep.

By the way, keep in mind that there is seasonal variation and weather effects.

comment by Lumifer · 2014-01-09T19:04:06.907Z · LW(p) · GW(p)

it would be more effective to get more sleep.

If you are sleep-deprived getting more sleep is very effective at raising your performance. If you already get enough sleep, sleeping more won't help and might even decrease it.

Replies from: chairbender
comment by chairbender · 2014-01-09T20:00:03.066Z · LW(p) · GW(p)

I think you may have misread what I wrote. I pointed out in my original comment that, from what I've read, 7.5 hours seems to be not enough sleep. So it would follow that getting more sleep would increase performance. I know that excessive sleep also causes problems, but that's clearly not relevant here.

Replies from: Lumifer
comment by Lumifer · 2014-01-09T20:11:20.717Z · LW(p) · GW(p)

from what I've read, 7.5 hours seems to be not enough sleep

Sleep requirements are individual and vary widely. The 7.5 hours is just the mean of a fairly wide distribution.

As a data point, I live in a house with someone who requires about two hours of more sleep per night than I do.

comment by fowlertm · 2014-01-08T21:05:33.916Z · LW(p) · GW(p)

I also wanted to say that your recommendations on which chapters of which books to read in which order (personal communication) are something that many other people would be interested in hearing about.

Replies from: So8res
comment by So8res · 2014-01-08T21:33:55.031Z · LW(p) · GW(p)

Thanks. I've added these to the bottom of the "advice" section.

comment by [deleted] · 2014-08-21T06:45:24.344Z · LW(p) · GW(p)

Huh. I'm reading this because I'm attempting to at least partially walk your path right now, although with a different set of math subjects (starting off with my lacking foundations in probability theory and Bayesian statistics, moving towards algebra and category theory, and also algorithmic information theory, and also wanting to work on my foundations in logic to accompany my healthy knowledge of computability theory).

Mostly I'm just finding that bashing my dopaminergic circuits with reward signals when studying helps to overcome the akrasia -- to the point that I now find myself regularly tempted to study my unofficial material rather than work on my official research and coursework!

Also, I've discovered the CoqIDE theorem-proving assistant is about as addictive to me now as Legend of Zelda games used to be.

Replies from: Curiouskid
comment by Curiouskid · 2015-03-16T17:23:06.409Z · LW(p) · GW(p)

Also, I've discovered the CoqIDE theorem-proving assistant is about as addictive to me now as Legend of Zelda games used to be.

So, what you're saying is that you're addicted to Coq. :)

Replies from: None
comment by [deleted] · 2015-03-16T18:45:53.925Z · LW(p) · GW(p)

Tomoko scream

comment by Peter Wildeford (peter_hurford) · 2014-01-09T19:18:21.801Z · LW(p) · GW(p)

This is an unrelated question, but I think it's important. You mention:

On Saturday I was invited to become a MIRI research associate. [...]

I currently work for Google and live in Seattle.

Presumably, you have a pretty high salary if you're working for Google and presumably you're giving that up to go work for MIRI directly. Not that I think you're wrong, but how did you come to the decision that working for MIRI directly was preferable to working for Google and donating large portions of your salary to MIRI?

Replies from: So8res
comment by So8res · 2014-01-09T19:27:48.500Z · LW(p) · GW(p)

Research associateship isn't a full time MIRI position -- I'll be doing research in addition to my day job.

Replies from: brazil84, adamzerner
comment by brazil84 · 2014-01-10T09:17:06.723Z · LW(p) · GW(p)

By the way, what exactly is your position at Google?

Also, will you agree to update this post in a year or two to add some perspective?

Replies from: So8res, So8res
comment by So8res · 2015-04-05T16:30:41.874Z · LW(p) · GW(p)

Update, ~1 year later: I am a full-time MIRI research fellow now, and it's been one hell of a year.

I've maintained my high productivity consistently since last year. I wrote twelve papers over the course of the year, nine as the primary author, three as a secondary author. I compiled the MIRI technical agenda and the MIRI research guide. I attended five conferences, and I've flown around the world to talk with many different people about related topics. I've learned a ton.

Public discourse about AI x-risk has advanced far faster than I expected, thanks in large part to Bostrom's Superintelligence and the the Future of Life institute. The field is growing much faster than expected. These are exciting times, and I'm grateful that I was granted the opportunity to throw myself into the thick of things.

Replies from: Sean_o_h
comment by Sean_o_h · 2015-04-08T10:51:24.665Z · LW(p) · GW(p)

9 single author research papers is extremely impressive! Well done.

comment by So8res · 2014-01-10T16:17:20.753Z · LW(p) · GW(p)

Software Engineer. I'm happy to post an update in a year or two, but you may need to remind me then.

Replies from: brazil84
comment by brazil84 · 2014-01-10T16:36:19.347Z · LW(p) · GW(p)

Thank you. I will try to remember.

Replies from: PECOS-9
comment by PECOS-9 · 2014-01-11T02:26:30.219Z · LW(p) · GW(p)

If you send an email to "1year@followupthen.com" with a reminder for yourself, you'll get an email reminder in 1 year.

Replies from: brazil84
comment by brazil84 · 2014-01-11T05:57:29.249Z · LW(p) · GW(p)

Cool, thanks. I should have known that someone had devised a simple electronic solution to the problem :)

comment by Adam Zerner (adamzerner) · 2014-01-11T00:02:38.028Z · LW(p) · GW(p)

There's still an opportunity cost to working at Google - you could be spending more time working for MIRI. Why work at Google when you could be spending that time working for MIRI?

Replies from: So8res
comment by So8res · 2014-01-11T00:36:51.673Z · LW(p) · GW(p)

Google subsidizes that particular opportunity cost (by paying me), and that I donate a fair portion of my salary to MIRI. I haven't been at this long enough to be confident I can produce more value via research than donation.

Furthermore, there's a significant cost to not working elsewhere: I need money to live. MIRI has limited resources with which to support full time researchers, and if/when they do start supporting new full time researchers I should certainly not be at the top of the list. I have recently demonstrated some skill and drive, but I have a long way to go before I can match the productivity of others who are just as driven and far more knowledgable.

comment by John_Maxwell (John_Maxwell_IV) · 2014-01-08T05:53:38.357Z · LW(p) · GW(p)

Impressive!

Regarding stress, did you experiment with techniques for relaxing optimally? (Relaxation hypnosis, meditation, things that make you laugh, power naps, etc.) I've heard this book recommended: http://www.amazon.com/The-Relaxation-Response-Herbert-Benson/dp/0380006766

Replies from: Curiouskid
comment by Curiouskid · 2014-01-17T20:35:36.732Z · LW(p) · GW(p)

That book has also been recommended to me by multiple sources.

comment by AnlamK · 2014-01-09T20:08:29.894Z · LW(p) · GW(p)

Thanks for sharing your experience. It was inspiring indeed.

comment by chairbender · 2014-01-10T03:03:31.125Z · LW(p) · GW(p)

Thanks very much for this. My primary motivation to be productive seems to come from seeing the stories of inspirational, productive people, so this is a big motivator to continue to work hard.

comment by Gunnar_Zarncke · 2014-01-08T21:30:42.703Z · LW(p) · GW(p)

Five months ago, after resolving a few internal crises

I wonder what your crises were? And where the dark arts has anything to do with it. And with your motivation.

comment by CronoDAS · 2014-01-08T03:09:17.950Z · LW(p) · GW(p)

the world certainly wasn't going to save itself

Whatever gave you that idea? (Sayeth the self-proclaimed NPC, who is content to watch from the sidelines while others do the hard work of actually hero-ing)

Replies from: Vulture, So8res
comment by Vulture · 2014-01-08T04:33:45.220Z · LW(p) · GW(p)

If it does "save itself", from your perspective, it will likely be because of So8res and/or people like him.

Replies from: itaibn0, CronoDAS
comment by itaibn0 · 2014-01-08T13:47:07.434Z · LW(p) · GW(p)

Moreover, even the world's greatest hero only does a minority of all human achievements, so from their perspective the world still mostly saves itself, it just needs a really big push.

comment by CronoDAS · 2014-01-08T04:58:51.444Z · LW(p) · GW(p)

Yep! Free rider, that's me! ;)

comment by So8res · 2014-01-08T04:44:13.805Z · LW(p) · GW(p)

Stay tuned -- I'll touch on this subject when discussing the source of my motivation.

comment by SeventhNadir · 2014-02-04T09:24:00.550Z · LW(p) · GW(p)

What are the prerequisites math domains someone should be proficient in if they were interested in making this career? I'm a long way off currently (just started learning calculus) and some kind of reference point would be very helpful! Congratulations by the way.

Replies from: So8res
comment by So8res · 2014-02-04T15:58:30.933Z · LW(p) · GW(p)

Check out the MIRI course list.

Replies from: None
comment by [deleted] · 2014-02-04T16:25:21.069Z · LW(p) · GW(p)

I still have yet to understand the emphasis on model theory and model checking over other branches of semantics. -- type theory weenie