<tmilford>
and the correct answer: gives C * 1.09861
<tmilford>
nice.
<tmilford>
thanks smerdyakov
<Smerdyakov>
Any time. :)
<Smerdyakov>
Why are you taking the CS GRE
<tmilford>
hoping to get into grad school.
<Smerdyakov>
Which degree?
<tmilford>
CS probably. hoping to apply CS to another field in engineering or the sciences.
<Smerdyakov>
Yeah, but masters? PhD?
<tmilford>
work is going to pay for masters. so just that for now.
<tmilford>
what about you? doing grad school now?
<Smerdyakov>
Yup. PhD in CS.
<tmilford>
what area of research?
<Smerdyakov>
Programming languages
<tmilford>
makes sense, given where we are :)
<Smerdyakov>
Where are you applying? I'm guessing you may be location constrained, given the work thing.
<tmilford>
yup. UCLA and UCSB. need to stay around northern la area.
<Smerdyakov>
Ah. I'm at UCB.
<Smerdyakov>
Think you have a good chance of getting into UCLA?
<tmilford>
cool. seems like a strong department.
<tmilford>
decent, if my gre & gre cs scores are good enough. recommendations are good.
<Smerdyakov>
OK. Isn't UCSB a huge drop in prestige for CS compared to UCLA?
<tmilford>
yes, it seems that way. but again, my choices are limited...
<tmilford>
any other gre tips?
<vect>
whar does 'gre' mean ?
<vect>
*what
<Smerdyakov>
The top CS schools don't care about GRE scores. I don't know if UCLA fits that classification in this regard.
<Smerdyakov>
(The GRE tests are too easy to show research ability.)
Kinners has left #ocaml []
<tmilford>
UCLA definitely asks for CS GRE.
<tmilford>
who knows how much they care about it though.
<Smerdyakov>
Yeah, they all ask for it. But the big ones don't weigh it strongly.
<tmilford>
i see. then what is weighted strongly? grades and recommendations?
<Smerdyakov>
Recommendations and research experience dwarf all other aspects.
<Smerdyakov>
I'm talking PhD, of course. Research experience is probably downplayed for masters applicants.
<Smerdyakov>
Especially for coursework based masters.
<tmilford>
makes sense.
<tmilford>
did you go straight from undergrad to phd program?
<Smerdyakov>
Yeah
<tmilford>
cool. how has your grad school experience been so far?
<Smerdyakov>
Pretty positive. Can't complain with getting paid to take classes. :)
<Smerdyakov>
I'm almost done with my first semester.
<tmilford>
yeah. i'm jealous. work isn't bad, but after only a year i'm needing new challenges. luckily, boss is proactive about such things ( more education, conference attendance, etc).
<Smerdyakov>
If you're good at your chosen field and it's a hot field today, you can dump your boss and being bossed around entirely for the rest of your life and go for a PhD.
<tmilford>
true to a degree. however, going for the PhD is a leap after you've been out of school.
<tmilford>
not to mention the fact that you'd have to really love what you're working on to spend that much more time in school.
<Smerdyakov>
Really? Do you really love what you're working on now?
<Smerdyakov>
Because getting a PhD involves classes in a very small proportion of total time.
<Smerdyakov>
The rest of the time it's like a regular job, but you work on what YOU want to work on.
<tmilford>
touche
<tmilford>
:)
<tmilford>
those are good arguments. of course, there will always be demands placed upon you (ie. finding funding, getting published often enough to earn tenure, etc) but it seems like you have more control once you've got one.
<Smerdyakov>
You don't have to worry about these things if you are _good_. :)
<tmilford>
:)
<tmilford>
do you plan to teach? or take your doctorate to industry?
<Smerdyakov>
Neither. I want to try some novel methods for funding production of open source software, including that based heavily on formal methods.
<Smerdyakov>
We'll see what happens. :)
<tmilford>
i don't know to much about formal methods, but anything that will encourage open source sounds great to me. good luck!
<tmilford>
of course, for you, luck might not be necessary ;)
<Smerdyakov>
When I say "formal methods," I just basically mean "prove the software does what you want," instead of "guess." :D
<tmilford>
ah.
<tmilford>
hmm. i hope the same methods are soon applied in software security.
<Smerdyakov>
That's what I and half the other PL researchers are doing now. :D
<tmilford>
nice! is there somewhere online where i could find an introduction to formal methods and their use in comp sec? simple google searches are turning up nothing useful.
<Smerdyakov>
Never heard of "language based security"?
<tmilford>
sure. at least some forms of it. that turns up some good intro material too.
<tmilford>
seems like an active area. i read about cyclone (a safer C) a while back, neat stuff.
<tmilford>
anyway, thanks again for the help w/ the gre. nice talking with you about grad school too.
<Smerdyakov>
:-)
systems has joined #ocaml
jdmarshall has joined #ocaml
Etaoin has joined #ocaml
systems has quit ["Client Exiting"]
cm has quit ["changing servers"]
cm has joined #ocaml
cm has quit ["changing servers"]
cm has joined #ocaml
cm has quit ["changing servers"]
cm has joined #ocaml
cm has quit [Client Quit]
cm has joined #ocaml
cm has quit ["changing servers"]
cm has joined #ocaml
Kinners has joined #ocaml
Xolution has joined #ocaml
Xolution has quit [Read error: 104 (Connection reset by peer)]
brwill is now known as brwill_afk
ayrnieu has quit ["Leaving"]
brwill_afk is now known as brwill
Kinners has quit [Read error: 54 (Connection reset by peer)]
ayrnieu has joined #ocaml
lus|wazze has quit ["If we don't believe in freedom of expression for people we despise, we don't believe in it at all -- Noam Chomsky"]
brwill is now known as brwill_zzz
async has joined #ocaml
tmilford has quit ["using sirc version 2.211+ssfe"]
Demitar has quit ["Bubbles..."]
jdmarshall has quit ["ChatZilla 0.8.31 [Mozilla rv:1.4/20030624]"]
karryall has quit ["."]
_JusSx_ has joined #ocaml
mimosa has joined #ocaml
Demitar has joined #ocaml
gim has joined #ocaml
karryall has joined #ocaml
Kinners has joined #ocaml
Herrchen has joined #ocaml
<_JusSx_>
l
Kinners has left #ocaml []
Xolution has joined #ocaml
JX_ has joined #ocaml
<JX_>
hi there :)
JX_ is now known as JX
<vect>
salut jx
<JX>
bonjour :)
<JX>
bon bon bon... je vais venir genre "j'ai un problème"... ;.
<JX>
;)
vect is now known as gl
gl is now known as vect
<JX>
Parse error: [match_case] expected after '|' (in [expr])... dans un parser... alors que j'ai une chose similaire au dessus :/
<JX>
et que ça passe en compile
<vect>
j'ai pas le temps de repondre, la, mais a mon avis reformule ta question en anglais pour ceux qui liront plus tard
* vect
&
<JX>
thx
<karryall>
poste le code plutot
<JX>
let lexer = Genlex.make_lexer ["SET";"JOB"] in let rec parse_expr = parser [< l = parse_line ; f >] -> parse_expr f and parse_line = parser [< 'Kwd "SET" ; key=parse_data ; data = parse_data >] -> try self#set key (trans2 data) with _ -> () |[< 'Kwd "JOB" >] -> Printf.printf "Nouvelle tache! %s \n" data ;flush Pervasives.stdout and parse_data = parser ...
<karryall>
paske ton |[< 'Kwd "JOB" >] se fait parser dans le try .. with
<karryall>
met des () autour du try .. with
<JX>
ok ça passe...
<JX>
j'ai pas suivi le coup du try with... je pensais que le parser de caml savait où se terminait la clause with
<vect>
mon chauffeur n'est pas la :)
<JX>
thx vect... :) it rocks now;)
<vect>
jx regarde la grammaire, le parseur ne peut que penser que le | qui suit le "with _ -> ()" est une autre possibilite d'exception (meme si ton _ couvre tous les cas)
<JX>
right :) J'ai pas pensé au match tu try ... (/me se flagelle)
cm is now known as wamichae
wamichae is now known as cm
owll has joined #ocaml
owll has quit [Client Quit]
phubuh has quit [Remote closed the connection]
rox has joined #ocaml
lus|wazze has joined #ocaml
mattam_ has joined #ocaml
mattam has quit [Read error: 113 (No route to host)]
karryall has quit ["home"]
JX has quit [Read error: 60 (Operation timed out)]
JX has joined #ocaml
buggs has joined #ocaml
* carm
is away: ...
<_JusSx_>
l
systems has joined #ocaml
systems has left #ocaml []
mattam_ is now known as mattam
buggs|afk has joined #ocaml
karryall has joined #ocaml
buggs has quit [Connection timed out]
buggs|afk is now known as buggs
* carm
is back (gone 02:30:08)
eternite has joined #ocaml
<eternite>
hi evrybody !
<Etaoin>
hi
buggs has quit [Remote closed the connection]
buggs has joined #ocaml
Kinners has joined #ocaml
_JusSx_ has quit ["[BX] Windows 95, coded entirely by blondes"]