30 Jul
2012
30 Jul
'12
1:35 a.m.
This seems like a lot of work to just toggle some commands. Is there really no simpler way? -- gwern http://www.gwern.net