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

You can install Google Play Services as a sandboxed app on GrapheneOS. That’s not the issue. I believe the issue is that Google will use hardware attestation to check if the OS you’re running it on is Google-approved.

Both the Reddit app and the Reddit website are absolute travesties

“massive”

You may be interested in the German name for a type of rusk, “Zwieback”, which literally means “baked twice” (though with archaic, fossilised grammar)

I was surprised to find that this doesn’t work at all.

For instance, 300 is considered a valid IP by e.g. Firefox, typing 300/ into Firefox will navigate to http://0.0.1.44/. I was expecting this to be interpreted as just Σ 256ⁿ × dₙ mod 256⁴. But it isn’t, Firefox won’t accept this (it performs a web search instead). Neither will curl (which tries to look up a domain by this name).

This looks almost like Loss

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

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