StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

András Kovács

Rating
1646.10 (628th) 		Reputation
25,270 (5,059th)
Page: 1 2 3 4 5 ... 8
Title Δ
Why doesn't this Haskell code exhaust the heap? +1.57
Segfault in ArrayArray# 0.00
Fail to define an infinite stream +0.31
Could not deduce SingI of predecessor Nat 0.00
Is Agda without K less powerful? 0.00
Compilation of IORef and STRef 0.00
In Haskell, is there an abstraction for the <?>-operator? +0.81
type applications and constraint kinds 0.00
Haskell: Is there an operator like this: (<$$>) :: Functor f... +0.31
How do I compose 'freer' effects in haskell? 0.00
How to get classy lenses with overloaded field names? 0.00
Is it possible to compare two trees with recursion schemes? +1.48
Proofs about functions that depend on the ordering of their alterna... +0.92
Equality on dependent record types +0.31
Change leaf values of a tree to ordered sequence while preserving t... -2.75
How do you present any data type to the user with PureScript? -0.19
Can I automatically produce typeclass instances for a conversion fu... +1.78
How do I implement a foldable instance for Constant a b = Constant a? +1.56
How to trigger a type family pattern match error in Haskell? +1.95
Using type-inequality within type-level programming in Haskell 0.00
Defining Functor Instance for Tensor Type (Idris) 0.00
Why is this version of 'fix' more efficient in Haskell? +1.30
Haskell: Multi-property sort is not generic enough 0.00
Type safe lookup on heterogeneous lists in Haskell 0.00
Efficiently abstracting over datatype arity +1.44
Type level environment in Haskell -1.10
Creating a random permutation of 1..N with Data.Vector.Unboxed.Muta... +1.58
Type-Level Peano Numbers and UndecidableInstances +1.75
Ambiguous type variable in length of heterogeneous list 0.00
Can we have type variables in constructor position in the Hindley M... +1.52
Replacing singleton data types with a data family 0.00
More problems with dependently typed programming in Haskell 0.00
Proving `T b` when `b` is already matched on -2.76
Type ambiguity in Haskell type families 0.00
Catching exceptions in monad transformers 0.00
Haskell Pipes: How do I sort the output of a producer? +1.16
How to create a "kind class" in Haskell, or ad-hoc polymo... +1.56
Parsec: Getting start and end source positions of expressions? 0.00
polymorphic constructor for type-level list -2.62
What is needed to get my custom ZipList applicative instance to com... 0.00
Splitting a type-level list in GHC 0.00
Comonadically finding all the ways to focus on a grid +0.33
Why aren't existential quantification and datakinds working tog... +1.46
Is it possible to derive recursion principles generically? +0.60
Idris : Is it possible to rewrite all functions using "with&qu... 0.00
Parse error when reading 0.00
If two things are not not equal, are they equal? -0.41
Is this relationship between forall and exists provable in Coq/intu... -0.18
Why no `seq` in `accursedUnutterablePerformIO`? 0.00
Efficient alternative to Data.Vector.dropWhile 0.00