Computer Science
Stéphane Gimenez's user avatar
Stéphane Gimenez's user avatar
Stéphane Gimenez's user avatar
Stéphane Gimenez
  • Member for 11 years, 9 months
  • Last seen more than 4 years ago
  • Innsbruck, Austria
Profile Activity
Stats
1,470
reputation
370
reached
1
answer
1
question
Communities
View all
About

Computer scientist, interested in logics, programming languages, parallel and distributed computation, photography, cryptocurrencies. I live on open source software. I also like to climb mountains and play this ancient game called go.

Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
7
bronze badges
Top tags
1
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
5
Cannot see what I'm typing
Mar 6, 2012
answer
1
Scope limits on proof assistants (e.g. Coq)
Mar 7, 2012
Top network posts
View all network posts
690
Can less retain colored output?
161
What are bitcoin miners really solving?
159
Difference between pts and tty
116
What is the proper sudoers syntax to add a user?
104
What can an attacker with 51% of hash power do?

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.