Or you can use "Morse tap code" where two close knocks represent a dot, and if the gap between them is slightly longer it's a dash. That takes two knocks for one dot/dash but it works and is (was?) used in practice.
Most countries you would consider "developed" in the world (and then some more) switched to having a professional, non-political civil service in the last 100 years, if they hadn't already had one.
Do you think that this maybe indicates something? Or did your analysis stop at the US border? Is it wise to base policies on a system that has not been used in more than 100 years based on the perception that this was some sort of golden age even if a cursory glance around the world show that no country you want to live in is run like that?
Once it shortens the loop, the compiler can also observe that `tab` is a local variable and therefore move the writes up "to the initializer." It can then see that the variable is unused and delete it, and also delete the loop.
Interestingly, the way in which Grothendieck conceived of equality is nowadays being questioned, especially due to the rise of formalized mathematics and Lean. More concretely, there is this fun paper by Kevin Buzzard which deconstructs it: https://arxiv.org/abs/2405.10387
Money quote:
> In this paper I argue that the first assertion above is false, the second is dan-
gerous, and the third is meaningless.
This also makes it obvious that at some point, the halting problem becomes "unprovably hard." There must be Turing Machines for which it is independent of the accepted axioms of mathematics whether or not they halt. And indeed, constructing such machines is not too difficult.
That title is a gross misrepresentation of what is actually happening. This is actually about an Iranian Cloud Provider wanting to be added to the public suffix list.
Sarcastically: Surely a forum post is an effective way of notifying the relevant legal departments about this.
You would be better off reporting the requesting account to GitHub for sanctions, if your goal is to productively enforce such things as you cite on behalf of the U.S. government. Are you an authorized agent thereof or merely a Concerned Citizen with patriotic intentions?
Not sure what is particularly autistic about the observation that "couldn't we just all get along" is unfortunately not how the world works even if we would like it to?
exactly. If they wanted to iterate on their port they would add lifetime annotations here, which are the tool Rust be uses to ensure safety. They're just kicking the unsafety block down the road. This accomplishes nothing and is not how you get Rust to deliver its safety promise.
Lifetimes would prevent the particular use-after-free example here, but the UB that miri currently flags would still exist, as it's related to pointer provenance, not lifetimes.
Yeah, This whole type relies on the C or C++ style "pointers as integers" hack, and while that perhaps works fine in Zig (I don't know) it's wrong or at least a bad idea in Rust. Rust wants you to prefer "integers as pointers" instead because it has different validity rules and lacks C++ "pointer zap".
In C or C++ you conventionally store a suitably large integer (uintptr_t for example) and then when you sometimes need a pointer you just cast that integer to a pointer. Under the proposed C provenance semantics PNVI-ae-udi this gets you exposed provenance.
In Rust you conventionally store a pointer, and then when you sometimes need an integer you ask for the address bits from the pointer (which on popular platforms will be the whole pointer but as an integer) or you make pointers from the integer you have with no claim to their provenance. If you're careful this gets you what Rust calls "strict" provenance, it's just straight PNVI.
Or the people that aid and support those people. Systems like this, or the Iranian crackdown on protestors earlier this year, show that in our times, an autocratic regime is able to keep power in spite of significant popular resistance. Revolutions like the fall of communism in 1989/1990 seem impossible now. If you lose democracy once, it's over.
Or you can use "Morse tap code" where two close knocks represent a dot, and if the gap between them is slightly longer it's a dash. That takes two knocks for one dot/dash but it works and is (was?) used in practice.
reply