Computer Science
Petr
  • Member for 9 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
2,077
reputation
63k
reached
27
answers
1
question
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
14
silver badges
21
bronze badges
Top tags
View all tags
88
Score
10
Posts
36
Posts %
85
Score
8
Posts
29
Posts %
60
Score
6
Posts
21
Posts %
60
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
Votes Newest
31
Clear, intuitive derivation of the fixed-point combinator (Y combinator)?
Feb 10 '13
16
Lambda Calculus simplification
Oct 10 '12
16
Human computing power: Can humans decide the halting problem on Turing Machines?
Aug 22 '12
13
Programming language where every expression makes sense
Oct 22 '15
12
Free variables of (λx.xy)x and bound variables of λxy.x
Aug 21 '12
11
What use are groups, monoids, and rings in database computations?
Feb 11 '13
11
anonymous lambda functions (functional programming)
Feb 11 '13
10
Generating 3SAT circuit for Integer factorization example
May 2 '13
7
Is there a binary tree structure with fast access to recently accessed elements and worst $O \left( \log n \right )$ complexity?
May 4 '13
6
Show that it is undecidable if two Turing Machines accept the same language
May 9 '13
Top network posts
View all network posts
250
Difference between Arrays.asList(array) and new ArrayList<Integer>(Arrays.asList(array))
97
Way to check if two Collections contain the same elements, independent of order?
95
What's the difference between Unit and Nothing?
86
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.