Implementing subtyping next?

I think if the order-ness is relevant, we then use concepts like 'Universes'

Depends on what `f`’s type is.

Here, the type is generally `a -> a` where `a` can be of any order, which makes `f`'s order “1 + any order” or more simply, higher order.

and `f(f)` is also higher order since it’s beta-reduction is equivalent to `f`.

You know, I never questioned where this terminology came from.

This language apparently comes from logic (variables in first order logic are non-sets, variables in second order logic can be sets, third order can be sets of sets, and so on)

Limitations breed ingenuity

This is precisely why the J6 folks got pardoned.

Their next attempt will be with participants who KNOW that Trump will indeed pardon their crimes if they help Trump out.

Yup, Trump was chosen because of his popularity.

Now that he has won, all republicans/Miller has to do is give him documents to sign.

Trump doesn’t get prison time, and in return, he signs whatever Miller wants signed.

To get an idea for how far ahead these folks are thinking, consider the implications of these pardons.

In 4y (or maybe before), people who want to use violence to achieve their goals know that Trump/president will pardon them for their support.

We officially have a dictator now.

That’s a good point, but it’s more interesting if you consider the cameras and all the other cute features on a Tesla.

Not only does it know the whereabouts of your car but also the people/things around you

What if Elon only allows the narrative on Twitter that he likes?

Could he ban anything that points out the truth, even the facts that point out the white collar crimes he commits?

What if you own a Tesla and he wants to know your whereabouts?

Could he track every move you make in your car ?

Rich “smart money” bosses gave that advice to poor “dumb money” workers

Poor workers gave that advice to their children

Children grow up and give that advice to their children

The moment you disregard smart money advice, the reality becomes apparent.

Intelligent =/= Rich
Rich =/= Intelligent

Wouldn’t be surprising if he did that while blaming humanity for “not understanding his genius”

I hope I am alive when he dies, for whatever causes

Watch the CEOs spend less than 5% of their wealth to hire an army to protect them while folks spend more than 100% of their wealth just so their children can afford school with the risk of getting shot.

Welcome to late-late stage capitalism, where capital is worth more than life.