John Wickerson
Reputation
Next privilege 250 Rep.
 Jul29 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/…) Jul28 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? Jul28 asked What do I need in order to draw conclusions from this data? Jul2 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. Jul2 asked Mathematical notation for monad bind Jun29 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$). Jun28 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? Jun28 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. Jun28 answered Name the property $f(x) \ge x$ Jun26 awarded Editor Jun26 revised Lifting an equivalence relation on elements to a relation on sets added 358 characters in body Jun26 awarded Student Jun26 asked Lifting an equivalence relation on elements to a relation on sets Mar28 awarded Supporter Jun29 suggested rejected edit on Average value of area of circles May2 awarded Autobiographer Jul7 awarded Teacher Jul7 answered What is this proof syntax (Hoare 1974)?