It's a little bit slow right now, but
maybe it will pick up...
Paying my electric bill. Type in expiration date of debit card as always. Wait, November 2013 is soon. Shit. Do I need to ask my bank to send me…
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…