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 ... 6 7 8 9 10 ... 23

Title	Δ
IEEE-754: cardinality of the set of rational numbers	0.00
Converting float to UInt32 - which expression is more precise	+1.23
Why is 1.0f in C code represented as 1065353216 in the generated as...	-1.68
How does casting from float to double work in C++?	+1.26
C operators result type	-2.53
floor(a/(double)b)*b==a if a%b==0 in C?	+1.14
Value analysis module and extensions options	+0.33
Why are floating points a better for physicists than integers and p...	+1.25
With variable length instructions how does the computer know the le...	+0.64
How does OCaml GC decide which block in minor heap is live or not	0.00
Java: convert float to double preserving decimal point precision	+0.96
Should the memory vulnerability of the line of code "printf(&q...	-0.06
Why are float literals represented as are despite the error?	+0.51
OCaml function format_of_string is not working as expected	-1.61
Different results for compilers: (gcc 4.8.1) and gcc( 4.3.2)	0.00
FFMPEG compilation without compiler optimization	0.00
Cases where floating-point numbers are comparable using equality	-1.32
memcpy gives different output in different compiler	0.00
Finding number of Pythagorean triples within a given range	-0.50
Floating-point division imperfection	+1.31
Why printf round floating point numbers?	+0.89
Unary operators and ++ or --	-0.02
Same simple calculation, different results	+1.36
What's the difference when casting the float and double to int in j...	+1.49
Evaluating polynomials - floating point or optimization issue?	0.00
Peculiar instruction sequence generated from straightforward C &quo...	+0.02
C: Memory allocation - Is the following struct a naive workaround?	0.00
use of return 0; in main() in C	+0.60
Floating point arithmetics using to nearest	0.00
What is the worst case accuracy for dot product?	-0.44
A faster but less accurate fsin for Intel asm?	+1.51
Compatibility of vsnprintf and the macros from inttypes	0.00
Why does PHP not provide an Epsilon constant for floating point com...	0.00
Convert Hexadecimal Floating-Point Constant	0.00
Frama-C non-terminating evaluation	0.00
How to compute a sine with binary angles?	0.00
What exactly is this lea supposed to do?	0.00
Fix result value from double subtraction	0.00
Why does table-based sin approximation literature always use this f...	+0.33
difference between "or eax,eax" and "test eax,eax&qu...	-1.60
Getting seg fault when using malloc with double pointer	+1.01
float to signed integer conversion does not match float to unsigned...	0.00
Why bits are numbered from right to left?	+0.79
Print ACSL Annotations with Frama-C script	0.00
C Macro Definition on Command Line vs in Code	-0.17
Slicer: continue exploring path after reading indeterminate value	0.00
Floating Point, is an equality comparison enough to prevent divisio...	+0.96
Efficient summation in OCaml	+0.34
Float is ceiling-ed in some cases	0.00
Automatic typecasting discrepancy	0.00