Ah, cantor's drive wasn't toasted by moving.
Good, good. Just need to get network registration
now.
Another long day, but good progress on things. Got some bluetooth speakers to attempt to use cellphone as white noise generator for sleeping with,…
Well, the honeymoon of being excited about being back in new york is over, I guess. A huge trailer (possibly associated with some filming for…
A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf