Hung out with Drew Hoskins a bit today, had some dinner at Uncle Sam's with him. He was an undergrad in the same class as me at CMU. I hadn't seen him for a couple years. He's been working at Microsoft in the compilers group, apparently, having fun there, keeping busy. His occasion for being in pittsburgh is some sort of national bridge tournament.
Hung out with Drew Hoskins a bit today, had some dinner at Uncle Sam's with him. He was an undergrad in the same class as me at CMU. I hadn't seen him for a couple years. He's been working at Microsoft in the compilers group, apparently, having fun there, keeping busy. His occasion for being in pittsburgh is some sort of national bridge tournament.
-
(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
- 6 comments
- Post a new comment
- 6 comments
