StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Pramod

Rating
1503.37 (318,178th)

Reputation
6,897 (23,324th)

Page: 1

Title	Δ
Quantifier patterns in Z3	0.00
How do you prove termination of a recursive list length?	-3.93
Is Z3 python interface threadsafe?	0.00
Conversion of equations to cnf, for using sat solvers	0.00
Debugging combinational logic loops in Icarus Verilog	-1.68
Python: Problem with overloaded constructors	-0.17
What is the time complexity of this Scheme exponentiation function?	-3.73
With Lua and Python embeddable, is there a place for Basic?	-4.25
Do you consider this technique "BAD"?	+2.97
How do I merge two python iterators?	+3.85
Convert a number to a string with specified length in C++	-1.92
Safely punning char* to double in C	+2.33
Is it correct to export data members? (C++)	+4.11
Tools for debugging xslt	+2.59
What is the best comment in source code you have ever encountered?	+0.02
Is it a good design to put event handling code into an own method?	+1.72
Is Fortran faster than C?	-0.99
The most efficient way to implement an integer based power function...	+2.86
Getting an int representation of a String	-1.76
function declaration isn't a prototype	+4.51
Practices for programming in a scientific environment?	+2.44
What is the meaning of "non temporal" memory accesses in...	-3.73
Alignment restrictions for malloc()/free()	-1.85
Equation (expression) parser with precedence?	+4.07
Complexity of Regex substitution	-3.95
Ruby blocks/Java closures in C	-0.13