Computer Science
Profile Activity
Meta user
Network profile
1,018
reputation
7
15

Pinocchio

CS and Maths are awesome!

7
answers
47
questions
~14k
people reached
  • Member for 7 years
  • 79 profile views
  • Last seen Dec 1 '20 at 14:46

Communities (40)

Top network posts

Top tags (0)

This user has not participated in any tags.

Top posts (54)

All Questions Answers
Votes Newest
5 What does $ \forall \alpha_1, \dots , \alpha_n . \tau $ mean formally as a type? Oct 25 '19
4 Why is the assignment rule the way it is in Hoare Logic? Dec 10 '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 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 (22)

Gold

—

Silver

7

Rarest

Bronze

15

Rarest

View all badges →