gwern comments on Group Rationality Diary, July 1-15

[gwern]

I am not entirely sure, but 20-30 minutes sounds reasonable. If you feel sleepy before then, well, you can just go to bed a little bit earlier.