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 ... 4 5 6 7 8 ... 23

Title	Δ
What rules dictate how Python floats are rounded?	0.00
Is this GCC optimization incorrect?	+0.81
what's the exact value of the most negative 32 floating point n...	0.00
Is it possible to get a backward Dynamic Slice in Frama-C?	0.00
Can implementations supporting binary128 type easily offer consiste...	0.00
Inconsistent float operation results between clang and gcc	0.00
In Rust f64 and f32 don't implement total ordering via Ord trai...	0.00
Motivation of IEEE floating point numbers - range vs precision	-0.21
Interpret Mac OS X crash report	0.00
What is the relationship between loop invariant and weakest precond...	0.00
Scaling a 4-bit Number Using Bitwise Operations (Not Floating Numbe...	+0.29
Is x87 FP stack still relevant?	0.00
Passing multiple arguments to C file when slicing	0.00
What is the difference between float and double in this input?	+0.29
What happens when a integer overflow occurs in a C expression?	-0.49
Division of Float's not accurate in Swift	0.00
Why does adding 0.1 multiple times remain lossless?	-1.07
frama-c [kernel] user error: skipping file "selection.c"...	0.00
Is the compiler allowed to recycle freed pointer variables?	0.00
Questions about 32 bit float values	0.00
C programming expressions that evaluate to true or false.	0.00
long double subnormals/denormals get truncated to 0 [-Woverflow]	+1.20
Floating point division- why does dividend needs to be less than di...	0.00
How do you find a float's nearest non-equal value?	+0.66
In recursive cycle, why does this value change?	0.00
MinGW's gcc reports error where Cygwin's accepts	0.00
Casting from double to float	-0.69
Determine smallest floating point type that can hold a string value	+1.29
Convert between formats with different number of bits for exponent...	0.00
Why does atan2 in CUDA kernel results in slightly different values...	+1.54
How many integers divisible by 2 can be represented in IEEE-754 flo...	0.00
Pre-processing Source Code before slicing using Frama-c	0.00
Is scanf guaranteed to not change the value on failure?	+1.68
How does floating point error propagate when doing mathematical ope...	+1.08
Why does a division result differ based on the cast type? (Followup)	-0.55
Why do I get warning C4756: overflow in constant arithmetic when re...	0.00
i try this piece of code in all possible way ,but i cant find why?	+0.71
strange clusters of java.lang.Double with respect to multiplication	+1.36
Learning how to prove Frama-C pre-condition goals	0.00
double numbers precision in C	0.00
IEEE 754 floating point rounding mode hardware/software	0.00
Why we write lo+(hi-lo)/2 in binary search?	+1.92
Gaussian integral and double division	+0.33
Implicit cast when passing arguments to functions in C language	0.00
Scheduling events when time is a floating point value	0.00
GCC conversion warning when assigning to a bitfield	0.00
how to raise exception in the ocaml code?	+0.30
What is basic idea behind emulation of the instruction set?	0.00
Performance comparison: 64 bit and 32 bit multiplication	+1.33
C: convert a real number to 64 bit floating point binary	-0.49