- Worked a little on my talk for the workshop that is coming up alarmingly quickly
- Finished "The Golden Compass". Pretty good, would like to read the sequels but they are slightly hard to find in libraries. Might just have to buy them.
- Stepped on either the sharp end of a guitar string or a staple or something, ow. Given the presence of both these items in the carpet in the vicinity of where I stepped, not exactly sure which is the culprit. It broke skin enough to draw blood, but only a very little.
- Heard back from kaustuv, who is still in Paris though not at LIX anymore, so I will probably get a chance to say hi to him while I'm there.
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…
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…