> Rust's type system is *intended to prevent memory unsafety. Upholding this promise is something we take very seriously*, .... It is a large priority of the Types Team to *fix all type system unsoundnesses* and to work towards there being a solid foundation to minimize the risk of unknown ones.

So, yes, if you have a group who "takes very seriously" the job to "fix all type system unsoundness", I would expect them to utilize some manner of formal proof verification that their type system is mathematically correct up to some defined limit.

Steam machines failed because they tried to replace Windows with a worse user experience. In 2015, there were fewer native games and worse compatibility; nobody is going to just rise up and displace Microsoft from their entrenched throne as THE Desktop PC Gaming platform. Alternately, the Steam Deck is essentially inventing a whole new market; if players want a mobile, AAA game platform the only contender right now is a Nintendo Switch (which has an entirely different games library, with limited overlap mostly in "indie" game titles). So now instead of fighting Microsoft where they're strongest, they're fighting a console manufacturer in one place they can expect to be weaker.

Then once the Steam Deck is a widespread commercial success -- and from pre-orders, it looks like that's guaranteed -- Valve will have the foothold to push SteamOS as an equal games development space as Windows desktop. Coupled with the reports that Proton currently runs over 90% of the popular games which don't have a native client, this very well could introduce Linux (albeit indirectly) to the wider market in a way that could eventually challenge Microsoft's comfortable monopoly position.

April 2020: Today I alphabetized the jelly beans"

1: not a reference to any specific tweet, just the general tendency of people to speak about grand plans and then never execute on them.

To dial a 0, pulse the line 10 times.

Devices exist on a repairability spectrum, from the industrial appliance which is delivered with full electric schematics and every part stamped with a replacement order number, to the black-box NUSPI ["no user serviceable parts inside"]. The enmity is not really about batteries, but having that one question stand in as a measurement to ensure the device meets a minimal standard for allowing third-party repair.

I am less certain the meta-game is inherently about broadening the variety of status measurements, and more about setting the terms by which status is measured. A person who can win a large variety of such measurements might trend toward a broadening strategy such as you describe (since this is likely to favor their odds of winning any given contest), but ultimately the problem of of a "split decision" between multiple comparisons means we should expect any given contest to only ever use one means of status measurement.

Therefore the meta-game is about winning the selection process for that measurement (with the broad strategy being just one among many possibilities)....

No, the science doesn't imply that climate change is going to mean literally everyone dead, only a massive cost to maintain things as they are today. Contrawise, Alexandria Ocasio-Cortez said "the world will end" by 2030 if we don't stop climate change. (Source: https://thinkprogress.org/we-dont-have-12-years-to-save-the-...)

So, yes there are people being absolutely, ridiculously, unscientifically hysterical about the effects of climate change. Unscientific alarmism is just as harmful toward efforts to properly manage the global ecology as the unscientific denial of changes.

> ... If Location Service is enable, these services will have access to them ...

> The Author seems to miss the fact that the unknown service causing the icon to appear isn't in the list of individual settings.

OK, so how do we know what this mystery service does? The obvious candidates (E911/SOS, FindMyPhone, Location-based ads, etc) all appear in the list. I think this definitely raises questions about what remaining service is asking for location, and especially what that is being used for. Given that this article is coming from a security blog, there is a definite implication of questioning the intentionality / consent of a broad setting like "location services on/off" has unknown, unlisted users [and especially when most users of such a setting have individual toggles].

First: A car can be "the means of production", if you're a driver for Uber/Lyft.

Second: the issue I understand is that this website isn't letting one person take fruit from a tree, but treating all such things as open invitations for all persons to take from the tree. To your analogy, that isn't taking a single Model T car, but seizing the factory and stating you're making cars for the entire city with it.

Upon first reading, I'd assume they are seeing the maximum unsigned values, but their variables aren't declared as unsigned -- and C/C++ default to signed values. Secondly, representing the nth power of two actually takes n+1 binary digits, so e.g. 28 is a one, followed by 8 zeros -- overflowing any 8-bit variable, signed or unsigned! This is undefined behavior as-declared (signed values), but would be entered as a zero for explicitly declared unsigned variables.

Personally, if I were to be implementing this, I'd use bitwise operations to generate the correct values, and explicitly acknowledge in a comment something like "the following code knowingly breaks the abstraction of numeric values. It is likely not portable to other hardware, nor should you assume easy extension to other variable types. Das Quellcode ist nicht fur der gefingerpoken!"

http://www-ksl.stanford.edu/knowledge-sharing/lib/unit-conve...

Given the way this appears to be defining some sort of class-based hierarchy, with the correct type requirements this code should perform exactly the sort of unit/type checking the grandparent post wanted, but I didn't go digging into the rest of the project files to confirm this code defined things in the correct manner for that to work.

Furthermore, that leads into a question of "Why should young people care about the copyright of 20+ year old games?" ... which probably is actually a very good question deserving of serious examination instead of mere snark.

> Can’t I just buy a Raspberry Pi, an enclosure, gamepad, keyboard, and mouse, 3D print a faceplate, install Armbian, buy 30+ games, build the source for ARM or install/configure in DOSBox for each and every game, create a menu system with game art, and tell everyone about it at parties?

> No.

With no other explanation or expansion on that answer, it reads to me like "That was our idea, now go away". OTOH, if they manage to license a number of classic games which aren't legally available elsewhere (like the original Sid Meier Civilization, or Lemmings) this might be worth the surcharge.

Yet they do work, and we don't call labor unions "government".

Government regulation is, ultimately, only one item in the civic toolbox of society. If it turns out this is flawed, and will in the long run generate more negative outcomes than positive ones, abandoning the tool does not mean abandoning the final goal. Instead, we must utilize alternate means of achieving the same ends... or accept that corruption as the price of our chosen path.

Anyway, "puzzle" is now available at https://drive.google.com/file/d/1KYDTZ2AVWQfWCSACUvfl5gAIHzA...

If I counted correctly, you should be able to make a roughly rectangular shape out of the provided pieces. (Even if I miscalculated, I think they make a good exploration toy for the P2 tiling anyway.)