StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Daniel Schepler

Rating
1519.66 (32,557th)

Reputation
2,070 (81,295th)

Page: 1 2

Title	Δ
How can I run an asyncio loop as long as there are pending cancella...	-4.01
Porting Java package to C++ and using Cmake as a build tool	0.00
'Linking CXX executable worldserver' fails	+3.77
How does one do an else statement in Coq's functional programmi...	-2.80
CMake set variable	0.00
Error while loading shared libraries: libsigc-2.0.so versus libsigc...	0.00
Explanation of std::function	-0.60
Redirection using tee and sed	-4.60
CMake building a static library with other static library	+4.16
make subset types compatible for function application	+4.17
Why haven't newer dependently typed languages adopted SSReflect...	-3.01
How to display (or loop through) a stack in c++	-0.76
shared_ptr Real life use-cases	+3.84
What is the mechanism of calling nonvirtual member function in C++?	-3.52
Surprising implicit assumptions in intuitionistic definitions	0.00
Iterating over a vector of objects	+3.93
Reason for equality definition in COQ and HOTT	-3.73
Error: The reference fst was not found in the current environment	-4.30
Prove existential quantifier using Coq	-2.30
How do I delete newly allocated char that is also the function retu...	+0.02
Filter a list of values at compile time with gnu++11 and no stdlib...	+3.50
how to use hypothesis which includes universal quantifier in Coq?	0.00
Pattern matching using information from theorems	+1.12
Include CMake project dependency include directories with -isystem	0.00
What do the square brackets at the end of this code line mean?	+0.81
Handing over locked std::unique_lock to new threads	0.00
gdal201.dll is missing error on dev-c++	+3.83
Is list better than vector when we need to store "the last n i...	-1.61
C++ istringstream range-based for loop has no begin member	0.00
C/C++ Functions - How are prototypes allowed?	-1.81
Is the Ubuntu trusty public repo hosting a heartbleed vulnerable op...	0.00
All-quantified type variable in (value) constructor cannot be expli...	+4.02
Cmake how to find package GLEW	0.00
CMake how to include headers without sources?	-2.57
How to capture parameters under universal quantification (using Mod...	0.00
Preventing early object destruction	+1.20
How to express "there exists a unique X" in Coq?	0.00
Cmake add_library with flag	0.00
Use of std::vector::emplace_back	-4.38
Difference between std::unordered_map < K, boost::ptr_deque <...	0.00
Questions About Vectors and Deleting Memory Associated With Them	+4.71
Define partial specialization for some external template classes wi...	+3.37
How to get the first letter of every words in a string that separat...	-0.03
Replace function-pointer implementation with std::function for usin...	+0.90
Nested function calls in CMake (use one's result as another'...	0.00
Coq: a single notation for multiple constructors	+3.93
Coq: a single notation for multiple constructors	-0.07
Where is the Extensionality of predicates axiom Coq	-0.22
Why does boost::make_shared use copy semantics	+1.87
lambda fct returning reference	-4.44