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
3,166
reputation
1
17
56

Guy Coder

Apparently, this user prefers to keep an air of mystery about them.

23
answers
27
questions
~217k
people reached
  • USA
  • none
  • Member for 6 years, 11 months
  • 432 profile views
  • Last seen Feb 13 at 12:06

Communities (61)

Top Meta Posts
10
5

Top Network Posts

Top Tags (61)

Score 34
Posts 7
Posts % 14
Score 33
Posts 11
Score 30
Posts 11
Score 30
Posts 9
Score 6
Posts 6
Score 0
Posts 7
View all tags →

Top Posts (50) All Questions Answers | Votes Newest

42 Learning Automated Theorem Proving Mar 27 '12
28 How are programming languages and foundations of mathematics related? Feb 14 '13
24 How to implement a prolog interpreter in a purely functional language? Nov 11 '12
22 What is the relation between functors in SML and Category theory? Feb 14 '13
21 What is meant by Category theory doesn't yet know how to deal with higher-order functions? Feb 15 '13
20 Reason to learn propositional & predicate logic May 2 '12
19 Types of Automated Theorem Provers Mar 29 '12
16 Why do some inference engines need human assistance while others don't? Mar 29 '12
15 Fixed point, what does it mean in the world of computer science Sep 8 '12
15 Why is unification so important to inference engines? Mar 29 '12
View all questions and answers →

Badges (74)

Gold

1

Rarest

Silver

17

Rarest

Bronze

56

Rarest

View all badges →