Rodrigo de Azevedo
  • Member for 5 years, 7 months
  • Last seen this week
  • Europe
12 answers
145 votes
42k views
86 bookmarks
Why are there so many programming languages?
6 answers
46 votes
9k views
38 bookmarks
Learning Automated Theorem Proving
2 answers
34 votes
4k views
12 bookmarks
Is there a task that is solvable in polynomial time but not verifiable in polynomial time?
5 answers
30 votes
6k views
21 bookmarks
Clear, intuitive derivation of the fixed-point combinator (Y combinator)?
3 answers
29 votes
909 views
11 bookmarks
Measuring the difficulty of SAT instances
1 answers
29 votes
6k views
21 bookmarks
Sorting as a linear program
2 answers
27 votes
1k views
11 bookmarks
Selling blocks of time slots
7 answers
25 votes
13k views
14 bookmarks
Why is A implies B true if A is false and B is false?
1 answers
23 votes
1k views
8 bookmarks
How fundamental are matroids and greedoids in algorithm design?
2 answers
22 votes
1k views
7 bookmarks
Theoretical foundations of Divide and Conquer
1 answers
17 votes
535 views
9 bookmarks
Is the derivative of a graph related to adjacency lists?
1 answers
17 votes
1k views
5 bookmarks
Find a polynomial in two or three queries
2 answers
13 votes
746 views
4 bookmarks
Matrix chain multiplication and exponentiation
1 answers
7 votes
284 views
1 bookmarks
Recover PRNG description from consecutive outputs
1 answers
6 votes
644 views
2 bookmarks
Exponential example for simplex used in SMT solvers
2 answers
5 votes
690 views
5 bookmarks
How to reduce the low-rank matrix completion problem to integer programming?
0 answers
4 votes
68 views
1 bookmarks
Is this a known question in matrix sketching?
1 answers
3 votes
155 views
1 bookmarks
Applying SVD compression to integral point images
0 answers
3 votes
220 views
1 bookmarks
Optimizing a sum of matrix chains
0 answers
2 votes
152 views
1 bookmarks
Computing $\mathrm{tr}(X^{-1}Y)$ efficiently
1 answers
2 votes
107 views
1 bookmarks
How, if possible, can we efficiently compute with lazy data structures in 𝜆-calculus?