StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

John Wickerson

Rating
1482.69 (4,484,982nd) 		Reputation
759 (194,562nd)
Page: 1
Title Δ
Selecting SAT solver from command line +4.25
Evaluating shell commands in a file 0.00
OpenCL 2.0 - race in a program with only atomics 0.00
"String of nat" in Isabelle? -3.75
Where did SVN checkout to? 0.00
xml and xsl cannot loop +1.17
let-statement with SOME operator -3.68
How to describe inaccuracy points inside (| |) in Isabelle? -1.74
How to run Apple's OpenCL "Hello World" example in XCode 0.00
Isabelle: Sledgehammer finds a proof but it fails -3.81
Why is a meta-universally quantified variable renamed and how is it... -1.75
Lifting a partial definition to a quotient type -3.95
code_pred in locales -4.05
Why do programming languages not allow spaces in identifiers? 0.00