If I can autoport my C++ to Rust, and the port is confirmed identical, and the Rust is confirmed safe, can't I use that to reason about the safety of my C++? Is safe C++ just a matter of proving it has a safe Rust…
Hard to say. Most of the uses probably predated the custom operator new and so nobody thought about it. Not to mention the places you cannot sneak into to switch to std::nothrow.
I suspect that windows still has a subtle FP restoration bug. We do large scale validation of floating point data and occasionally get ever so subtly different results.
This is likely your answer. C++ story. I worked at a large company that had a "no exceptions" policy and a custom operator new. If a new expression failed it would return nullptr instead of throwing. So lots of people…
I think this is worrying too much about a particular interpretation of "10x" and ignores the subterranean fact that people are trying to convey. There just are super-valuable devs. Everyone knows this. They stick out.…
I think it does exactly that, which is supposes a one-time exception to get out of infinite regress. But, I mean, if God exists, that's how it is. So the story doesn't seem incoherent. As for asking why is God…
I don't see what the infinite sequence of contingency buys you. Seems you might as well say there is fundamentally no reason why anything is (though I think that's untenable).
Maybe, but the capacity for "something" to "stop something else from existing" seems to depend on laws, and the laws themselves seem pretty contingent. Why are the laws sustained? If the laws changed and things…
You probably have to assume there is a necessary substrate. What else can you possibly think? Contingency means being contingent on something else. You could suppose that the "something else" is itself contingent, but…
It doesn't really have anything to do with time. The "sustainment" question is different from the "causal" question. Causal questions are typically temporal and past-looking. Sustainment is a question about "now",…
Depends on if you mean direct-dependence or some ancestral-dependence. Contingent things can depend on other contingent things in some narrow scope. But a complete answer to "why X?" (e.g., "because Y") should avoid…
That is the whole point of God as an explanation. God is where the buck stops on contingency. God is necessary.
One row of that, two colors, has 18,446,744,073,709,551,616 permutations. Now do it for 63 more rows. Now write that to disk.
I should clarify: I don't mean that you shouldn't be worried when you get the "let's talk" message. What I mean is, it shouldn't come across as "spooky"; that is, when they say it, it shouldn't leave you with the…
If you are in a new relationship with management and they are already hitting you with vague "let's talk" statements, you are pretty much guaranteed that they are bad communicators and that you won't be able to glean…
I don't disagree, but I think it's more about establishing a good rapport where statements like "let's talk" can be informative and not just confusing. If you trust your manager and have good communication with them,…
I picked up a great 670nm light from here: https://redlightman.com/
Of course there was a "winning strategy." China is about to embark on it. There must have been clear signs that the Taliban was capable of doing what they just did. Even if the goal is to exit Afghanistan (which we…
The article sounds like it wants to criticize "meritocracy", but it really just ends up criticizing the measures of merit that someone (strawman?) apparently has? If it were really critical of "meritocracy" it would be…
> Cardinal even having more flexibility I thought Gibbard-Satterthwaite (or maybe just Gibbard's version) applied to cardinal systems as well. This seemed likely to me for some reason, as if an ordinal method could…
> IRV lets people express their preferences in a fairly understandable way. The strategy I see... That's the concern though. You likely don't want to just "express your preferences." You need to strategically rank…
I agree, but just a note: it doesn't do your career any good to hop a lot. I won't hire someone that looks flaky. If you find yourself at a bad job, sure, move on. But work on sussing out the good from the bad so you…
When someone hits you with a truck-load of mathematical jargon and convoluted experimental setups, most people just end up fatigued and find themselves nodding to conclusions out of fear of looking stupid. And the…
"If objective ethical values exist, we'll have to give up tribalism to realize them." I didn't see a definition of "tribalism" in the article. I see references to the "January insurrection" and vague references to other…
Same story here (22 years actually). For me, Aphex Twin is the only music I "listen to." I listen to other music, but only in passing. My daily work music is always Aphex Twin. To me, it is the only music that captures…
If I can autoport my C++ to Rust, and the port is confirmed identical, and the Rust is confirmed safe, can't I use that to reason about the safety of my C++? Is safe C++ just a matter of proving it has a safe Rust…
Hard to say. Most of the uses probably predated the custom operator new and so nobody thought about it. Not to mention the places you cannot sneak into to switch to std::nothrow.
I suspect that windows still has a subtle FP restoration bug. We do large scale validation of floating point data and occasionally get ever so subtly different results.
This is likely your answer. C++ story. I worked at a large company that had a "no exceptions" policy and a custom operator new. If a new expression failed it would return nullptr instead of throwing. So lots of people…
I think this is worrying too much about a particular interpretation of "10x" and ignores the subterranean fact that people are trying to convey. There just are super-valuable devs. Everyone knows this. They stick out.…
I think it does exactly that, which is supposes a one-time exception to get out of infinite regress. But, I mean, if God exists, that's how it is. So the story doesn't seem incoherent. As for asking why is God…
I don't see what the infinite sequence of contingency buys you. Seems you might as well say there is fundamentally no reason why anything is (though I think that's untenable).
Maybe, but the capacity for "something" to "stop something else from existing" seems to depend on laws, and the laws themselves seem pretty contingent. Why are the laws sustained? If the laws changed and things…
You probably have to assume there is a necessary substrate. What else can you possibly think? Contingency means being contingent on something else. You could suppose that the "something else" is itself contingent, but…
It doesn't really have anything to do with time. The "sustainment" question is different from the "causal" question. Causal questions are typically temporal and past-looking. Sustainment is a question about "now",…
Depends on if you mean direct-dependence or some ancestral-dependence. Contingent things can depend on other contingent things in some narrow scope. But a complete answer to "why X?" (e.g., "because Y") should avoid…
That is the whole point of God as an explanation. God is where the buck stops on contingency. God is necessary.
One row of that, two colors, has 18,446,744,073,709,551,616 permutations. Now do it for 63 more rows. Now write that to disk.
I should clarify: I don't mean that you shouldn't be worried when you get the "let's talk" message. What I mean is, it shouldn't come across as "spooky"; that is, when they say it, it shouldn't leave you with the…
If you are in a new relationship with management and they are already hitting you with vague "let's talk" statements, you are pretty much guaranteed that they are bad communicators and that you won't be able to glean…
I don't disagree, but I think it's more about establishing a good rapport where statements like "let's talk" can be informative and not just confusing. If you trust your manager and have good communication with them,…
I picked up a great 670nm light from here: https://redlightman.com/
Of course there was a "winning strategy." China is about to embark on it. There must have been clear signs that the Taliban was capable of doing what they just did. Even if the goal is to exit Afghanistan (which we…
The article sounds like it wants to criticize "meritocracy", but it really just ends up criticizing the measures of merit that someone (strawman?) apparently has? If it were really critical of "meritocracy" it would be…
> Cardinal even having more flexibility I thought Gibbard-Satterthwaite (or maybe just Gibbard's version) applied to cardinal systems as well. This seemed likely to me for some reason, as if an ordinal method could…
> IRV lets people express their preferences in a fairly understandable way. The strategy I see... That's the concern though. You likely don't want to just "express your preferences." You need to strategically rank…
I agree, but just a note: it doesn't do your career any good to hop a lot. I won't hire someone that looks flaky. If you find yourself at a bad job, sure, move on. But work on sussing out the good from the bad so you…
When someone hits you with a truck-load of mathematical jargon and convoluted experimental setups, most people just end up fatigued and find themselves nodding to conclusions out of fear of looking stupid. And the…
"If objective ethical values exist, we'll have to give up tribalism to realize them." I didn't see a definition of "tribalism" in the article. I see references to the "January insurrection" and vague references to other…
Same story here (22 years actually). For me, Aphex Twin is the only music I "listen to." I listen to other music, but only in passing. My daily work music is always Aphex Twin. To me, it is the only music that captures…