I have discovered that goob has a copy of the Codex Serafinianus and other insanely awesome books and is all too eager to have people over to his house to look at insanely awesome books and perhaps eat food or something. I need to take him up on this offer.
I have discovered that goob has a copy of the Codex Serafinianus and other insanely awesome books and is all too eager to have people over to his house to look at insanely awesome books and perhaps eat food or something. I need to take him up on this offer.
-
(no subject)
A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf
-
(no subject)
Going more carefully now through this little tutorial on fpga programming with the iCEstick. It's in spanish, which makes it slightly more…
-
(no subject)
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…
- Post a new comment
- 3 comments
- Post a new comment
- 3 comments