(no subject)
Today: advisor meeting, mpa's talk on forward-chaining logic programming for reconfigurable modular robotics, had some interesting conversation with sean mclaughlin about fast intuitionistic propositional theorem proving, played with gnucash a bit.