(Source)
As TFA says:
Humble Games is the separate publishing arm of digital storefront Humble Bundle. Both companies are owned by IGN Entertainment, but operate as a separate entities.
We are 'only' losing Humble Games, an excellent indie publisher.
Damn.
All done by "country's largest EPCI company in the country"
(This text is still in the [not so] Fine Article.)
(Off-topic, sorry.) Steam is not "an open platform on which anybody can distribute anything". Valve is quite cautious about what games and other software they accept onto Steam.
Wikipedia article: https://en.wikipedia.org/wiki/...
Processor is a Google Tensor G2. Wikipedia says it has 8 cores:
2 × Cortex-X1 @ 2.85 GHz
2 × Cortex-A78 @ 2.35 GHz
4 × Cortex-A55 @ 1.8 GHz
(The Cortex-X1 is a high-performance variant of the A78.)
Those 4 fast cores have quite a lot of power.
The GPU is a Mali G710, which was ARM’s top-of-the-line only 2 years ago.
TLA = "Temporal Logic of Actions". It uses a mathematical notation. TLA+ is a formal language for TLA.
All seems condemned in the long run to approximate a state akin to Gaussian noise. -- James Martin