StackRating

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

Gilles 'SO- stop being evil'

Rating
1642.64 (673rd) 		Reputation
79,631 (1,045th)
Page: 1 ... 10 11 12 13 14 ... 21
Title Δ
Is there a way to write a .emacs that will always stay upward compa... +0.82
Odd behavior of setoid_rewrite in Coq 0.00
How to prove forall n:nat, ~n<n in Coq? +1.23
OCaml function help involving parsing a list of lists 0.00
Can I make emacs correctly load source files when using gdb over ssh? -0.11
Table of structures 0.00
How to recursively search directories in a minimal shell (no grep,... -0.49
ARM TrustZone development +0.34
Generate Ocaml bindings stubs from C header file +0.37
Emacs caps lock minor mode? +0.45
Running make on a makefile doesn't quite work 0.00
Controlling multiple background process from a shell on an embedded... 0.00
How to exclude a list of full directory paths in find command on So... 0.00
Can I execute the command for each result of the file globbing in z... +1.42
How do I iterate over all the lines output by a command in zsh? +1.44
Zsh `which rvm` or `which gem` returns the function contents instea... 0.00
How to find and remove the invisible characters in text file using... -0.97
Is there a Bignum module for Ocaml? +0.89
How to generate random numbers in the BusyBox shell +1.14
Multiline shebang in OCaml? +0.35
Scripted main in OCaml? +1.05
emacs parenthethes matching wrong 0.00
Why doesn't child process continue running after receiving signal? +1.16
org-timer module load error in emacs 0.00
Positional parameters in a script read with the source builtin in zsh -2.54
zsh: access last command line argument given to a script 0.00
Missing component in a kernel module with several source files -1.99
Accessing /proc 0.00
Defining a type for lambda expressions in Ocaml +0.40
How can OCaml values be printed outside the toplevel? -0.52
Turing complete and parallel programming (true concurrency) 0.00
What does "loops must be folded to ensure termination" me... 0.00
Bash array parameter expansion within parameter name: bad substitut... +1.44
Read string with ZSH completions 0.00
How can I make kernel thread communication? 0.00
How do I make standard library calls from the Linux kernel? 0.00
Longest common prefix of two strings in bash +0.17
How to keep track of all descendant processes to cleanup? -2.07
when install fcgiwrap encounter make problem 0.00
zsh compilation problem in OSX 0.00
Dumpbin warning LNK4195: unable to load msdis170.dll 0.00
Can we peek out partially inferred typing info. from Ocaml toplevel... 0.00
How to do cases with an inductive type in Coq -0.46
Not understanding dd command arguments at all +0.36
How to define Xor in Coq and prove its properties -0.13
Modules and record fields +0.44
What is a good scripting language for a small embedded system? +0.17
Ocaml naming convention -0.31
Nested Shell Parameter Expansion +1.44
C: Exec/fork > Defunct processes -0.38