Computer Science
Profile Activity
Network profile
2,027
reputation
12
20

Petr
top 5% overall

Apparently, this user prefers to keep an air of mystery about them.

27
answers
1
question
~56k
people reached
  • Germany
  • ppetr
  • Member for 8 years, 5 months
  • 94 profile views
  • Last seen Jul 24 '20 at 21:19

Communities (70)

Top network posts

Top tags (0)

This user has not participated in any tags.

Top posts (28)

All Questions Answers
Votes Newest
30 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
9 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 How does 'deforestation' remove 'trees' from a program? Mar 1 '13
View all questions and answers →

Badges (32)

Gold

—

Silver

12

Rarest

Bronze

20

Rarest

View all badges →