annathyst: (Default)
[personal profile] annathyst
Contemplating the lambda calculus is beautifully mind-expanding. It's wonderful how anything can be computed given the ability to abstract unnamed functions of one variable and the ability to apply said functions to arguments. Even stuff like control structures (if, etc), recursion (the Y combinator), and arithmetic (Church numerals) can be built up from thin air. Very cool.

I've been in Santa Fe, NM with the parents for the last week. This is possibly the dullest place I have ever been in - as far as I've seen, the only things to do are to gawk at Indian art, and eat. And drive, and gawk at the vistas, pictures of which will be posted once I can steal the camera and link cable away from the father, which really are something. Driving has occupied much of my time here, primarily because my road test is on the 12th. I'm a little anxious about it, but not overly so.

I'm more anxious about the upcoming school year. I go off to RPI on the 18th, and orientation starts on the day after that. I'm not worried about the academics - two years of SRC has taught me the true meaning of "rigorous" - but about social things. I spent my first year at SRC living under a rock; I really don't want that to happen again. Any advice from fellow introverted, horribly shy people on my friends list on how to avoid this? :P

Seriously, though, I'm going to put a hell of a lot more effort into socializing this time around. Or at least try to. Hopefully, that'll be enough.
(speaking of socializing, [livejournal.com profile] jzig, I'll be living in Colonie C. Give me your e-mail/AIM nick so we can meet up sometime after we arrive and hang out)

I obtained Surely You're Joking, Mr. Feynmann at the gift shop of the Bradbury (not Ray) Science Museum in Los Alamos, which is altogether a more pleasant town than Santa Fe. You get the impression that people actually have lives that don't involve tourists there. The museum itself was not devoid of interest, and the book selection at the gift shop was nicely eclectic. Plus, it actually rained while we were in town, which was a nice change from days of dry heat and relentless sun.
The book is irresistable so far, btw. Pick it up if you've the chance.

I've also consumed part 2 of The Cartoon History of the Universe, and other various books. Reading has taken up pretty much all of the time that hasn't been spent gawking or driving.

We're going out to dinner soon, and tomorrow I'll be home. Hooray.

Date: 2003-08-08 09:33 pm (UTC)
From: [identity profile] duinlas.livejournal.com
My parents used to live in Sante Fe. Good thing they didn't buy a house back when prices were dirt cheap. We might've been rich.

re: lambda calculus

Date: 2003-08-08 10:50 pm (UTC)
From: [identity profile] wjl.livejournal.com
amen, brother! know what's even more fun than the lambda calculus? tacking type systems on the lambda calculus! there's some beautiful math in the proof that all simply typed lambda expressions terminate, and dependent types still bend my brain...

maj, (λx.x x) (λx.x x)

Date: 2003-08-09 01:11 am (UTC)
From: [identity profile] thp.livejournal.com
Surely You're Joking, Mr. Feynman has to be one of the greatest non-fiction books I've ever read. You won't be sorry you got it.

Date: 2003-08-09 04:02 pm (UTC)
From: [identity profile] pyrop.livejournal.com
Indeed.

Date: 2003-08-12 11:56 am (UTC)
From: [identity profile] neuromantic.livejournal.com
Any advice from fellow introverted, horribly shy people on my friends list on how to avoid this?

Booze. And lots of it.

Profile

annathyst: (Default)
Anna

June 2021

S M T W T F S
  12345
67 89101112
13141516171819
20212223242526
27282930   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Feb. 22nd, 2026 06:17 am
Powered by Dreamwidth Studios