Sluggishly started classes again. Physics, blah. Went to Karl Crary's…: jcreed

: Jason (jcreed) wrote,
2002-04-08 00:11:00

Jason
jcreed
2002-04-08 00:11:00

Sluggishly started classes again. Physics, blah. Went to Karl Crary's class where Evan did the standard logical relations proof of decidability of equality in LF. Karl actually wasn't there because he had gotten married very recently. Went to the logic seminar. Something about wacky second-order arithmetic theories that corresponded to certain complexity classes nicely.

(no subject)

Fun talk by Sara Soskolne down at Cooper about the maximally fiddly bits of designing Gotham and Quarto.
(no subject)

A nice long essay full of typography found on Broadway: http://www.hopesandfears.com/hopes/culture/design/216855-typography-of-broadway-from-a-to-z
(no subject)

More stuff happened: Tried to find a typisch deutsche döner kebap, but we only came across an outdoor stand with no real seating to speak of,…

Post a new comment
Error

Anonymous comments are disabled in this journal
Anonymously

Log in

default userpic

Your reply will be screened

Your IP address will be recorded

Preview comment

Help
0 comments

Post a new comment
0 comments

(no subject)

(no subject)

(no subject)

Error