Skip to main content
Computer Science
Erwan Aaron's user avatar
Erwan Aaron's user avatar
Erwan Aaron's user avatar
Erwan Aaron
  • Member for 9 years, 6 months
  • Last seen more than 8 years ago
Profile Activity
Stats
183
reputation
5k
reached
1
answer
2
questions
Communities
View all
About

Second year CS student at UWaterloo (Canada)

I want to become a software engineer

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
2
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
4
Is there a difference between total-ordering consistency and linearizability?
Oct 19, 2015
answer
2
Relationship between formal system and formal languages
Jun 1, 2015
question
1
Generate collision resistant identifiers with two-way hashing
Nov 7, 2016
Top network posts
View all network posts
34
Difference between proof of negation and proof by contradiction
21
What breaks the Turing Completeness of simply typed lambda calculus?
12
What does "simplification of proofs as evaluation of programs" mean?
10
What is the difference between intuitionistic, classical, modal and linear logic?
7
How to test my understanding of an academic paper?