StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

SCappella

Rating
1544.79 (9,688th)

Reputation
875 (172,903rd)

Page: 1 2 3 4

Title	Δ
Insert in arbitrary nested HashMap	0.00
Validate enum with associated values in a vec for uniqueness	+0.44
Specifying lifetime of the associated type in the Iterator trait	+1.80
return a reference value from a function in rust	0.00
How to set correctly a generic collection type in rust	+2.09
How to execute floor division in Python code embedded in Rust code...	0.00
"Abstracting over the terms … is ill-defined" when destru...	0.00
Rust: avoid allocations in `flat_map`	-4.46
How can I require explicit return statements and forbid implicit re...	0.00
Why isn't `std::mem::drop` exactly the same as the closure \|_\|(...	+3.48
What is a "fundamental type" in Rust?	0.00
How to take away (move out of) a struct field that contains a big d...	0.00
Modify multiple elements of a slice/collection at the same time	+5.94
Is there a better way to test if a char is whitespace than converti...	0.00
How to prove by contradicting the goal?	0.00
Mutable borrow errors while implementing a linked list where new el...	+3.67
Rust: cannot find macro	0.00
How to implement an iterator over chunks of an array in a struct?	+4.98
How to clone an Option of Rc in Rust?	0.00
Why does a temporary variable suppress the "type ascription is...	0.00
rust by example: closure iterator any gives E0308	0.00
What does "==>" mean in coq?	0.00
How to eliminate "expected &T, found type parameter"...	0.00
Newtype as generic parameter in Rust?	0.00
Locate a Notation that takes an infix argument	0.00
How to convert &[u8] into &[u8; 64]?	0.00
Rel: le_antisymmetric comprehension	0.00
Rust Destructors and ownership	0.00
HashMap in a Struct error: cannot borrow data in a "&"...	0.00
Rust mutable optional OutputPin	0.00
Extra type constructor if parameter matches a pattern	0.00
Why can actix_rt be used directly in the code, even if it wasn'...	0.00
adding the same integer to each element of a Vector in Rust	0.00
Chaining definitions in coq	0.00
Rust - Change a reference to own value without clone	0.00
How to use SmallVec with Cow	0.00
Replace hypothesis with implication without adding its premise as s...	0.00
How to use `AsRef` arguments?	0.00
Why does Vec::iter_mut not show up in the documentation index of st...	0.00
What traits should simple enums in Rust derive?	0.00
A collection of type `i32` cannot be built from `std::iter::Iterato...	-4.87
Coq simpl / unfold only once. (Replace part of goal with the result...	+3.63
How to alias an impl trait?	0.00
How to compute arithmetic operations on a borrowed vector of elemen...	-4.48
How to define an affine set in coq	0.00
Coq: Proving relation between < and ≤	0.00
Using different lifetimes in struct implementations	0.00
Difference in behavior between Box<T> and RefCell<T> co...	0.00
proof Lemma which based on Fixpoint definitions	0.00
How can I create a polymorphic "map xs f" function?	-3.77