Computer Science
Meta user
Network profile
868
reputation
5
13

Pinocchio

CS and Maths are awesome!

6
answers
47
questions
~11k
people reached
  • Member for 5 years, 10 months
  • 65 profile views
  • Last seen 3 hours ago

Communities (39)

Top network posts

Top tags (52)

Score 3
Posts 17
Posts % 32
Score 2
Posts 4
Score 1
Posts 13
Score 1
Posts 7
Score 0
Posts 15
Score 0
Posts 6
View all tags →

Top posts (53) All Questions Answers | Votes Newest

5 What does $ \forall \alpha_1, \dots , \alpha_n . \tau $ mean formally as a type? Oct 25
4 How does one know what statements in Coq require Induction? Jan 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 What guarantees Paxos to converge (terminate)? (i.e. not run forever without a consensus) Mar 29 '14
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
3 How many comparisons in the worst case, does it take to merge 3 sorted lists of size n/3? Oct 23 '14
3 Why can't we run Bellman Ford from the source and relax edges out from the neighbours recursively and do a single pass through the edges? Apr 13 '16
3 Why does a prepare message wants a promise that an acceptor is never to accept a proposal numbered less than its propose sequence value? (Paxos) Mar 28 '14
View all questions and answers →

Badges (18)

Gold

—

Silver

5

Rarest

Bronze

13

Rarest

View all badges →