The next generation of foxes were deemed Class II foxes. Class II foxes will allow humans to pet them and pick them up, but do not show any emotionally friendly response to people. If you are a cat owner, you would call the experiment a success at this point.
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…
