StackRating

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

Kristopher Micinski

Rating
1521.78 (28,643rd) 		Reputation
6,777 (23,776th)
Page: 1 2 3 ... 4
Title Δ
Reference vs. Precise Reference in Dalvik Verifier -0.62
How to prove (n = n) = (m = m) in Coq? +2.08
Coq Program matching on pair -0.50
Can dependent types abstract over n-arg functions? -0.03
Undefined symbols for mac ocaml build -0.53
How do you define an ordered pair in Coq? 0.00
Hadoop. Wordcount with statistic 0.00
Can objects make each other 'undeletable' by referencing each other? -1.27
Block internet access for some parts of the code in Android +0.44
preventing bad and needed recursion 0.00
Android app restarts Activity - what happens to Network IO in progr... -2.11
Android global/common functions -0.01
Is it possible to abstract a startActivity call? 0.00
Android - downloaded repo - how to determine the code version 0.00
How to create a feed's aggregator with Facebook and Twitter? 0.00
How to know when the user has closed the Android application? +0.48
Read data from webpage in Android 0.00
How can I avoid stack overflow or segmentation fault in Coq nats? 0.00
"lazy evaluation" and "reactive programming" 0.00
How to implement some sort of "nullable" types in Standar... -0.04
Does Haskell have tail-recursive optimization? -0.52
Correlation between Memory Usage of Processes and battery Consumpti... -0.53
How to find minimum height of a binary tree, if you know its number... -0.53
Haskell - singleton and 'fromList' -0.55
Why doesn't this comparison work? 0.00
How does the OCaml type inferencing algorithm work? -0.82
How to prove the lemma "(P \/ Q) /\ ~P -> Q." in coq? -0.27
OCaml unexpected type mismatch in tuples +2.17
Natural Intuition Behind Conditional Propositions? -0.12
Android chat server -0.53
monthly payment calculator -0.29
How can I omit this Nil Case -1.08
Remove list elements - my approach for best performance in Java +2.25
How to call methods of another Activity 0.00
what is a adb daemon? -0.81
multiply every number in a list by a number -0.42
Why doesn't Java have macros? +1.33
GUI Mockup Tools Android -0.55
Difference between two types of iterations -0.34
How does the DPLL algorithm work? -1.34
what information we can get from a control flow graph? 0.00
Receive DTFM code in android phone? 0.00
Log url visits in android 0.00
Stack overflow during evaluation (looping recursion?). OCaml +0.16
View method calls in android apk files runtime 0.00
Is there an algorithm to determine if some imperative code is refer... +0.04
Intercept HTTP requests sent from Android app -0.04
Changing memory address of a char* +1.51
How to differentiate between two integers without equality operators? +0.78
What are the benefits of currying? -0.93