hacker-school-monday-june-9th-2014

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.

Plan

At checkin I said I would work on the symlink patch to tahoe: https://tahoe-lafs.org/trac/tahoe-lafs/ticket/641

Actual

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:
- Coq
- Rust
- Factor
- disassembly
- virtualenv
- Talked to xxx about text classification and topic modelling tools
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