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 ... 11 12 13 14 15 ... 23

Title	Δ
How does Anti-Theft Software know where the computer/device is loca...	0.00
Frama-C/WP not able to prove loop invariant with \at	0.00
Largest range of uniformly distributed float values?	0.00
Accuracy of floating point arithmetic	0.00
How can I create a union type for a tree, where it takes 'a type of...	+0.17
How to determine whether C math uses SSE2?	+0.52
Can I calculate error introduced by doubles?	-0.36
unsigned/signed short/int conversion	+0.38
gcc warning flag for bogus comparison	+0.34
Faster way for any number(16bit) divide by 3 in assembly without DI...	+1.72
How to access a C array in random order ensuring that all elements...	+0.37
convert int64 to float32 in c	-1.85
OCaml Invalid Argument("equal:abstract value")	+1.86
C : malloc seems to allocate more then i'm requesting (array)	-1.28
How can I add 1 to a floating point number in unsigned int, using b...	0.00
Round down float using bit operations in C	-0.63
Can frama-c be used for header file analysis?	-0.63
Determine whether a recursive function converges	-2.29
Compiler parsing of exact floating point numbers	-1.44
Decision/condition coverage	-1.34
A simple OCaml program	0.00
How to "do nothing" in else part of if condition in SML	0.00
Why is a conditional move not vulnerable for Branch Prediction Fail...	+1.93
Automatically printing the structures and variables in C	0.00
Defining Undefined Behavior	+0.32
Printing multiple integers as one arbitrarily long decimal string	+1.69
C99 variables declaration position where it is written	-1.04
Subtracting unsigned long longs with signed long long result?	-1.38
Is this function preimage resistant?	0.00
Why is method dispatch sometimes slow?	+1.38
Lowest possible memory address on modern OS	+0.10
double or decimal for temperature spread formula	0.00
Yet another fast trigonometry	+1.56
is it possible to categorize the different forms of the approximati...	+1.37
gcc options to use i87, AVX simultaneously but nor SSE	0.00
Valgrind shows errors pointing to Qt's source files, not to my sour...	-0.46
C cast void pointer to function pointer	+0.39
Tool for static loop termination detection in C	0.00
Conjunction vs. Implication in Coq	0.00
How to ensure same float numbers on different systems?	0.00
Does cyclone perform static or dynamic checks on fat pointers?	0.00
Multiply before normalization	0.00
Is it possible to estimate how many digits are accurate in 32 bit f...	-0.15
why a warning of "control reaches end of non-void function"	+0.89
How to calculate the amount of memory needed for a struct with vari...	-0.41
Precise sum of floating point numbers	+1.14
Forward slicing tool for the C language	0.00
What exactly does "context" mean in context-(in)sensitive...	0.00
unnamed struct/union in C	+2.01
what exactly is the danger of an uninitialized pointer in C	+1.21