.@MIRIBerkeley A lot of sage research advice here. And he manages to sneak in something about #HoTT as well :)
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
great post on problem finding “
@MIRIBerkeley: Mathematician John Baez shares his own object-level research tactics. http://intelligence.org/2014/02/21/john-baez-on-research-tactics/ …”Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.