: Jason (jcreed) wrote,
2000-10-09 14:40:00

Jason
jcreed
2000-10-09 14:40:00

-

Checked out "Proper Forcing" by Saharon Shelah.
Todo: card, haircut, study for os.

(no subject)

In hindsight, I think this is absolutely accurate.
(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…