Skip to main content
Theoretical Computer Science
Jules's user avatar
Jules's user avatar
Jules's user avatar
Jules
  • Member for 12 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
390
reputation
4k
reached
3
answers
4
questions
Communities
View all
About

I'm interested in computer science, mathematics, and physics.

My email is [email protected]

Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
10
bronze badges
Top tags
View all tags
2
Score
1
Posts
14
Posts %
2
Score
1
Posts
14
Posts %
1
Score
3
Posts
43
Posts %
1
Score
1
Posts
14
Posts %
1
Score
1
Posts
14
Posts %
0
Score
2
Posts
29
Posts %
Top posts
question
14
The Stalin compiler brutally optimizes, but how?
Jan 16, 2012
question
6
Preserving termination when rewriting recursive programs
Feb 20, 2013
question
5
Commonalities and differences between canonical structures and the implicit calculus
Jan 8, 2013
answer
2
Computing the approximate population of a bloom filter
Feb 17, 2012
answer
1
Removing recursion - a look into theory behind the scenes
Feb 18, 2012
answer
1
Which algorithms are used most often in practice?
Jan 14, 2012
question
-1
How can a problem have complexity $O(n^{2+\epsilon})$ for all $\epsilon > 0$?
Mar 26, 2012
Top network posts
View all network posts
67
How can you determine a point is between two other points on a line segment?
42
Error: Extension method must be defined in a non-generic static class
33
Geometric understanding of differential forms.
25
What, if anything, do you need to add to a dependent type system to get a module system?
23
What are type quantifiers?