Newbetuts
.
New posts in computer-science
What is linear programming?
linear-algebra
algorithms
computer-science
optimization
linear-programming
Why isn't this a regular language?
computer-science
regular-language
What is necessary to exchange messages between aliens? [closed]
logic
computer-science
cryptography
information-theory
What makes a context free grammar ambiguous?
computer-science
formal-systems
Proving the Riemann Hypothesis without revealing anything other than you proved it
computer-science
riemann-hypothesis
Why do we divide or multiply by 2 when converting binary?
computer-science
binary
How do we know that the P versus NP problem is an NP problem itself?
computer-science
computational-complexity
turing-machines
Reference on standard types
reference-request
logic
computer-science
computability
type-theory
How helpful is knowing lambda calculus? [closed]
math
functional-programming
computer-science
lambda-calculus
Implementing an N process barrier using semaphores
operating-system
computer-science
semaphore
systems-programming
barrier
Recognizing and Using Chaitin's Constant
computer-science
computability
Twenty questions against a liar
algorithms
computer-science
discrete-mathematics
searching
Common Lisp for mathematicians?
computer-science
computer-algebra-systems
Why does the fixed point theorem justify the existence of the factorial function?
computer-science
computability
fixed-point-theorems
fixed-points
How to deal with overflow and underflow?
matlab
math
rounding
computer-science
Regular Expressions with repeated characters
regex
computer-science
"Opposite" of idempotent operation?
discrete-mathematics
terminology
computer-science
computational-mathematics
Show $\{0^m1^n | m \neq n\}$ is not regular
computer-science
What is undecidability
computer-science
computability
Books/lecture notes/videos on category theory for programmer
reference-request
category-theory
computer-science
book-recommendation
online-resources
Prev
Next