StackRating

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

Joachim Breitner

Rating
1538.31 (12,676th)
Reputation
20,615 (6,572nd)
Page: 1 2 3 4 ... 6
Title Δ
Example of performance degradation due to the use of strict data co... 0.00
Usage of "also have...finally have" in Isabelle 0.00
Typechecking multiple 'Main's +0.46
Why does HasCallStack still add stack frames when using withFrozenC... 0.00
How to downgrade base with cabal? -1.24
How can I run xmonad on a nomachine remote desktop? 0.00
Skip blank lines with Parsec +0.44
Proving a theorem about parser combinators 0.00
How to find what function XY actually does in Haskell? +2.33
What is the "::" equivalent function in Haskell? +0.33
Using the rule 'classical' in Isabelle +0.46
Word foldl' isn't optimized as well as Int foldl' -1.80
How could I Implement inductive graph in haskell? 0.00
Intuition for MaybeT +2.15
Using foldr for search instead of foldl in haskell 0.00
Why is sum slower than foldl' in haskell? +0.47
Most efficient way of building a list in a left fold? -1.87
Termination checking for product types 0.00
Unexpected corecursive call 0.00
Isabelle: Is there a difference between using axiomatization and da... +0.46
Haskell: 'do [1,2,3]; ["hello"]' behavior clarifi... +1.67
Is a bang pattern on unit really needed here? 0.00
Display the terms of a sequence as they are computed 0.00
How can I see the full cost-centre stack in GHC? 0.00
How do I add a class to a JointJS cell? 0.00
Using Emoji in Haskell 0.00
How to package Haskell project for Linux use +0.43
Why does the Functor type class not include a fold method? -0.49
parsec: is there an easy way to allow comments/whitespace everywher... -1.00
Ubuntu 14.04 arbtt-stats index to large error 0.00
First time attempting to use dependency with Cabal 0.00
Isabelle/HOL proof by rule inversion 0.00
Is using @-patterns to get the pattern value redundant? 0.00
Is an infinitely recursive type useful? +1.36
How can I express foldr in terms of foldMap for type-aligned sequen... 0.00
Memory consumption API 0.00
How do I avoid writing this type of Haskell boilerplate code -1.38
how to discover new lemma or guess or search the next lemma which w... -0.04
Functionality of as-pattern, non overlapping pattern through 'a... -2.21
Computing a term of a list depending on all previous terms -1.20
Can a Haskell/GHC self-report its GC stats live? -0.11
IO String not expected in mysql-simple execute 0.00
How to call Haskell from Javascript with GHCJS 0.00
is Haskell sensitive to order in a function definition? +2.20
hackage showing incorrect dependencies for library package with exe... 0.00
Safely pass Make variable to shell commands -1.46
How to play an audio file from Haskell code, cross-platform 0.00
Haskell packages - dependency tree -0.79
Is there a parallel find in Haskell? 0.00
Measure program runtime statistically sound 0.00