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 Δ
How to provide a proper type for use of generic impl? 0.00
Why Deadlock if put sending Terminate message and thread.join() in... 0.00
Parsing &[u8] or &str to rug::Integer using rug::Integer::p... 0.00
How to use a proved lemma in Coq 0.00
Understanding Box::leak().into() in RustLang 0.00
How do I create mutable iterator over struct fields 0.00
Rust macros: What is the difference between braced and parenthesize... +0.45
Including an internal module produces "maybe a missing crate `... 0.00
`cannot infer an appropriate lifetime for autoref due to conflictin... +0.42
Why does moving a function to a default trait method introduce a bo... +0.44
Converting from NaiveDateTime to DateTime<Local> 0.00
How to assert two variables are equal when the implementation of Pa... -0.87
Why can the Rust compiler infer types on separated lines but not if... +1.26
How to prove (2 ^ 2)%R = 4%R +1.87
Problems with lifetime/borrow on str type +2.08
Understanding type ascription issues 0.00
How to explicitly use an induction principle in coq? 0.00
How to obtain address of trait object? 0.00
Why is Rust forcing to use move in case of i32 while spawing threads? 0.00
Returning a reference to a Box<dyn Trait> +0.42
Prove two inhabitants in Prop are not equal? 0.00
Why is my zero-cost alternative to RefCell not the standard way of... 0.00
Trimming lines of input for a set in Rust 0.00
How can I extract keys and values from a string when the value cont... -0.55
Problems using panic::catch_unwind in a macro context test for pani... +0.27
Why the error: error[E0614]: type `str` cannot be dereferenced 0.00
Rust, Copy Trait not working with a type when it uses generic 0.00
How to return a reference in Rust Closure +1.74
Borrow Checker: Cannot borrow as immutable because it is also borro... 0.00
Why does this coq program not run? 0.00
How do you prove in Coq that (e: p = p) = eq_refl? 0.00
types as parameters in coq 0.00
Retrieve the state in scan() iterator? +1.87
Why doesn't Rust's ChunksExact<T> have a size known a... 0.00
Unable to build rust's Rocket project because of framework depe... 0.00
Can you convert a mut i8 into an i32? 0.00
How to use GenericArray? 0.00
Can I coerce a lifetime parameter to a shorter lifetime (soundly) e... -1.94
Rust macro repetition with plus 0.00
why the size of a parameter is unknown? 0.00
Rust can't use enum in const fn? 0.00
Simpler way to equip generic structs with a constant in Rust -2.12
What is the difference between definitions and theorems? -2.21
Does String::from_utf8_lossy() allocate memory? 0.00
Is there any way of doing unwrap_or_return an Error (any error) 0.00
Rust: impl From<_> for usize, u64, u32, etc 0.00
How do lifetimes in Rust impact mutability? 0.00
How to convince borrow checker that borrowed reference is no longer... 0.00
How to add external packages and run in rust compiler? +0.44
rust says trait From<i32> isn't implimented 0.00