176 reputation
5
bio website doc.ic.ac.uk/~jpw48
location London
age 27
visits member for 2 years, 2 months
seen Aug 22 at 11:07

I'm a computer scientist, doing research at Imperial College London.


Jul
29
comment What do I need in order to draw conclusions from this data?
@Anatoly They mean "number of successes out of 100000 attempts". So they're percentages if you divided them by 1000 :-). By the way, in the interests of full disclosure, I should probably mention that I followed Sergio's advice and have cross-posted on Cross-Validated. (stats.stackexchange.com/questions/109803/…)
Jul
28
comment What do I need in order to draw conclusions from this data?
@SergioParreiras Thanks, I didn't know about that site. Might a mod be kind enough to migrate the question for me?
Jul
28
asked What do I need in order to draw conclusions from this data?
Jul
2
comment Mathematical notation for monad bind
I guess I could always try do-notation, e.g. something like $\mathbf{let}~v\leftarrow e_1~\mathbf{in}~e_2$. I think I'll go for something like that in the absence of any other ideas.
Jul
2
asked Mathematical notation for monad bind
Jun
29
comment Lifting an equivalence relation on elements to a relation on sets
Cool. Thanks Moses! I'll have a read in a mo, but just a quick remark: you get better formatting of your quotients if you type A/{\approx} (gives $A/{\approx}$) instead of A/\approx (gives $A/\approx$).
Jun
28
comment Lifting an equivalence relation on elements to a relation on sets
Thanks for this Moses :-). I wonder: to what extent is your set equivalence by $\approx$-extensionality ($A \approx B$) the same as the $A/{\approx} = B/{\approx}$ suggestion by user126154?
Jun
28
comment Lifting an equivalence relation on elements to a relation on sets
Excellent, I had been hoping I would be able to say something short and sweet like $A/R = B/R$. Thank you.
Jun
28
answered Name the property $f(x) \ge x$
Jun
26
awarded  Editor
Jun
26
revised Lifting an equivalence relation on elements to a relation on sets
added 358 characters in body
Jun
26
awarded  Student
Jun
26
asked Lifting an equivalence relation on elements to a relation on sets
Mar
28
awarded  Supporter
Jun
29
suggested suggested edit on Average value of area of circles
May
2
awarded  Autobiographer
Jul
7
awarded  Teacher
Jul
7
answered What is this proof syntax (Hoare 1974)?