Computer Science
Meta user
Network profile
1,006
reputation
7
13

Pinocchio

CS and Maths are awesome!

7
answers
48
questions
~12k
people reached
  • Member for 6 years, 1 month
  • 72 profile views
  • Last seen Dec 30 '19 at 17:08

Communities (39)

Top network posts

Top tags (55)

Score 4
Posts 5
Posts % 9
Score 3
Posts 17
Score 2
Posts 16
Score 2
Posts 7
Score 2
Posts 4
Score 1
Posts 13
View all tags →

Top posts (55) All Questions Answers | Votes Newest

5 What does $ \forall \alpha_1, \dots , \alpha_n . \tau $ mean formally as a type? Oct 25 '19
4 What guarantees Paxos to converge (terminate)? (i.e. not run forever without a consensus) Mar 29 '14
4 How does one know what statements in Coq require Induction? Jan 19 '19
4 What is the standard way to choose a new leader in Multi-Paxos? May 5 '14
4 Explanation of proof of why connectedness is not conjunctively local of any order $k$ Feb 26 '17
3 Why is the assignment rule the way it is in Hoare Logic? Dec 10 '19
3 How many comparisons in the worst case, does it take to merge 3 sorted lists of size n/3? Oct 23 '14
3 Proper algorithm for resolving ambiguity in grammars via enforcing associativity and precedence rules Nov 23 '19
3 What does it mean that numbers are “totally ordered”, in the Paxos Made Simple paper? Mar 28 '14
3 Why does the denotational semantics for a while loop have a existence quantifier? Oct 7 '18
View all questions and answers →

Badges (20)

Gold

—

Silver

7

Rarest

Bronze

13

Rarest

View all badges →