Computer Science
Petr's user avatar
Petr's user avatar
Petr's user avatar
Petr
  • Member for 11 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
2,185
reputation
71k
reached
27
answers
1
question
Communities
View all
Badges
View all badges
1
gold badge
15
silver badges
21
bronze badges
Top tags
View all tags
95
Score
10
Posts
36
Posts %
94
Score
8
Posts
29
Posts %
68
Score
5
Posts
18
Posts %
67
Score
6
Posts
21
Posts %
27
Score
6
Posts
21
Posts %
26
Score
3
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
37
Clear, intuitive derivation of the fixed-point combinator (Y combinator)?
Feb 10, 2013
answer
17
Human computing power: Can humans decide the halting problem on Turing Machines?
Aug 22, 2012
answer
16
Lambda Calculus simplification
Oct 10, 2012
answer
13
Programming language where every expression makes sense
Oct 22, 2015
answer
12
Free variables of (λx.xy)x and bound variables of λxy.x
Aug 21, 2012
answer
11
anonymous lambda functions (functional programming)
Feb 11, 2013
answer
11
What use are groups, monoids, and rings in database computations?
Feb 11, 2013
answer
11
Generating 3SAT circuit for Integer factorization example
May 2, 2013
question
8
Is there a binary tree structure with fast access to recently accessed elements and worst $O \left( \log n \right )$ complexity?
May 4, 2013
answer
8
Is resolution complete or only refutation-complete?
Jan 22, 2013
Top network posts
View all network posts
257
Difference between Arrays.asList(array) and new ArrayList<Integer>(Arrays.asList(array))
103
Way to check if two Collections contain the same elements, independent of order?
101
What's the difference between Unit and Nothing?
93
What's the difference between "adduser" and "useradd"?
86
Could a "living planet" alter its own trajectory only by changing its shape?

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.