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 5 ... 11

Title	Δ
Coq power operator "^" unfound	-2.66
std::function - value vs. reference argument	+1.56
How does (fmap.fmap) sum Just [1,2,3] type check in Haskell?	+1.83
`method `sub` has an incompatible type for trait` (Can sub be imple...	0.00
Why I can't include some headers from C++17 on mac	0.00
Why using fold to generate an exponentially growing infinite list o...	0.00
Does the Applicative interface provide power beyond the ability to...	-2.27
How to define a function to work with move semantics and copy seman...	-2.42
Use the lowest subtype in a typeclass?	-2.21
Proper Way to Handle Vector of Pointers to Derived Classes?	+0.35
Why does the following code compile using clang but not gcc	+1.41
Smarter is_copy_constructible for handling Containers	0.00
Question with complex type definitions c++	+1.42
How to refactor ProgramState usage in Haskell?	0.00
Too many if/else statements in converting user inputs to types in C++	+0.61
Calling << operator on types held in a std::variant?	0.00
How do the various "..Instances" pragma's work togeth...	0.00
How do conversion operators work on a node that has a pointer to an...	0.00
If 'A' has a member variable 'x' of type 'A*...	0.00
Provide example in Coq where (A B: Prop), P: Prop -> Type, such...	0.00
Tensor definition with arbitrarily nested Vects	0.00
Is derived class type to base class type subsumed by user-defined c...	-1.20
Using well founded induction to define factorial	+1.35
Aren't both of these conditions the same?	+0.34
Multiple std::variant visit with variadic templated helper	-1.87
What are < symbols in Crystal classes used for?	0.00
Scala optimization witth specialized types: sum with longs	0.00
Infer function template arguments in return statement from the func...	+1.49
match a Prop? or any other way to define "Double-negation tran...	0.00
C++: Compilation error with explicit keyword	0.00
Prove equality on list constructed with a map	+0.68
Kotlin case of non-intuitive type inference	0.00
Phantom existential types in Scala	+2.00
Phantom existential types in Scala	-2.00
C++ meta-function over templates	+1.79
Type classes and levity polymorphism	0.00
Type-level induction on KnownNats: Overlapping instances	-2.24
The need for pure in Applicatives	+2.26
Init once with lambda function pointer, self-modifying (C++)	+1.42
Is it possible to turn a context pattern into a Gallina function?	0.00
Assignment of references in Rust	0.00
Haskell - fmap for a tree with variable number of nodes in	-0.13
C++ Event System - Polymorphic Events and Event Handlers	+0.38
Class member function unable to access a private struct node of the...	0.00
Haskell: Combining existential and universal quantifiers fails unex...	0.00
Is Eta interoprable with Java and/or Kotlin yet?	0.00
If iostream objects are not copyable, why is the following code leg...	+0.37
Ensuring type safety without variants	0.00
Static cast base to derived pointer and construct derived members	0.00
Haskell avoiding double-wrapped maybes in functions that return may...	+0.12