StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

mpetruska

Rating
1471.56 (4,517,359th)

Reputation
535 (258,995th)

Page: 1

Title	Δ
How to type a function in scala that may throw an exception?	-3.79
concise way to filter and map a scala sequence of tuples containing...	-1.40
Type referrence mechanisms in Scala	0.00
Multiple validations on single object?	0.00
Monads do not compose, right?	0.00
Scala regex find matches in middle of string	-0.90
Scala: Cats, OptionT[Future, T] and ApplicativeError	-3.69
Akka actoreRef with macWire DI, actoreRef is not set	0.00
Why is defining an instance of Choice failing with unknown value?	-3.39
How to set yesterday's date using Scala?	+1.36
Why does passing in a single subtype for a varargs in an implicit d...	0.00
Scala placeholder syntax for anonymous function	0.00
Existential Higher Kinded Method Parameter	+0.34
How to prove properties with Object Oriented concepts in Coq	0.00
Scala Type Classes Understanding Interface Syntax	0.00
Proof the equal of state in Coq	+0.36
coq: push a function into a pattern matching	0.00
Scala: reverse order of Sorting.quickSort?	-2.89
Scala Override Generic Method from a Trait	-2.93
catchException doesn't remove the effect	0.00
non-exhaustive pattern error haskell	0.00
Using .value in shared setting definition in SBT / Sane way to orga...	-4.08
how ot proof 10%Z < Int.max_unsigned in Coq and the Int type fro...	-4.06
Iterating over a List and waiting for a Future to complete in Scala	+3.95
Non-clustered ActorSystem	0.00
Error while transforming character containing day (as %a or %A) in...	0.00
Why do I get a Timeout when sending the second request in Akka 2.5...	0.00
How to pass Java_opts before an executable to entrypoint in dockerf...	0.00
How to use the decode function?	-3.31
Set Printing Universes has no effect	0.00
apply dependently typed constructor in hypothesis	-2.00
apply dependently typed constructor in hypothesis	-2.00
Inferred type in for comprehension	0.00