StackRating

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

matt

Rating
1501.84 (377,820th)
Reputation
3,948 (42,486th)
Page: 1 2
Title Δ
Declaring interdependent values and functions in Standard ML 0.00
How to wait for Concurrent ML threads to finish before exiting prog... 0.00
CM.make cannot find file "smlnj-lib.cm" 0.00
Problem with the use of Binary Map Data Structure in SML 0.00
Cumulative sum of int list -0.46
How to remove a universal quantifier in Lean? 0.00
Can I annotate the complete type of a `fun` declaration? 0.00
What are nested patterns? -1.26
File Input in ML-Lex 0.00
Representing a theorem with multiple hypotheses in Lean (propositio... 0.00
SML Error: operator and operand don't agree [tycon mismatch] 0.00
GDB: Examine memory address in 2 different format (decimal & he... +3.98
Standard ML : Searching a list of tuples 0.00
Compiling SML projects from multiple files 0.00
gdb watchpoint except when triggered in specific locations? 0.00
SML splitting string on first space -3.93
How to make a randomly populated list recursively in SML/NJ 0.00
GDB/MI redirect stdin and stdout to files 0.00
ML: Is it possible to create a list of structures in SML? 0.00
Seeding SML/NJ's RNG on a Windows machine +4.60
MLton SML compiler failing build in Bascinet 0.00
Split list into 2 lists of odd & even positions - SML? -0.09
Value Bindings in SML? 0.00
Load gdb sources marked as "read on demand" 0.00
GDB: Breakpoint that breaks only after a different breakpoint is hit 0.00
tuple access: Can't find a fixed record type -3.53
Why my gdb prompt shows wrong after I change its color -3.45
Insert breakpoint at all the lines where the method is called in gdb 0.00
Show gdb tui source code in another terminal 0.00
convert oct string to hex string in SML 0.00
break with gdb on label in ObjectiveC 0.00
Buffer Overflow Works in GDB but not in Terminal +3.84
Difference between two c++ programs -1.75
GDB: break if variable equal value +3.87
Detach a linux process from pseudo-tty, but keep the tty running? 0.00
Conditional breakpoint using strcmp() in GDB on Mac OS X conflicts... 0.00
How to set arg using gdbinit but just when a specific binary is loa... 0.00
GDB: programmatically delete a watchpoint +4.15
GDB user input from stdin 0.00
Unable to set pending breakpoints in .gdbinit 0.00
How to define alias for gdb function 0.00
Getting the ERROR "Undefined command: "python ". Try... -3.01
how to answer Y in gdb script? 0.00
gdb find memory address of line number 0.00
Is there an addr2line which analyzes Code in Memory? -4.03
GDB 7.3.1 on OSX Lion +4.01
Getting the breakpoint number from gdb +5.50
How can I skip the method calls in the std namespace when stepping... 0.00
In GDB how to fill a memory from a file 0.00
Syntax for gdb python pretty printers to print a single element of... 0.00