Computer Science
Profile Activity
Meta user
Network profile
2,100
reputation
8
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
~63k
people reached
  • New York, NY, United States
  • Member for 6 years, 9 months
  • 183 profile views
  • Last seen Feb 22 at 18:02

Communities (47)

Top network posts

Top tags (54)

Score 20
Posts 6
Posts % 13
Score 18
Posts 3
Score 11
Posts 5
Score 9
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
8 Theory of computation introductory curriculum Jun 8 '14
8 Finding a 4-clique among $k$ node groups Jun 9 '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
6 generate possible inputs valid for automata Jun 20 '14
View all questions and answers →

Badges (26)

Gold

—

Silver

8

Rarest

Bronze

18

Rarest

View all badges →