Theoretical Computer Science
user avatar
user avatar
user avatar
Jules
  • Member for 10 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
390
reputation
3k
reached
3
answers
4
questions
Communities
View all
About

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

My email is julesjacobs@gmail.com

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
All Questions Answers
Score Newest
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
63
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
26
Geometric understanding of differential forms.
24
What, if anything, do you need to add to a dependent type system to get a module system?
23
What are type quantifiers?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.