?

Log in

No account? Create an account
Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Dec. 31st, 2009|09:51 pm]
Jason
[Tags|]

About ten years ago, in the beginning of the calendar year 2000, 19-year-old me took some classes including "15-312"* and "Category Theory", and finally got around to experimenting with a thing called "dating".

A highly auspicious time.

Conclusion: it's been a good decade for me, personally. I've learned a lot.

(*for the non-CMU people: a very formal-methods-centric course on the principles of programming language design and type systems, the gateway drug to essentially all the research I've done since.)
LinkReply

Comments:
(Deleted comment)
[User Picture]From: gustavolacerda
2010-01-01 06:12 am (UTC)
Since this link is already in my buffer, I can't resist pasting it. It's about the serious application of logic to cognitive science.

http://www.kent.ac.uk/secl/philosophy/jw/TheReasoner/vol2/TheReasoner-2%289%29.pdf
(Reply) (Parent) (Thread)
[User Picture]From: stepleton
2010-01-01 11:00 pm (UTC)
I'm glad for the citation of Luria's Cognitive development: its cultural and social foundations. Fascinating book.
(Reply) (Parent) (Thread)
[User Picture]From: jcreed
2010-01-01 01:51 pm (UTC)
Thanks, and best wishes for your decade as well :)
(Reply) (Parent) (Thread)
From: simrob
2010-01-02 05:31 pm (UTC)
Who taught your 15-312?
(Reply) (Thread)
[User Picture]From: jcreed
2010-01-02 05:34 pm (UTC)
Bob. Frank (and Lafferty, co-teaching) taught my 15-212, first semester freshman year. So you could say I was doomed from the start, but that doesn't play as nicely into the decadal story. Plus I was mostly still a dirty perl hacker in practice until 312.
(Reply) (Parent) (Thread)