Hi. I've been lurking for quite a long time, first on OB then here.

Computer engineering student, interested in AGI and rationality. And foreign languages and stuff.

(Edit: I am especially interested in the mathematical formalization of AI - my hypothesis is that strong AI is a disorganized field in need of a more formal language to make better progress. Still a vague idea, which is why I'm just a lurker in the AI field, but I am quite interested in discussion on related topics.)