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

Title	Δ
Combine tuples of unknown type satisfying the same constraint	0.00
How to work together with cabal-3 and ghc (ghc-pkg, too)?	+0.45
Is there a GHC extension for enabling overloaded character literals?	-0.97
Inplace array modification in Haskell?	+2.42
how to prove following statements using Isabelle/HOL?	0.00
What is Isabelle/HOL command for Compute in Coq?	0.00
How to memoize the repeated subtrees of a game tree (a potentially...	+2.42
Create hybrid ELF and Mach-O binary	+0.36
Haskell doesn't support unicode symbol constructor (e.g.: ◁)?	0.00
Plugin name lookup behavior change from GHC 8.4 series	0.00
Finding a "free theorem"	0.00
How does haskell determine the order of type variables in implicit...	0.00
How can I pass test-options with cabal new-test?	0.00
Are sum types defined with UnboxedSums more efficient than plain en...	0.00
How can I stream test results with cabal new-test?	0.00
How to get rid of the black console window for a compiled Haskell G...	0.00
Haskell Diagrams Graphviz Gtk Display alignment and scaling	0.00
Isabelle/HOL: Is there a concise notation for an arbitrary value of...	0.00
Algebraic simplifications in Isabelle	-0.55
Is there a function in Haskell that returns the type of its argumen...	+0.74
How to replicate the behaviour of 'name in a TH splice	0.00
Quicksort algorithm only works with lists with small numbers. Why?	0.00
Are functions with guards tail recursive	0.00
Can `match` be faster than `rewrite`	-0.52
Do not number the section header in restructuredText	0.00
verify an Isabelle proof from the command line	-0.54
Why does foldl seems to be harmful despite being tail-recursive?	0.00
Time tracking app arbtt case insensitive match in rules	0.00
Inductive numerical proof: for k>= 10 it is true that 2^k > k^3	+0.46
How one parameter is used by two function simultaneously	-0.32
Is ST referentialy transparent?	+2.64
When does the termination checker reduce a record accessor	+0.46
Nested recursion and `Program Fixpoint` or `Function`	-0.07
Keeping Secrets in Haskell	+0.57
Inline index keyword highlighted	-0.05
How does Haskell determine what kind of boolean a randomly generate...	0.00
How can I install profiling libraries in Haskell when using cabal,...	0.00
Guarantee of Specialization with GHC	0.00
Rewrite rules with newtype	0.00
Does (->) have a data constructor?	0.00
Is it possible to pass command line arguments when running Haskell...	0.00
Haskell zip lists with type Int	0.00
Cast a global definition in LLVM IR	0.00
Inner bindings in Haskell	0.00
Is there any way to inline a recursive function?	-0.93
How to put bird-style literate Haskell code blocks into a markdown...	0.00
Given a theorem "P(t) ⟶ (∃x . P(x))" with an object logic...	0.00
xmonad layout withIM set height of roster	0.00
Why is evaluating keys to WHNFs enough to construct Sets in Haskell?	+1.65
Applicative instances for Reader, Writer and State	0.00