Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder
  • Member for 12 years, 2 months
  • Last seen more than a month ago
25 votes
Accepted

How to implement a Prolog interpreter in a purely functional language?

22 votes
Accepted

Reason to learn propositional & predicate logic

16 votes

Why do we need assembly language?

15 votes

Where to find published research papers?

11 votes

When to use recursion?

11 votes

Introduction into first order logic verification

10 votes
Accepted

Isn't Functional Programming just Imperative Programming in disguise?

8 votes
Accepted

What's the problem of using the clock to generate random numbers?

7 votes
Accepted

Microsoft Singularity : why closed

5 votes

What piece am I missing to turn this idea into a programming language?

5 votes

What is the significance of reverse polish notation?

5 votes

Book for algorithms beyond Cormen

4 votes

sorting stone Problem

4 votes

Looking for a dictionary of math/CS notation

3 votes
Accepted

What is the difference between storage media and storage devices

3 votes

'Texas Hold Em Poker' Agent Heuristics to help decide whether to fold or bet?

3 votes

Why isn't there a .= operator? (or ->= etc)

3 votes
Accepted

Is there a reason Depth-First Search and Breadth-First search commonly called "Search" instead of "Traversal?"

2 votes

Is there a notation for types?

2 votes
Accepted

Undergraduate Computer Science Textbooks

2 votes

Why are bytes treated like the base unit?

2 votes

Constraint-based Type Inference with Algebraic Data

2 votes
Accepted

Do Kernel-Mode Windows Services Considered Part of Kernel?

1 vote

Convolutional Neural Networks - Where should I start from?

1 vote

Books for learning horn clause logic

0 votes

Call by name, lambda calculs. Multiplication

0 votes
Accepted

λ-Calculus extensions: meaning of extension symbols

0 votes
Accepted

What is a preterm parser?