Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
user avatar
user avatar
user avatar
Marcin Kotowski
  • Member for 11 years, 6 months
  • Last seen more than 2 years ago
17 votes
Accepted

Drunken birds vs drunken ants: random walks between two and three dimensions

14 votes

How would I go about learning the underlying theory of the Coq proof assistant?

11 votes

Nonlocal Games and Quantum Communication

10 votes
Accepted

On the relation for the Myhill-Nerode theorem/syntactic monoid of a language

7 votes

What's the point of $\eta$-conversion in lambda calculus?

7 votes

What kind of mathematical background is needed for complexity theory?

6 votes

Small steps for better TCS conferences?

6 votes
Accepted

Quantum Bell-Type Inequalities

3 votes

Does there exist a quantum algorithm ala Deutsch's algorithm that computs AND instead of XOR?

2 votes

What is an accessible introduction to Percolation Theory?