Computer Science
Petr's user avatar
Petr's user avatar
Petr's user avatar
Petr
  • Member for 10 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
2,087
reputation
65k
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
90
Score
10
Posts
36
Posts %
87
Score
8
Posts
29
Posts %
62
Score
6
Posts
21
Posts %
62
Score
5
Posts
18
Posts %
27
Score
6
Posts
21
Posts %
25
Score
3
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
32
Clear, intuitive derivation of the fixed-point combinator (Y combinator)?
Feb 10, 2013
answer
16
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
10
Generating 3SAT circuit for Integer factorization example
May 2, 2013
question
7
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
6
Distinct variables for different clauses
Sep 5, 2012
Top network posts
View all network posts
255
Difference between Arrays.asList(array) and new ArrayList<Integer>(Arrays.asList(array))
100
Way to check if two Collections contain the same elements, independent of order?
98
What's the difference between Unit and Nothing?
87
What's the difference between "adduser" and "useradd"?
85
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.