user avatar
user avatar
user avatar
Jacques Carette
  • Member for 11 years, 11 months
  • Last seen more than a week ago
28 votes

For which algorithms is there a large gap between the theoretical analysis and reality?

25 votes

Major unsolved problems in theoretical computer science?

16 votes

Higher-order algorithms

15 votes

Major unsolved problems in theoretical computer science?

14 votes

Proof relevance vs. proof irrelevance

13 votes

Why naturals instead of integers?

12 votes

What parts of homotopy type theory are not possible in Agda or Coq?

10 votes
Accepted

Interesting algorithms in the formalization of the Feit-Thompson theorem?

10 votes

Why does predecessor(zero) need to be zero in Church numerals?

8 votes

Complexity of a variant of the Mandelbrot set decision problem?

5 votes

Algebraic account of Gaussian elimination?

5 votes
Accepted

Can type inference be classified in two groups: unification-based and control-flow-based?

3 votes

Does there exist an extension of regular expressions that captures the context free languages?

3 votes
Accepted

Canadian CS University Positions?

2 votes

Complexity of minimising polynomial formula size

1 vote

Formal proof of correctness of Levenshtein distance