Skip to main content
Theoretical Computer Science
qazwsx's user avatar
qazwsx's user avatar
qazwsx's user avatar
qazwsx
  • Member for 10 years, 6 months
  • Last seen more than 5 years ago
Profile Activity
Stats
559
reputation
18k
reached
0
answers
3
questions
Communities
View all
Badges
View all badges
1
gold badge
6
silver badges
7
bronze badges
Top tags
View all tags
0
Score
2
Posts
67
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 %
0
Score
1
Posts
33
Posts %
Top posts
question
35
What are some good introductory books on type theory?
Aug 21, 2014
question
8
What's the relation between OOP and category theory?
Mar 5, 2014
question
0
What kind of computations or algorithms give rise to iterated logarithm and inverse Ackermann function?
Mar 8, 2014
Top network posts
View all network posts
1047
In a Git repository, how to properly rename a directory?
298
How can I monitor the progress of an import of a large .sql file?
268
How to alter a column and change the default value?
219
What's the difference between lists enclosed by square brackets and parentheses in Python?
217
With Bash + iTerm2, how to name tabs?