ihm

Trade what exactly? Unemployed urban dwellers or landless peasants do not control any means of production and so cannot produce anything to trade.

What part of Marx's work do you think has been disproven?

> Nature is usually 80/20. In other words, 80% of researchers probably might as well not exist.

What does this even mean? Do you think in an ant colony only the queen is needed? Or in a wolf pack only the strongest wolf?

This is really impressive, especially the way they've used formal verification. Great work.

In summary: the capitalist class won the class war.

Consumers are not part of the problem. There is literally no action a consumer can take to ameliorate this situation because there are no tires produced that don't have this problem, and many consumers need to have a car to live.

It’s not remotely true that prices are capable of transmitting all the information required to reproduce society.

This is for the simple reason that prices more or less only communicate information about the amount of labor required to produce a thing[0].

Therefore prices on their own are, for example, incapable of transmitting information about what action needs to be taken to correct the relationship to the biosphere. Information about the state of the biosphere will only enter into prices to the extent that things start taking more labor to produce. But there’s no market mechanism that would then cause that to direct action towards stabilizing the climate.

[0]: This is because cost resolves into business owner’s cut + labor cost + cost of inputs, and the inputs can recursively be split into the same until you’re left with the amount owners take, the amount paid to workers, and the amount paid to owners of natural resources.

The business owner’s cut and the amount paid to owners of natural resources are socially determined and bear almost no relationship to the physical world or reproduction of society.

I think there are a few errors here. First there is afaict no reason the image of phi has to break up into power-of-two cyclic groups.

Second and more importantly, it seems very difficult to start with the decomposition into cyclic groups and then choose a map from the multiset group into the permutation group that corresponds to the given decomposition in a good way.

Relatedly, the isomorphism between the image of phi (i.e., the action of accumulating hashes) and the decomposition into cyclic groups may be difficult to compute, which can make finding collisions infeasible for an attacker when they could do it easily if given the explicit representation.

So overall the conclusion that “you might as well make this forced structure explicit, and just pick the block structure you want to use in advance” seems incorrect.

The blog post someone linked on multiset hashing with elliptic curves proves the foregoing points. The cyclic groups do not have power-of-two orders and the group action is very complicated even though the description in terms of elliptic curve addition is quite simple.