I suppose so

How exactly is kernel.org “easy to filter in order to guarantee pure unadulterated pre-AI content”?

Yes, Church numerals are something more specific. Church numerals are a model of Peano arithmetic, I think. So basically all Chuch is Peano but not all Peano is Church.

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)))

Sadly fails to launch on my machine

Both the Reddit app and the Reddit website are absolute travesties

“massive”

it’s been renamed in January 2025. This is not a new change.

https://web.archive.org/web/20250119223414/https://www.office.com/