Skip to main content
Jacques Carette's user avatar
Jacques Carette's user avatar
Jacques Carette's user avatar
Jacques Carette
  • Member for 13 years, 10 months
  • Last seen more than a month ago
30 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

Why naturals instead of integers?

14 votes

Proof relevance vs. proof irrelevance

12 votes

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

11 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?

5 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