StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

HTNW

Rating
1610.36 (1,388th)

Reputation
10,063 (15,173rd)

Page: 1 2 3 4 ... 11

Title	Δ
Coq: help to formalize an informal proof	0.00
Constraint on type pairs	0.00
How can I instantiate a variable in a try block?	-0.07
Why does erasure still allow overriding/implementation?	+0.38
enable_if, SFINAE and template parameters?	-1.97
GCC C++14/17 Difference for Member Function Pointer Template Parame...	+0.35
Can adding a constraint cause other constraints to go out of scope?	0.00
What is right-invariance in the context of ranking?	0.00
I want to bind a a non-const lvalue reference to type T to a tempor...	0.00
Construct GADT while parsing json	0.00
create Index Linked List from a plain List	0.00
How to use GHC Generics or Data.Data on a list of Data to merge fie...	0.00
Converting a pointer to a range	0.00
How do you write the statement "Negation of a contradiction is...	0.00
Type scaffolding / commutative composition	0.00
C++ creating lambda from other constexpr lambdas executed in order...	0.00
Can uniplate's `universeBi` be used to retrieve nodes in a brea...	0.00
How can overloaded 'operator new' cause infinite loops?	0.00
Can this function be written in point-free style? If not, why?	0.00
Using declaration on variadic args. How to choose the correct funct...	0.00
Runtime mapping of values to types	0.00
Implementing an `is_similar` type trait based on the definition of...	0.00
Capture json tree structure at the type level	0.00
How to get the type of a subterm when you're building a match	+0.37
rvalue reference (expression) returned by function is xvalue - but...	+1.41
Universal reference l-value not copying object	-1.18
Type constructor bounded by proper type	0.00
Confusion with function pointer, __cdecl, and template	+1.07
How in coq to use lemma a=b backwards?	0.00
C++: function call expression with braced-init-list - does standard...	0.00
Binary search or iterator based on a function instead of a collecti...	0.00
Prove a constant is even	-2.19
Do you need to divide with white point, for emissive sources, when...	+1.39
Testing for map membership with lenses	+0.39
Can't install "System.Random" by cabal	0.00
What is an Integer?	-2.01
How to generalize picking subsets of size `n` from `m` alternatives...	0.00
Generics : run-time ADT for types with instances	0.00
Associate a type level optional natural number (Maybe Nat) with a v...	-1.92
Why is "taking first n elements from an unsorted Map" mea...	+1.62
is not a legal prefix for a constructor when creating a nested class	0.00
How to create a template class that can handle std::set with differ...	-0.87
How to type a Trait with an intermediate type to chain computations?	+1.61
Why is template parameter deduction not working with a variadic tem...	-2.19
How to self reference a function?	0.00
Run Reader wrapped in HtmlT, producing Html ()	0.00
Create a smart-pointer-to-base-class from a reference	0.00
Why GHC.Types.Any here?	0.00
How to view higher-order functions and IO-actions from a mathematic...	-1.54
How to deal with match in a Coq proof	0.00