Computer Science
Profile Activity
Meta user
Network profile
2,140
reputation
9
18

gardenhead

I like working on interesting problems, and have an interest in many areas of programming: systems, servers, programming languages, networks, parallel computers. In general I love learning and am always looking to grow. I have a preference toward functional or statically-typed languages (preferably both).

34
answers
11
questions
~67k
people reached
  • New York, NY, United States
  • Member for 7 years, 1 month
  • 185 profile views
  • Last seen Jul 13 at 16:59

Communities (51)

Top network posts

Top tags (54)

Score 20
Posts 6
Posts % 13
Score 19
Posts 3
Score 11
Posts 5
Score 10
Posts 7
Score 6
Posts 4
Score 5
Posts 4
View all tags →

Top posts (45)

All Questions Answers
Votes Newest
27 NP-complete problems not “obviously” in NP Jun 19 '14
14 Reference request: Category theory as it applies to type systems Sep 28 '16
14 What questions can denotational semantics answer that operational semantics can't? Sep 25 '16
9 Theory of computation introductory curriculum Jun 8 '14
8 Finding a 4-clique among $k$ node groups Jun 9 '14
7 Is 2**x faster to compute than exp(x)? Jun 19 '14
7 Finding number not in list with wildcards Jun 19 '14
7 Difference between row-polymorpism and bounded polymorpishm? Mar 8 '17
6 When would one use equational dynamics? Oct 8 '16
6 What does Harper mean by “class”? Feb 1 '16
View all questions and answers →

Badges (27)

Gold

—

Silver

9

Rarest

Bronze

18

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.