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.
Theoretical Computer Science
Meta user
Network profile
502
reputation
5
7

davidk01

Dispassionate problem solver. I enjoy building minimal and efficient software systems.

0
answers
1
question
~3k
people reached
  • Burlingame, CA, United States
  • davidk01
  • Member for 9 years, 2 months
  • 26 profile views
  • Last seen Apr 3 at 7:19

Communities (36)

Top network posts

Top tags (5)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

40 How would I go about learning the underlying theory of the Coq proof assistant? Apr 3 '11

Badges (12)

Gold

—

Silver

5

Rarest

Bronze

7

Rarest

View all badges →