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