Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta User
Network Profile
17,064
reputation
2
54
108

Dave Clarke

Computer scientist working on parallel programming language design, plus some formal methods and a smattering of logic in there for good measure.

168
answers
19
questions
~542k
people reached
  • Uppsala, Sweden
  • supercooldave.github.io
  • Member for 6 years, 10 months
  • 1,627 profile views
  • Last seen Dec 10 '18 at 20:57

Communities (17)

Top Meta Posts
4
12

Top Network Posts

Top Tags (145)

Score 291
Posts 33
Posts % 18
Score 241
Posts 24
Score 178
Posts 24
Score 175
Posts 23
Score 144
Posts 16
Score 136
Posts 17
View all tags →

Top Posts (187) All Questions Answers | Votes Newest

112 Why are there so many programming languages? Mar 17 '12
63 What is coinduction? Mar 19 '12
42 Show that { xy ∣ |x| = |y|, x ≠ y } is context-free Mar 13 '12
34 Criteria for selecting language for first programming course May 20 '12
27 How to prove that a language is not regular? Apr 4 '12
25 How to read typing rules? May 29 '12
24 Learning Automated Theorem Proving Mar 27 '12
22 What exactly is the difference between supervised and unsupervised learning? Jul 25 '12
22 P-Completeness and Parallel Computation Apr 21 '12
22 $\lambda$-calculus with reflection Jul 12 '12
View all questions and answers →

Badges (164)

Gold

2

Rarest

Silver

54

Rarest

Bronze

108

Rarest

View all badges →