X and US law both have rules against incitement of imminent violence. It's one of the only exceptions to the First Amendment. X extends that to making violent threats in general. Those accounts were doing the latter and sometimes the former.
The @vps_reports account named in the first tweet in your story is a good example. The Intercept claims they were suspended for engaging in "journalism", "organizing" and "documenting extremism". X claims they were suspended for making violent threats.
If we follow links a bit further we see what sort of tweets @vps_reports was making:
> "One last thing. ChayaRaichik10 should live in fear for the rest of her days. It's only fair. Put the PHOBIA in her transphobia."
(there are several more examples like that)
It's not surprising that such people would fall afoul of an anti-threat rule if enforced fairly. Pre-Musk, people like that could make violent threats on Twitter, or even coordinate mob violence there, as long as they were threatening right wing people. Musk fixed that. The Intercept is being dishonest.
Considering how we made basically no real progress on it mathematically in a whole generation, solving BB(6) within the next decades would be a miracle, and I would bet a lot against it.
I can't see us EVER getting to BB(10), no matter how advanced humanity grows (and it would be meaninglessly large anyway).
I think 765 is just a huge overestimation based on the fact that it is somewhat straightforward to construct.
First off, it's not Collatz, it's a Collatz-like problem.
But yes, I'd be very surprised if Collatz were actually undecideable, even if it's well beyond the reach of current mathematics.
I agree with your statements about BB(10) and BB(6), but they just aren't very relevant. I agree those involve extremely difficult problems likely well beyond the reach of current mathematics, but I'd still be very surprised to find anything undecideable in there. There's a big difference between being truly undecideable and merely well beyond the reach of current mathematics!
(Also, the current record for undecideability is 745, or 765.)
Is there a search engine that actually and consistently looks for what you search for now?
Once in a while I try Google but very frequently it completely ignores some of my keywords and I have to click the 'include XXXX' and try again. WTF GOOGLE WHY DO YOU STILL DO THIS
Kagi works like how Google used to a few years ago if they had just kept improving what’s useful to users. You can pry my Kagi subscription from my cold dead hands.
I'm a little embarrassed to admit that I mumble "I typed it for a reason" and "I even made it the first term" more than once a day.
Terms with low cardinality should never be automatically removed, or at least results without those terms should be sorted to the bottom of the result set.
And "verbatim search" is no answer as long as there is no way to enable that mode for all future searches.
Thanks. The boat prop offers some efficiency gains in mid-range speeds and better hole shot acceleration, but I guess the benefits don't carry to smaller scales and less viscous surroundings.
Recently discovered Sharrow boat props. Apparently the guy who invented them first developed the the concept for reducing noise from drones filming orchestras. I'm surprised we aren't seeing more widespread availability yet of "tipless" drone propellers.
There may have been new attempts, but when I last looked into these types of drone propellers, nobody seems to have been successfully able to demonstrate they actually offer significant improvements (either noise or efficiency) over traditional designs.
To be fair, the limiting factor might be manufacturing capabilities, given most attempts were using 3d printed propellers which results in terrible surface finish, compared to injection molding.
I think Azure is great if you are willing to do it Microsoft's way and are focused on B2B markets where factors like compliance matter in a way that can actually disrupt your sales cycle.
Put differently, if you can get over the principled nerd stuff like "everything must be open" and break out that wallet, you can stand to make a lot of money without as much headache as the guy who decided to roll his own IdP.
Getting "cost sensitive" on Azure is how you lose track of the rabbit. The whole point in my view is to trade money for reduced complexity and time. It lets you focus on solving really hard business that others simply can't seem to find the time to.
