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 ... 8

Title	Δ
foldl/foldr don't hit stackoverflow	0.00
Correctly parsing nested data using megaparsec	0.00
How does one use identity elimination (in agda) to prove Eckmann Hi...	0.00
In a dependently typed programming language is Type-in-Type practic...	0.00
Why aliased function makes performance down in the case in Haskell	0.00
Memory footprint and performance of IORef	0.00
Derivatives of data structures in Agda	0.00
Mutually Inductive Descriptions with different type indices?	0.00
Intuition for difference between eta for function from top and empt...	+0.95
What does putting a constraint in an argument's type instead of...	0.00
Rewriting with John Major's equality	0.00
Functional extensionality for John Major's equality	0.00
How to combine a comonad and a monad into a comonad?	0.00
How to prove `theorem : ¬ ⊤ ≡ ⊥` in Agda?	+0.96
How to choose the design for a well-founded inductive type?	0.00
Is Well-Founded recursion safe?	0.00
type mismatch occurs while the evaluated values are equal	0.00
How to prove ¬ 2 < 1 in agda?	-1.05
Why doesn't this proof require extensionality? (Agda)	0.00
Auto implicit not solved, even though it should be straightforward...	0.00
NFData instance for the Coyoneda type	-2.82
A suspicious Isomorphism proof	0.00
Unable to create a type-level list with a single element	0.00
Is it possible to have recursive sum type, with each 'level'...	+1.18
Is functional extensionality with dependent functions consistent?	0.00
Church numerals and universe inconsistency	0.00
What is the proper way to represent a beta-equality type for λ-terms?	0.00
Why do function composition and application have a dependent implem...	+0.94
How to convert the J axiom to the fixed-argument form?	0.00
Is there a way to "remove" the parts of a functor that do...	0.00
Kind ambiguity when using PolyKinds and type families	-2.41
How can I reduce the criterion benchmark time?	0.00
How to optimize this pythagoras triples implementation	+1.54
Is `pure x :: IO a` a pure value or one with a side effect?	+0.30
Why aren't Haskell variables polymorphic when bound by pattern...	+1.60
Just how "unsafe" are Data.Vector's unsafeFreeze/unsa...	0.00
Parsing with Haskell/Megaparsec: StateT for building up local, lexi...	0.00
Why does `forall (a :: j) (b:: k)` work differently than `forall (p...	-0.09
Interval extensionality?	-0.44
Characteristic function of a union	-2.77
Is the univalence axiom injective?	+1.45
How to concatMap over all key/value pairs in an Aeson.Object using...	0.00
How to create an empty list in Idris REPL?	0.00
In Idris, what's the type of a list of lists of doubles, where...	0.00
Nonsense "Not in scope" errors	0.00
How to normalize rewrite rules that always decrease the input's...	0.00
What are the drawbacks of encoding properties using functions?	0.00
primStringEquality not reducing	0.00
How do I apply inductive reasoning to `GHC.TypeLits.Nat`?	0.00
Puzzling performance/output behavior with rank-2 polymorphism in Ha...	0.00