yesterday-qua-cgi-hack.
(Gallia est omnia divisa in partes tres...)
Installing GD.pm on erdos was somewhat of a bitch,
due to its dependence on a libgd version
(1.8.1) not available as a .deb.
But hey, it does Truetype! Looks nifty.
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…