Enlightened - Badge - Computer Science Stack Exchange

Enlightened

First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.

Petr

2,0871 gold badge14 silver badges21 bronze badges

earned this badge 3 times.

Generating 3SAT circuit for Integer factorization example

Awarded Mar 24, 2021 at 21:21

Clear, intuitive derivation of the fixed-point combinator (Y combinator)?

Awarded Jun 6, 2014 at 21:00

Free variables of (λx.xy)x and bound variables of λxy.x

Awarded Sep 2, 2012 at 3:40

Others with this badge