StackRating

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

Pascal Cuoq

Rating
1688.84 (203rd) 		Reputation
67,924 (1,290th)
Page: 1 ... 8 9 10 11 12 ... 23
Title Δ
Why is (1-x)(1+x) preferred to (1-x^2)? -1.17
Force compile time evaluation of a C function? +0.32
"isNaN(INFINITY)==false" is false -0.11
Is it bad to underflow then overflow an unsigned variable? +1.50
No Output Coming In Simple C Program -0.13
Representing 1.0 in IEEE floating point 0.00
Converting unsigned long long to float and losing precision 0.00
sign changes when going from int to float and back +1.24
Standard ML Proof of soundness? +0.34
OCaml, several questions -0.15
How to print a string in pure OCaml 0.00
Is there an algorithm that seek for mathematical link between 3 var... 0.00
Difference between right shift bitwise and divide by two (size_t) -0.67
Why is code unreachable in Frama-C Value Analysis? -0.48
Is there man page making software? 0.00
Converting unsigned to double to unsigned without loss of precision +1.65
Can a set of floating-point numbers be all above average? +1.81
IEE 754 total order in standard C++11 0.00
How to control size of basic arithmetic types in Frama-C? -0.14
Type of the result of a comparison of float with int in C 0.00
C unsigned modulus causes compiler warning +1.22
Using decimal outside the finances +1.48
Convert from large decimal number into floating point representation 0.00
The sign of zero with floats 0.00
Floating-point optimizations - guideline 0.00
Regarding implementation of memmove +1.91
memmove not copying all the content of buffer - C -0.13
Why does gcc generate 15-20% faster code if I optimize for SIZE ins... +0.31
Which Frama-C version is best suited to develop a slicing plugin? 0.00
Square root of negative zero 0.00
How to calculate floating-point precision after round-off errors in... 0.00
Branch mispredictions 0.00
I can not understand some sentences in C99 +2.10
Is INT_MIN subtracted from any integer considered undefined behavior? +2.12
Type check and code pattern detection, Frama-C 0.00
The comma operator example in ansi c 1999 TC3 +2.01
Are x87 FPU instructions deterministic? +0.36
C11 _Generic: how to deal with string literals? 0.00
Calculate the maximum value of a Java Double (5)? +0.36
Comparing with previous passwords +0.36
precision of Double and Decimal (in .NET) -1.20
Display the exact form of quadratic equations' roots -0.07
accessing long double bit representation -0.23
Incorrect output when calculating magnitude of 3 vectors in Atmel S... 0.00
Why hexadecimal representation of floating point numbers so rarely... +0.62
What is the time complexity of the Hill Climbing Algorithm? 0.00
fast computation for extended precision floating point for number t... 0.00
How to generate ALL floating numbers? +1.62
What is the general way to determine the type of an OCaml expression? -0.61
Which C99-compiler (Clang vs. GCC) is closer to standard on const s... +1.80