Skip to main content
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 12 years, 9 months
  • Last seen more than a month ago
  • Innsbruck, Austria
Profile Activity
Stats
1,490
reputation
23k
reached
5
answers
6
questions
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
1
gold badge
14
silver badges
29
bronze badges
Top tags
View all tags
19
Score
2
Posts
18
Posts %
19
Score
1
Posts
9
Posts %
19
Score
1
Posts
9
Posts %
17
Score
3
Posts
27
Posts %
12
Score
1
Posts
9
Posts %
2
Score
2
Posts
18
Posts %
Top posts
View all questions and answers
question
31
Counting binary trees
Mar 14, 2012
question
21
Are today's massive parallel processing units able to run cellular automata efficiently?
Mar 12, 2012
question
19
Clever memory management with constant time operations?
Mar 6, 2012
answer
19
ML function of type 'a -> 'b
Mar 13, 2012
answer
12
Characterization of lambda-terms that have union types
Mar 7, 2012
question
11
Polymorphism and Inductive datatypes
Mar 28, 2012
question
9
Influence of the dimension of cellular automata on complexity classes
Mar 12, 2012
question
6
An indexing function for graphs
Mar 15, 2012
answer
5
CCS process for a drink dispenser with two different prices
Mar 17, 2012
answer
2
Why store self and parent links (. and ..) in a directory entry?
Mar 12, 2012
Top Meta posts
1
1
5
Cannot see what I'm typing
Top network posts
View all network posts
701
Can less retain colored output?
169
Difference between pts and tty
162
What are bitcoin miners really solving?
118
What is the proper sudoers syntax to add a user?
104
What can an attacker with 51% of hash power do?