Date: Sun, 8 Feb 2004 19:10:22 -0500 (EST) From: dan vogel <xxx@xxx> To: Neal R. Shyam <xxx@xxx>, Jason C Reed <xxx@xxx> Cc: Geoffrey A. Washburn <xxx@xxx> Subject: Former Comics Editors Dear Former Tartan Comics Editors, We'd like to apologize for all the trouble we put you through. We did not realize how good we had it. Thank you for all your trouble and competency. Thank you, the Trusted Mech comic staff.
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…