So I don't yet know how the fuck I'm getting to pgh, but I'm s'posed to get into Newark 11pmish local time.
And: talking about encoding axiomatic geometry into higher order logic in a Scottish accent makes you sexy. Good lord.
noms is a project apparently influenced by camlistore and git. Has a bunch of juicy buzzwords attached to it (Content-addressable, monotonic,…
Great list of computer books from days of yore, with pictures: http://tedfelix.com/books/ I remember "BASIC Fun: Computer Games, Puzzles, and…
One of two large (~$X00) purchases arrived today: a new desktop, since my five-year-old one is starting to show signs of dying. I already pulled all…