Lunch at the goog with wjl, also ran into cgarrod and kelli and…: jcreed

Log in

No account? Create an account

Remember me

By logging in to LiveJournal using a third-party service you accept LiveJournal's User agreement

: Jason (jcreed) wrote,
2016-04-01 21:18:00

Jason
jcreed
2016-04-01 21:18:00

Lunch at the goog with wjl, also ran into cgarrod and kelli and tomczak and gopi and agoode. Attended sigbovik, was traditional and glonous and sigbovik-y. Had some nice chickpea/spinach/green curry/coconut glub for dinner afterwards at chris-and-rob's place.

Tags: food, sigbovik

(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
0 comments

Log in

(no subject)

(no subject)

(no subject)

Error