user avatar
user avatar
user avatar
babou
  • Member for 9 years, 1 month
  • Last seen more than 1 year ago
122 votes
13 answers
12k views

Advice on good research practices

  • 21.3k
119 votes
15 answers
18k views

What Lecture Notes Should Everyone Read?

  • 16.3k
103 votes
39 answers
14k views

What are the recent TCS books whose drafts are available online?

  • 301
102 votes
15 answers
10k views

A simple decision problem whose decidability is not known

  • 11.7k
48 votes
8 answers
5k views

Are there non-constructive algorithm existence proofs?

  • 8,651
44 votes
7 answers
5k views

Truly random number generator: Turing computable?

23 votes
3 answers
1k views

Can typed lambda calculi express *all* algorithms below a given complexity?

  • 8,651
15 votes
2 answers
996 views

Fixed points in computability and logic

  • 151
3 votes
0 answers
125 views

minimal languages that "cover" grammar productions

  • 10.8k