StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Carl Patenaude Poulin

Rating
1498.05 (3,886,421st)

Reputation
1,618 (101,845th)

Page: 1

Title	Δ
Make relative component respect boundary box of grand-...-grandpare...	-1.98
body-parser ignores type parameter	0.00
Typed Zod combinator with dynamic field name	0.00
Prove inequality of complex objects	-3.65
Why does Adam Chlipala use left-associated nested tuples to represe...	+4.43
What is the idiomatic way to get `auto` to perform case analysis?	-4.01
Specialize `Map` typeclass into `PartialMap` typeclass	0.00
coq What tactics should I use forall A : Prop, A -> ~~A	-4.05
PHOAS in Coq: type mismatch	-4.18
Split conjunction goal into subgoals	0.00
What tactic should I use to derive a contradiction from an absurd e...	0.00
Haskell: deriving Show for Fix types	0.00
C++: Casting from char pointer to struct pointer without committing...	0.00
JavaScript equivalent of C#'s Windows.UI.Xaml.Application.OnAct...	0.00
How can I get Cortana to use my new or updated Voice Command Defini...	0.00
How can I see if my JavaScript-based UWP is running in a "back...	+3.88
Simplest way to read a StorageFile end-to-end into a string?	0.00
How do I import libraries into my JavaScript-based UWP app service?	0.00
How can I log to console in a JavaScript UWP app?	0.00
Sending my app a command in Cortana just searches Bing for my query...	0.00
How can my UWP app authenticate with a WCF service?	0.00
How can I break inside a TypeScript UWP app in Visual Studio?	+3.92
How can I develop a Cortana app in JavaScript?	0.00
How can I create a Universal Windows Application using TypeScript i...	0.00
Why does my custom target not support the `bin` crate type?	+3.70
Error 424: object required when calling external library	0.00
PowerShell: fatal errors don't get sent to STDERR, how to log t...	0.00
Can I make a GUI with Python without any extraneous software?	0.00
How can I call the FailoverClusters PowerShell module when working...	0.00