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