-
(no subject)
Since I took OS way back when they were teaching it on solaris and not on intel, I never had the fun of going through the (not very essential to…
-
(no subject)
While CMU's OS class will always have a certain place in my heart, MIT's OS class has what is, in essence, a sample solution to the exercise of…
-
(no subject)
A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf
- Post a new comment
- 4 comments
- Post a new comment
- 4 comments