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 ... 5 6 7 8 9 10 11
Title Δ
Why does chaining .map() and .filter() in Kotlin not work as expect... +1.91
Haskell - flip arguments of a typeclass with two parameters -1.94
Why is this not a case of the restricted monad limitation? +1.67
How do I parse an Enum with Aeson? +1.93
Haskell type instance failed to resolve 0.00
Indexed lenses for nested containers 0.00
type level pattern matching in scala -1.97
Fusion for length-indexed linked lists 0.00
Index a Heterogeneous List -1.69
Super classes with All from generics-sop 0.00
haskell hide import of star-operator 0.00
Creating multiple Criterion Benchmarks at once -0.52
Resolving type ambiguity with non-primitive types 0.00
Why can a public type throw an error that is a private type? 0.00
Type safe plugins for a data processing pipeline 0.00
Does Idris have non-terminating terms? 0.00
Type-safe union in Haskell? 0.00
working with functions that takes non-zero natural numbers 0.00
"MonadReader (Foo m) m" results in infinite type from fun... 0.00
Proving theorems about functions with cases +0.40
Idris: Writing an initial segments function for vectors with length... 0.00
Java recursion and inheritance -0.27
Prevent inadvertently using different type class instance +1.74
How to increase the value of a `Fin n` without increasing its index? -1.26
Why is `mfix` not total in `MaybeT` +1.54
In Persistent (Haskell), how can I insert a record only if it doesn... -2.56
Haskell - Invoke function from a pair 0.00
How do I avoid ambiguous type errors in generic functions on typecl... 0.00
Cut inner lists to equal length in Haskell +0.34
Group adjacent values in a list in Haskell +0.12
Haskell mutable array for sudoku grid 0.00
Can the type of this function be declared in standard Haskell 0.00
Writing a rewrite rule involving rank-n types +1.63
Can I implement Eq for a type which can contain a list of itself? +2.00
Can I implement Eq for a type which can contain a list of itself? -2.00
Haskell consecutive sublist of list -0.66
How does Haskell type-check infinite recursive values? 0.00
How do I enable multiple watch sources in sbt? 0.00
Can I convert a list to a length indexed vector with a class? -1.73
Equality proofs and pattern matching in total functions 0.00
how does Haskell know `xs` is a list in the function definition? +0.04
Using guards and sectioning +1.89
Function returning result of any constructor of a GADT 0.00
removing the current listener from within EventM 0.00
Extracting n-th element from tuple in Haskell (where n and tuple ar... +1.58
HasResolution typeclass 0.00
Java - casting from unbounded wildcard to string 0.00
Nth Fibonacci using pointers in C; recursive and array +1.96
What is an elegant idiom for a lexicographic Ord instance? +2.09
Performing side-effects in Vavr 0.00