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
Vijay D
  • Member for 11 years, 2 months
  • Last seen more than 2 years ago
  • Berkeley, CA
602 votes
6 answers
124k views

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

  • 8,641
256 votes
11 answers
98k views

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

  • 5,157
80 votes
5 answers
4k views

Techniques for Reversing the Order of Quantifiers

  • 16.3k
67 votes
14 answers
17k views

Applications of topology to computer science

  • 791
26 votes
13 answers
11k views

Complex analysis in theoretical computer science

24 votes
1 answer
583 views

Unification and Gaussian Elimination

19 votes
3 answers
972 views

What algorithms are known for computing Craig interpolants?

  • 4,716
17 votes
7 answers
1k views

Pointers for CS applications of logic

  • 81
15 votes
1 answer
629 views

Fixed point theorems for constructive metric spaces?