Computer Science
Profile Activity
Meta user
Network profile
4,891
reputation
1
25
60

Guy Coder

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

23
answers
28
questions
~311k
people reached
  • USA
  • none
  • Member for 9 years, 4 months
  • 570 profile views
  • Last seen Jul 22 at 13:06

Communities (62)

Top Meta Posts
10
5

Top network posts

Top tags (61)

Score 36
Posts 11
Posts % 22
Score 36
Posts 7
Score 34
Posts 11
Score 32
Posts 10
Score 7
Posts 6
Score 0
Posts 7
View all tags →

Top posts (51)

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

Badges (86)

Gold

1

Rarest

Silver

25

Rarest

Bronze

60

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.