Skip to main content
Computer Science
Dave Clarke's user avatar
Dave Clarke's user avatar
Dave Clarke's user avatar
Dave Clarke
  • Member for 12 years, 9 months
  • Last seen more than 6 years ago
Profile Activity
Stats
20,305
reputation
896k
reached
168
answers
19
questions
Communities
View all
About

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

Badges
View all badges
4
gold badges
68
silver badges
113
bronze badges
Top tags
View all tags
323
Score
33
Posts
18
Posts %
257
Score
24
Posts
13
Posts %
201
Score
24
Posts
13
Posts %
182
Score
23
Posts
12
Posts %
154
Score
16
Posts
9
Posts %
149
Score
17
Posts
9
Posts %
Top posts
View all questions and answers
answer
127
Why are there so many programming languages?
Mar 17, 2012
question
80
What is coinduction?
Mar 19, 2012
question
53
Show that { xy ∣ |x| = |y|, x ≠ y } is context-free
Mar 13, 2012
question
35
Criteria for selecting language for first programming course
May 20, 2012
answer
32
How to read typing rules?
May 29, 2012
answer
30
How to prove that a language is not regular?
Apr 4, 2012
answer
29
What is meant by "solvable by non deterministic algorithm in polynomial time"
Apr 13, 2012
answer
26
Learning Automated Theorem Proving
Mar 27, 2012
question
25
$\lambda$-calculus with reflection
Jul 12, 2012
answer
24
What exactly is the difference between supervised and unsupervised learning?
Jul 25, 2012
Top Meta posts
4
12
11
What is Computer Science?
9
Should "hints" be posted as "answers"?
7
Are questions about programming language design on-topic here?
7
Should closed questions be deleted?
7
Should we have tags for series of questions?
Top network posts
View all network posts
117
Is talking about quitting to your supervisor a point of no return?
102
Split a number into its digits with Haskell
86
Software to draw illustrative figures in papers
77
What is expected of a postdoc?
75
How do parents have sex when there's a toddler in the house?