Podcast #128: We chat with Kent C Dodds about why he loves React and discuss what life was like in the dark days before Git. Listen now.
Computer Science
Meta user
Network profile
8,428
reputation
1
21
53

hengxin

I am interested in distributed computing and formal methods.

176
answers
79
questions
~285k
people reached

Communities (18)

Top network posts

Top tags (154)

Score 171
Posts 84
Posts % 33
Score 50
Posts 43
Score 40
Posts 30
Score 40
Posts 26
Score 34
Posts 20
Score 30
Posts 20
View all tags →

Top posts (255) All Questions Answers | Votes Newest

19 log(n) complexity. Difficulty understanding example Apr 3 '17
19 How do I find my wife in a supermarket? Jan 16 '16
16 If the two generals problem is unsolvable how can we human beings agree on things? Jun 8 '15
15 Formal program verification in practice Jan 23 '16
12 What is the best solution to find whether the sum of an array is even or odd Mar 3 '15
9 Product of a Transition System and a Finite Automaton Apr 13 '15
8 When did polynomial-time algorithm become of interest? Jun 22 '15
8 Compute square root using (bit) additions and shifts as primitives Sep 27 '14
8 Necessary and sufficient condition for unique minimum spanning tree Dec 8 '14
8 How to understand the reduction from 3-Coloring problem to general $k$-Coloring problem? Jan 1 '13
View all questions and answers →

Badges (75)

Gold

1

Rarest

Silver

21

Rarest

Bronze

53

Rarest

View all badges →