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

Title	Δ
Can I coerce an existentially quantified argument in a type constru...	-1.94
Why does this Haskell code run slower with -O?	0.00
Remove the First Value in a List that Meets a Criterion	-0.55
Converting a set to a list in Isabelle	+1.87
How to make Isabelle use ZF?	+1.82
How to prove "(∀x. P) ∧ Q ⟹ ∀x. P" using conjunct1 in Isa...	0.00
Is there an Isabelle equivalent to Haskell newtype?	0.00
GHC pipeline: Core, STG - ASTs or text?	0.00
How wide or narrow should cabal dependency version constraints be?	-0.22
Integration in Isabelle	-0.05
Haskell - Implementing Monoid what happens if the operator is not a...	0.00
Why Int type 2^31 does not go outside the range in GHCi?	-0.64
Isabelle: Use of the inductive predicate	0.00
Rewriting as a practical optimization technique in GHC: Is it reall...	-0.44
How to compose a binary function with a unary function?	-0.86
How can I make GHCI release memory	0.00
Initialize datatypes in Isabelle	0.00
Haskell: Better way of writing Maybe Endo?	+1.70
Dependent Types: How is the dependent pair type analogous to a disj...	-0.06
Enforcing strictness in Haskell	+2.00
Is it possible to directly invoke Haskell code from Bash and output...	-0.67
Parsec: grabbing raw source after parsing	0.00
How to get value type in haskell	-1.81
Why does foldr use a helper function?	+1.01
Prevent GitHub from interpreting #nnnn in commit messages	0.00
Is there a default polymorphic unit type haskell	0.00
Practical use of `foldl`	-1.83
Cannot reduce ulimits inside docker container	0.00
Can "applying a function for n times" be done using "...	-1.17
cross-platform API to play audio files in console-based application	0.00
Quickchecking a nasty foreign function in Haskell(GHC)	0.00
cabal hell with dependencies of ghc-baked in packages	0.00
Function like Num a => a -> Text without String transformation	+2.25
Why would using head/tail instead of pattern matching make evaluati...	+1.21
Does an unused let binding have any effect in Haskell?	-1.93
Turning string into a section	0.00
Can't understand this module/type error	0.00
Why can't Haskell be tricked into performing IO operations by u...	+0.43
Pattern matching over Data.Map	+0.54
How to parse an Integer with parsec	+0.51
haskell if true then break or continue loop	-0.01
Setting [no_vars] theory-wide	-0.11
How to make cabal to list necessary libraries, and provide me the c...	0.00
get all possible combinations of k elements from a list	-0.25
Serialize a map to YAML with a specific order	0.00
Cabal fails updating of cabal-install	-1.23
Do I need to bother with INLINE/INLINABLE pragmas for small, export...	+2.15
Kinds of bugs that are more likely/prone in Haskell programs than i...	+0.48
How to add a changelog to a Cabal package?	0.00
Get absolute path of current source file in Haskell	+1.16