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 2 3 4 5 ... 23
Title Δ
what is it called when a floating point number is larger than its p... 0.00
What does the exponent in a floating-point number represent? 0.00
Frama-C anagram function behavior verification +0.93
Why is double.MaxValue + double.Epsilon not double.Infinity? 0.00
How are numbers represented in a computer and what is the role of f... 0.00
Am I allocating memory correctly using malloc? +0.27
c programming printf format searches expressions +1.24
Why Floating Point Division is not Precise in Computers? 0.00
float128 and double-double arithmetic 0.00
Is there a way to fix format specifiers warnings for stdint types? +1.00
Strict inequality for floating point multiplication +1.88
Why does strtod freeze up when given large numbers in VxWorks? 0.00
controlling overflow and loss in precision while multiplying doubles 0.00
Converting single-precision floating point numbers to double-precis... +1.14
Fastest method for freeing up memory allocated to a hash table in C 0.00
Why would we put a block of code inside braces? -1.19
Are there denormalized floats that evaluate to the same value apart... 0.00
How does CPU differentiate REP and REPE instructions? 0.00
Reinterpret int as float yields 0.000000 -0.33
Splitting a floating point number into a sum of two other numbers,... 0.00
Generating evenly distributed bits, using approximation +0.25
Converting float to uint64 and uint32 behaves strangely 0.00
Is there a standard C way to print floating-point values "perf... +1.49
Alternative to atof() function to differenciate input 0 with failure -0.54
What is the meaning of “static” in parameters array types in C? 0.00
associative-math with GCC 0.00
significant decimal digits of binary32 and binary64 0.00
Convert large integer to float -2.89
Where is Heap and Stack on Physical Memory? +1.26
How can I read native UNIX bins like "cat"? +0.66
Does Linux X-Server directly access GPU memory? 0.00
Is there really no way to print a signed number without a sign in C? +1.07
Divide a double precision by a single precision (both IEEE 754) in... 0.00
How to do a hexadecimal multiplication in OCaml? -0.81
Floating point numbers, precision, and Parsec +0.30
Why are integer types promoted during addition in C? +1.03
Why am I not getting overflow when I operate on values more than 2^... -0.17
int64_t to double to int64_t again, loss of precision 0.00
Given the following, how do I find the number of normalized floatin... -2.61
How can I understand what standard my libraries are and to what sta... -1.04
Realloc Using Way too much Memory +0.28
Is this movl instruction necessary? +0.27
How to access a field of a type defined in an OCaml recursive module? 0.00
Functions as parameters in C +1.13
How to get the mantissa and exponent of a double in a power of 10? 0.00
Floating point size and values 0.00
Is there any reason to not turn null check after malloc into a func... +0.89
Different implementations of Newton's method in floating point... +0.12
Why {a^nb^n | n>=1} is not a regular language? +1.26
Choosing "a" or "an" before any digit beginning... +0.32