During the day I did a bunch of revision on my thesis proposal, more or less figured out how to solve a couple problems from before with the actual research content, and negotiated with Frank over email a bit about the logic programming project. During just one outing into Oakland for dinner I ran into a bunch of people I only ever really see when I run into randomly — lauren (ingram), kavita, and jeannie. I do so cherish pittsburgh for being the kind of place that I can't hardly walk half a block without seeing people I know.
During the day I did a bunch of revision on my thesis proposal, more or less figured out how to solve a couple problems from before with the actual research content, and negotiated with Frank over email a bit about the logic programming project. During just one outing into Oakland for dinner I ran into a bunch of people I only ever really see when I run into randomly — lauren (ingram), kavita, and jeannie. I do so cherish pittsburgh for being the kind of place that I can't hardly walk half a block without seeing people I know.
-
(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
- 2 comments
- Post a new comment
- 2 comments
