(the guy with the Mineweeper NP-completeness paper,
though I'm sure he wouldn't prefer to be remembered
that way :) and Hamkins.
Went out to dinner at a place called Harvest Moon.
After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…
Went to a series of maker-y talks hosted by Pivotal. The last one, by the woman who runs Genspace, "New York City's Community Biolab" was pretty…
I had already been meaning to dig into JaneSt's "Incremental" library, which bills itself as a practical implementation (in ocaml) of the ideas in…