A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf

Going more carefully now through this little tutorial on fpga programming with the iCEstick. It's in spanish, which makes it slightly more challenging, but also more fun.

Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive.

Tomato chicken I made a couple days ago was initially bland, but had improved stewing in its own juices in the fridge.

migraine or flu or something? Felt very headachey and basically napped the whole day way.

Did some personal archaeology. Helped a little with laundry. Threw some chicken, onions, tomato, stock, peppers in the slow cooker and hopefully shredded chicken and rice and beans dinner will come out of that.

Extremely unproductive sleepy day, which was therefore very fruitful as a vacation day.

Dinner with akiva and dannel at nuevo portal in carroll gardens. Ate a pile of chicken stew and rice and beans and maduros, good times. I do miss brooklyn a little, still. Hadn't seen dannel in forever, good to catch up.

Achievement unlocked teaching myself things every ece freshman knows, part 938472 and a half: I grok Thevenin's theorem well enough to prove the R-2R ladder works for digital-to-analog conversion ( Read more... )

Dinner at Aliada; hadn't been there in a while. Nice savory custard on the moussaka, nice pork kebab sandwich.

Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I think at this point I am quite comfortable with it) it's always fun to hang out with people in person a bit once in a while.