logicchop

8 ms·

1.
by logicchop 2mo ago
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 equivalent?
2.
by logicchop 4y ago
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.
3.
by logicchop 4y ago
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.
4.
by logicchop 4y ago
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 wrote "
5.
by logicchop 4y ago
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. And they are
6.
by logicchop 4y ago
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 necessary, I think t
7.
by logicchop 4y ago
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).
8.
by logicchop 4y ago
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 themselve
9.
by logicchop 4y ago
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 then you hav
10.
by logicchop 4y ago
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 "no
11.
by logicchop 4y ago
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 begg
12.
by logicchop 4y ago
That is the whole point of God as an explanation. God is where the buck stops on contingency. God is necessary.
13.
by logicchop 4y ago
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.
14.
by logicchop 5y ago
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 l
15.
by logicchop 5y ago
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 muc
16.
by logicchop 5y ago
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
17.
by logicchop 5y ago
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 slightly different scenario: You have a di
18.
by logicchop 5y ago
I picked up a great 670nm light from here: https://redlightman.com/
19.
by logicchop 5y ago
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 should have don
20.
by logicchop 5y ago
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 a
21.
by logicchop 5y ago
> 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 approximate any p
22.
by logicchop 5y ago
> 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 can
23.
by logicchop 5y ago
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 don't pu
24.
by logicchop 5y ago
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 problem is only amplified
25.
by logicchop 5y ago
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 alternative (non-prejudicial) explanation for the gap. In a post abou
26.
by logicchop 5y ago
"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
27.
by logicchop 5y ago
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 the true se
28.
by logicchop 5y ago
"an old misconception (with roots both in religion and classical philosophy)" There is also a new misconception (with no real roots except egalitarianism taken too far) that everything is the same as everything else "to varyi
29.
by logicchop 5y ago
I would like to see the analysis for rich parents that have adopted children.
30.
by logicchop 5y ago
"The Sad Truth" is that you have to be a little bit cautious/knowledgable in order to take advantage of a potential optmization?

More ›