<p>lets hear it for insulting our home states! yay</p>
<p>In New York, research is the first step towards presenting your results at the various local science fairs, competitions, and symposia.</p>
<p>Oh wait, did I just ruin the joke?...</p>
<p>OHH POO dualityim! you ruined it! =(</p>
<p>lol static, these science contests aren't publicized at my school at all. Moreover, we have a heavy emphasis on liberal arts rather than the sciences. It's kinda hard to believe and imagine, but my school's administration has no clue what research is.</p>
<p>Okay, how about I try and fix it:</p>
<p>New York sucks. I wish I were in Cali...</p>
<p>I'm addicted to the whole are of programming languages.
Compilation (and the pertinent analyses, transformations, and optimizations)
Semantics
Type Theory (and by implication logic)
Proof carrying code and other automated verification techniques.
+ whatever else I'm neglecting because I'm exausted.</p>
<p>So much cool work going on at so many places: Princeton, CMU, Yale, Harvard, MIT, Cornell, Edinburgh, Brown (only one guy there), Boston University and other member institutions of the Church Project, some folks at Microsoft research(which reminds me, an alumn of my school wrote the latex typesetting software, and he's now at Microsoft Research).</p>
<p>The project which I'm just barely starting conceptual planning for straddles a lot of these and if Its as fruitful as I hope, will span years. The immediate part is basically the integration of some very sophisticated automated verification infrastructure into a programming language that will take the form of at least basic proving capability plus something akin to model checking through the use of a generalization of deterministic finite state machines. So basically I'm hoping to push/nudge verification and metaprogramming into a new direction.</p>
<p>in southern michigan, "research" is a 4 page history paper or anything else that requires an hour or so with Google.</p>
<p>oh, I could count the number of people at my high school who know about Siemans-Westinghouse and Intel STS etc on one hand, let alone people who actually participate (the latter is 0, but the way).</p>
<p>michigan winters are horrendous</p>
<p>this winter has been very odd. I'll blame it on global warming.
<em>insult insult</em> lol frankenchris!</p>
<p>jaaa, we had a snowday on tuesday!! not complaining =DDD</p>
<p>aw we never have snow days!</p>
<p>cool, i see. i bet that's meticulous stuff. i'm just interested in knowing what you're doing, because computer science is a thing i never picked up. tried teaching myself javascript once, just didn't put that much time in it.</p>
<p>back to rsi - what do the people do on the weekends?</p>
<p>neither do we (snow days)! we do have hurricane days one in a while though >.<</p>
<p>i do not procrastinate on the weekends.
usually attend competitions this time of year.</p>
<p>what do you do?</p>
<p>lol, i meant people at rsi.
but anyway, most recently i've been working on mission impossible for science olympiad, which won silver in region (i also won gold in physics). other weekends, i go bird hunting with friends or to the movies. and church every sunday. typical georgian weekend?</p>
<p>hey l33twinkie, is it supposed to be l33 twinkie to represent Lee twinkie or l33t winkie, like,... (i don't know what a winkie is though) </p>
<p>and do you know perry zheng?</p>
<p>ooo, l33twinkie, you're in science olympiad? awesome, me too! got 4 golds at regionals but there's not much competition in my region (just our school's academic archrival team)</p>
<p>it's actually l33t and twinkie (one of the t's is removed). l33t as in 1337/elite.
don't know a perry zheng, sorry.</p>
<p>so, what does xinerz mean?</p>
<p>xine's a nickname since forever and a day ago, and 'rz' just fits with 'xine'(at the end of it), doncha think? (well, i do =D)</p>
<p>altairaqua - dude, that's kick ass. i got 1 gold, 1 silver, and 1 bronze. makes me look like i swept the podium, but you can't do that.</p>
<p>my region is ok competitive. do you guys run into schools whose science olympiad team is an actual class? it's tough to go against their building projects.</p>
<p>xinerz - lol, sure. so is it "sh"inerz or "z"inerz?</p>
<p>ok, last post for today. need sleep.</p>