Viewing profile — logicchop

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 mat…

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 i…

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.…

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 incoher…

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? …

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 "some…

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. Susta…

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…

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,…

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…

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 an…

The way I see it, if "let's talk when you get a minute" comes across as spooky that means you already have a communication breakdown and mistrust has already blossomed. Here's a sl…

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 goa…

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…

> 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 rea…

> 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…

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 suss…

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 o…

Just commenting about your first point (disproportionate arrests of black people for drugs). I looked at your link. I read it. Did you read it? The end summarizes its own alternati…