bash-2.02$ uptime
9:46am up 245 days, 12:52, 2 users, load average: 0.15, 0.03, 0.01
Went to `Light' at CMA with mid.
Went to Uno's with pete and family.
Stayed up until like 4:30.
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…