StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Lars Noschinski

Rating
1501.92 (373,159th)

Reputation
3,442 (48,981st)

Page: 1 2

Title	Δ
Defining a generic real function in Isabelle 2015	0.00
Git svn rebase: file out of date - trailing whitespace	0.00
Git-log is it possible to ignore removals?	0.00
How can I pass a ML value as an argument to an outer syntax command?	0.00
What's the difference between the empty sort, 'a::{}, and a...	0.00
Process a theory in Isabelle/jEdit without saving it	0.00
Taming meta implication in Isar proofs	-2.61
Isabelle: proof for a equality of transposed matrix with a constant...	+0.11
Defining an "arg max" like function over finite sets, and...	-2.03
What is a good way to define a finite multiplication table in Isar?	0.00
Why won't Isabelle simplify the body of my "if _ then _ else&q...	-1.65
Why won't Isabelle simplify the body of my "if _ then _ else&q...	-1.65
What rule does 'apply (rule)' or 'proof' use?	-0.93
Why is a meta-universally quantified variable renamed and how is it...	-2.10
How can I remove all elements in a list with a certain property?	-0.20
Apply a method if and only if it solves the current goal	+4.12
AFP Dijkstra's Shortest Path Algorithm	-4.12
Max of set in Isabelle	+3.90
return and add a new line without executing the current command in...	-3.17
Haskell: foldr vs foldr1	+0.43
PHP - UTF-8 in URL prob	-0.17
Unix find: How to match files .R and Rd?	-2.58
Reading single-digit integers from a string	-3.31
Print Diamond Pattern using Haskell	+1.39
Is there any better way to get mac address from arp table?	+0.96
Multiple processes reading&deleting files in the same directory	+3.61
Haskell search an element on a List	+0.68
Beginner help need for simple PHP script	+3.98
Sed pattern with forward slashes	-0.71
Can I name the variables generated by case analysis?	0.00
Multiple replacements on first line of a very large file	-3.49
Case analysis in Isabelle	0.00
put data from jtextfields into arraylist on JButton click (Actionli...	0.00
Display a reason for a failed QuickCheck property and handle except...	0.00
Git Shell in Windows: patch's default character encoding is UCS-2 L...	+3.18
Write apostrophe sign in writeln function - Pascal	0.00
Is it possible to not import any theory in Isabelle?	0.00
Wrong file permission when using git pull in a hook	0.00
Enable syntax highlighting for various filetypes in vim	+1.73
Git merge, then revert, then revert the revert	0.00
getting git branches of a certain age	-2.30
git: updating the current branch	+2.15
Why can make work here?	-4.06
Remove tabs from within lists of a list	+1.62
Slow python file I:O; Ruby runs better than this; Got the wrong lan...	+1.50
Git: merging two diverged, independent repos	0.00
How do i recover code? Git noob	+4.00
After deployment the permissions are not the one i wanted	0.00
Parse string with bash script to get last item	-1.77
Integer comparison in bash	-3.80