Got some more ML hacking done, anyway, and read some more about region memory managemnt.
In other news, setting my LJ language to esperanto looks so cool. Not least because mozilla actually gets all the accents correct. Mi ĝin amas!
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…