New posts in theory

Why can't programs be proven?

Why can Conway’s Game of Life be classified as a universal machine?

Is the time complexity of the empty algorithm O(0)?

When have you come upon the halting problem in the field? [closed]

How are hash functions like MD5 unique?

Coupling and cohesion

How to program a fractal?

Is finding the equivalence of two functions undecidable?

"const correctness" in C#

What is the Pumping Lemma in Layman's terms?

Difference between user-level and kernel-supported threads?

How do I check if a directed graph is acyclic?

Wolfram's Rule 34 in XKCD [closed]

Is the C99 preprocessor Turing complete?

How would you access Object properties from within an object method? [closed]

How to test randomness (case in point - Shuffling)

How do streaming resources fit within the RESTful paradigm?

Is it possible for a computer to "learn" a regular expression by user-provided examples?

Interface or abstract class?

Is window really global in Javascript?