Computer Science
Meta user
Network profile
393
reputation
2
13

Pinocchio

CS and Maths are awesome!

5
answers
40
questions
~10k
people reached
  • Member for 5 years, 5 months
  • 57 profile views
  • Last seen Jun 4 at 0:27

Communities (38)

Top network posts

Top tags (46)

Score 2
Posts 17
Posts % 38
Score 2
Posts 4
Score 0
Posts 13
Score 0
Posts 11
Score 0
Posts 7
Score 0
Posts 5
View all tags →

Top posts (45) All Questions Answers | Votes Newest

4 How does one know what statements in Coq require Induction? Jan 19
4 Explanation of proof of why connectedness is not conjunctively local of any order $k$ Feb 26 '17
3 What is the standard way to choose a new leader in Multi-Paxos? May 5 '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
3 Why does appending permutations of servers at the end of hash table avoid bottlenecks? Mar 28 '14
3 Why does the following function distribute things in a binomial distribution? Mar 28 '14
View all questions and answers →

Badges (15)

Gold

—

Silver

2

Rarest

Bronze

13

Rarest

View all badges →