The exclamation point is also used both as the C-style negation operator and as the identifier suffix that indicates macro invocations, so it was unlikely that it would have been used for any new feature. As my sibling comment notes, this syntax for divergence is very, very old (predating even 0.1), not something that anyone newly came up with.
And if you'd like to write `-> Never`, the nice thing about being a first-class type is that you can now just do that if you'd like, via a standard type alias: `type Never = !;`.
After you create an OSM account, there is also https://maproulette.org, which has tons of little tasks to fix, grouped into challenges, and many of them can be done using just the aerial photos, from the comfort of your seat.
Then there is also mapping for humanitarian purposes, https://tasks.hotosm.org/, which has mapping projects prepared by disaster response teams, and you can help by updating maps of areas recently affected by disasters. E.g. recently there was a lot of mapping in the area hit by the August river flood in Nepal.
ISP's spent $$$$$ against net-neutrality cause they wanted to get paid twice (Google already was paying for their side of the bandwidth as the source).
When you add the second line---pretending that that nobody funding all the anti-net-neutrality let-big-ISPs-do-what-they-want stories that pro-legacy-company Republicans ate up---it makes me think this is some astroturfing, since it goes from "maybe this person fell for the ISP claims" to straight-up dishonest intentionally-misleading-fallacy.
Google was obviously on the side of "don't get charged twice" but ultimately net-neutrality was a tech enthusiast consumer position that came out of a desire to avoid getting charged more on the basis of what sites you did or didn't want to watch, and ISP's trying to influence where you visited by cutting deals to get paid to prioritize A vs B.
That requires access to the actual phone and the unlock code in the case of WhatsApp (you need to identify to add a WhatsApp web client).
For telegram it's a bit easier yes, but the user can set up an additional password. I have done so of course. Note that telegram is not E2EE so they can give your stuff to the police at any time unlike WhatsApp and signal.
For signal I don't know as I don't really use it but i understand it works the same way as WhatsApp, scan a QR code and authenticate to the phone.
Also, with all 3 systems it's clearly visible when you look at the linked systems.
I suspect you can get quite a lot of value out of a few Skyrim modders for a relatively modest fee, given the enormous passion tax. After all, most modders already do it for free.
There's a pretty famous story about Weird Al's Amish Paradise and Coolio. Weird Al got permission from the recording company and producer, but not Coolio. Coolio was not amused, initially.
gpt-oss-120b only has 5B active parameters, so its not surprising Qwen3.8 27B outperforms it (Qwen3.8 is also ~13 months newer, which is forever in LLMs)
You are incorrectly cynical. They are telling you things are bad, and because you refuse to countenance they could be worse, you assume they must be better to comply with your mandate to disbelieve.
A true cynic looks at the statements by the AI labs, assumes things are worse because the labs want to seem better than they truly are. And it takes a special kind of mass delusion to drive a sane person to think “AI is completely under our control” is worse than “AI could kill everyone.”
It also gates some "features" like the "AI" auto-detection of media type to automatically switch the TV between sports, movie, gaming, etc. modes as well. At least from my memory of a recent LG OLED setup.
I switched from Claude to Codex because Claude just doesn't do what you actually tell it to half the time. It dances around the edges and does busy work without actually tackling a tough problem.
I'm not sure what others are doing that they're getting such different results, but I'll take Codex every day of the week.
