xavierm02's user avatar
xavierm02's user avatar
xavierm02's user avatar
xavierm02
  • Member for 8 years, 2 months
  • Last seen this week
604 votes
6 answers
124k views

What's new in purely functional data structures since Okasaki?

  • 8,661
479 votes
72 answers
178k views

What papers should everyone read?

325 votes
29 answers
200k views

Core algorithms deployed

  • 7,509
268 votes
39 answers
136k views

What Books Should Everyone Read?

  • 16.4k
256 votes
11 answers
99k views

What is the enlightenment I'm supposed to attain after studying finite automata?

  • 5,165
141 votes
30 answers
24k views

Problems Between P and NPC

  • 11.8k
111 votes
7 answers
9k views

Solid applications of category theory in TCS?

105 votes
6 answers
51k views

How do the state-of-the-art pathfinding algorithms for changing graphs (D*, D*-Lite, LPA*, etc) differ?

77 votes
13 answers
22k views

Uses of algebraic structures in theoretical computer science

  • 873
71 votes
17 answers
9k views

Polynomial-time algorithms with huge exponent/constant

  • 454
70 votes
7 answers
4k views

Which interesting theorems in TCS rely on the Axiom of Choice? (Or alternatively, the Axiom of Determinacy?)

57 votes
6 answers
3k views

Theoretical explanations for practical success of SAT solvers?

57 votes
3 answers
9k views

Realizability theory: difference in power between Lambda calculus and Turing Machines

  • 2,019
57 votes
18 answers
2k views

Where and how did computers help prove a theorem?

  • 1,704
55 votes
18 answers
14k views

Most memorable CS paper titles

  • 9,378
42 votes
23 answers
5k views

What hierarchies and/or hierarchy theorems do you know?

  • 3,741
40 votes
4 answers
6k views

Why does Coq have Prop?

38 votes
12 answers
29k views

Books on automata theory for self-study

36 votes
10 answers
6k views

Most important new papers in computational complexity

  • 674
31 votes
13 answers
4k views

Are there any counterintuitive results in theoretical computer science?

  • 129
30 votes
1 answer
1k views

Programming languages with canonical functions

  • 403
30 votes
10 answers
2k views

Great algorithms, machine learning and no linear algebra

  • 3,920
29 votes
1 answer
3k views

Halting problem, uncomputable sets: common mathematical proof?

  • 403
26 votes
0 answers
615 views

Rank mod 6 vs rank over the reals

25 votes
2 answers
2k views

Do dependent types give you everything subtyping does?

22 votes
1 answer
1k views

What are the practical issues with intersection and union types?

  • 323
20 votes
2 answers
1k views

Can any computational challenge be transformed to proof-of-work?

  • 13.6k
19 votes
1 answer
1k views

Is equivalence of unambiguous context-free languages decidable?

19 votes
3 answers
850 views

Examples of the value of proofs for algorithms

18 votes
3 answers
1k views

funsplit and polarity of Pi-types

  • 478