Indeed, but having more data might be able to solve that? The whole problem seems to be that benign conditions sometimes look scary because we're currently not able to predict well enough whether it's something that will eventually cause problems.
Verifying that every step in a (potentially long) proof is sound can of course be much, much harder than verifying that a definition is correct. That's kind of the whole point.
By "online wallet" they were likely referring to the Bybit website being the wallet of those customers that held their coins there rather than keeping them in their own private wallets, and not whether the hack involved a hot wallet or a cold wallet. Calling it a custodial wallet would have been more accurate.
> It would be similar to if I claimed that an LLM is an expert doctor, but in my data I've filtered out all of the times it gave incorrect medical advice.
Computationally it's trivial to detect illegal moves, so it's nothing like filtering out incorrect medical advice.
> in the absence of other celestial bodies the satellite would be in a stable orbit
Presumably entering such an orbit is only possible due to forces from other celestial bodies in the first place, since otherwise if you reversed time it would spontaneously leave its orbit. In other words, the act of the earth "capturing" the object is ultimately performed by external forces?
VanMoof bikes are known for breaking quickly. Calling them "so much better" than Cowboy based on a single bad experience doesn't seem totally reasonable.
That's probably an impossible task. The best they can do is ask contestants nicely not to do this, but that opens the can of worms of whether tools like GitHub Copilot should not be allowed, either.
Just in case performance matters, there is a more efficient way: have the tortoise stay in place and advance the hare only one node at a time, and assign the hare to the tortoise every time a power of 2 number of steps have been made. This is known as Brent's algorithm, and it requires fewer advancements than the original tortoise and hare algorithm by Floyd.
Another notable advantage of Brent's algorithm is that it automatically finds the cycle length, rather than (in Floyd's case) any multiple of the cycle length.
Right, but will they be eligible the year after? If not, then this still means that not surpassing the threshold could increase their revenue in the long run.
Not to mention that that was a comment on GitHub, not on Reddit, even though the "far, far, far over the line" statement was about "the now-usual Reddit uproar". I guess Klabnik just really dislikes Reddit.
Yeah, that comment on the GitHub issue was definitely over the line, but it wasn't on Reddit. The comments in the subreddit were higher in volume, but way more reasonable.
This could very well be thanks to the moderators, but I hardly saw any nasty comments on r/rust. People were critical of the actix maintainer, sure, but I didn't see anything that crossed the line. Some comments in the GitHub issues were indeed nasty, but those were actually called out on the subreddit.
There's no way for me to know for sure, but it seems as though Klabnik was exaggerating here.