At Hacker School we have daily checkins in small groups. This is more or less like "standup". I'm going to post my checkin notes today, just for fun. I may or may not keep doing so throughout the summer.
cleaned up my git branches
changed my github account name to ambimorph
went to git tutorial
got up and running on Zulip
talked about possibly working on:
Read Allison's virtualenv post: https://www.hackerschool.com/blog/14-there-is-no-magic-virtualenv-edition
"The first thing to notice is that it's only ~80 lines! Cool - we can handle this."
Got the ProofGeneral running, so I can start Software Foundations: http://www.cis.upenn.edu/~bcpierce/sf/current/index.html