19
Are there any countable sets that are not computably enumerable?
cs.stackexchange.com

19
What makes a language "optimized" for a specific task?
cs.stackexchange.com

17
PHD in Mathematics
academia.stackexchange.com

17
Is a computer without RAM, but with a disk, equivalent to one with RAM?
cs.stackexchange.com

16
Is every NP-hard problem computable?
cs.stackexchange.com

16
Testing whether an arbitrary proof is circular?
cs.stackexchange.com

15
Algorithm to determine whether two regexes are equivalent
cs.stackexchange.com

15
Can a computer determine whether a mathematical statement is true or not?
cs.stackexchange.com

15
Why must a function with polymorphic type `forall t: Type, t->t` be the identity function?
cs.stackexchange.com

15
Why use languages in Complexity theory
cs.stackexchange.com

15
Given a specific computer system, is it possible to estimate the actual precise run time of a piece of Assembly code
cs.stackexchange.com

14
Why is the Curry-Howard isomorphism?
cstheory.stackexchange.com

14
Which universities in the U.S. are doing research in type theory?
cstheory.stackexchange.com

14
Are Turing machines still useful as model of computation?
cstheory.stackexchange.com

14
Problems conjectured but not proven to be easy
cs.stackexchange.com

14
What does "map" mean?
cs.stackexchange.com

13
Solving functional equations for unknown functions in lambda calculus
cs.stackexchange.com

13
Is there a way to test "Turing completeness"?
cs.stackexchange.com

13
Defining the halting problem for non-deterministic automata
cs.stackexchange.com

13
What should a graduate student be doing in the summer?
academia.stackexchange.com

13
What does Θ(1) memory mean?
cs.stackexchange.com

12
Why isn't it simple to count the number of words in a regular language?
cs.stackexchange.com

12
Traveling Salesman Solution
cs.stackexchange.com

12
λ -calculus : What is the most efficient in memory representation of functions?
cs.stackexchange.com

12
Finding shortest and longest paths between two vertices in a DAG
cs.stackexchange.com

11
Daily Applications of Type Theory
cs.stackexchange.com

11
Funding opportunities for Computer Scientist Faculty in Canada
academia.stackexchange.com

11
I think you can always compress compressed data, is it true?
cs.stackexchange.com

11
Can we represent all computer programs as graphs?
cs.stackexchange.com

11
Where are C++ templates inside of the lambda cube?
cs.stackexchange.com

1 2 3 4 5 6