xkcd

17940 readers

344 users here now

A community for a webcomic of romance, sarcasm, math, and language.

founded 3 years ago

MODERATORS

627

submitted 1 day ago by xkcdbot@lemmy.world to c/xkcd@lemmy.world

41 comments fedilink hide all child comments

Title text:

Other numbers are largely unaffected, but anyone using '4' for their certificate key is urged to upgrade to '5'.

Transcript:

Transcript will show once it’s been added to explainxkcd.com

you are viewing a single comment's thread
view the rest of the comments

[–] Warl0k3@lemmy.world 5 points 20 hours ago (2 children)

Reinventing church numerals as a rationalisation for grocery checkout hijinks - I absolutely love this.

[–] schuelermine@leminal.space 1 points 9 hours ago (1 children)

Isn't this Peano numerals? Church numerals would be if a baker's four doubled two was sixty-four.

(That being (λf. λx. f (f (f (f (f x))))) (λn. λf. λx. n f (n f x)) (λf. λx. f (f x)))

[–] Warl0k3@lemmy.world 1 points 5 hours ago

Would they not be equivalent systems for this purpose? Both use the successor function as a unary representation of the natural numbers.

[–] BillyClark@piefed.social 2 points 20 hours ago

I guess if I say that 1 is baker's 0, and 2 is baker's baker's 0, then I've invented the baker's unary base.