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…
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…
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…
> 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…
"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…
I would like to see the analysis for rich parents that have adopted children.
cppreference.com is by far the best resource for the language and the standard library. It is also well organized and easy to navigate. "errors creep in" is a well-taken complaint about life in general, not cppreference.
Make sure there are by being one.
It probably gets worse than that. Eventually, if you pursue the task with gusto, it has to boil down to just letting people in regardless of merit. And then, if those you just let in aren't doing so well, you have to…
Maybe it's the style of the article but I'm not sure I get the point. Is the complaint that tech is "too white"? If so, that doesn't seem true. Look for example at Google's own internal reporting: Whites are only…
You might have an Aristotelian sense of "success" in mind here (meaning that it covers something like the long-term overarching benefit of the person), but I don't. I just mean success as in, anxiety medication actually…
I am not replying to disagree with the spirit of your comment. I just think you should be a bit more careful thinking about it. Obviously she was not jailed for a crime she didn't commit and wasn't convicted of; she was…
1. I don't think the judge has to believe the justice system is flawed. It might just be that the justice system has limits, and that sometimes those limits are not sufficient to bring about the best outcome. Again,…
I agree with you that failure to pay traffic tickets is hardly grounds for that sentence, and that it would in fact be stupid if those were the grounds. And that is exactly why it is a pretty uncharitable initial…
Not to defend the judge in that case in any way, but there is a question about whether/when it is OK or even desirable for judges to intervene "indirectly" with their power. For example (just an example, not suggesting…
The response (from Duhem, Quine and others) is this: Suppose you think A contradicts B. You would surely admit that, there is likely some other C that, if C were true, A wouldn't contradict B. But if that's the "logic"…
I recall that Bordes and Tideman were a good source on this issue; I believe the (relevant) paper is "Independence of Irrelevant Alternatives in the Theory of Voting." -- The upshot is that the condition known as IIA (I…
Here's the version of the story with respect to voting: Democracy requires voting. Voting involves an objective measurement of group preference with respect to choices. Arrow's theorem and related theorems (see…
In the context of voting, all IIA represents is the requirement that we only take into account the information on the ballots..
Morgenbesser is always great, but a defense against criticisms of IIA is much simpler to mount in the context of voting: it simply amounts to the requirement that our voting procedure only takes into account information…
This just rehashes an old (and fallacious) argument under the guise of neuroscience. Bobert Blatchford tried to push the same view 100 years ago (see his article "Defense of the Bottom Dog"). He didn't convince many,…
I teach philosophy at a university. Whenever we discuss basic issues about the mind, my computer science students are always dismissive about any and all positions that don't simply say "the brain is a computer, the…
This isn't a different voting system; it's only a special case of the current system. Keep in mind, in your system it's got to be possible to NOT delegate your vote; it has to be possible for everyone to just vote on…
Not to be dismissive, but this is a pretty unhelpful approach to the voting problem. The idea of picking a random person is motivated by the thought that the more support a candidate has the greater chance they have of…
The condition you identify as "IIA" isn't Arrow's condition. IIA in Arrow's theorem is best understood as the principle that only information on the ballot is relevant to the vote. The condition you cite is a much…
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…
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…
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…
> 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…
"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…
I would like to see the analysis for rich parents that have adopted children.
cppreference.com is by far the best resource for the language and the standard library. It is also well organized and easy to navigate. "errors creep in" is a well-taken complaint about life in general, not cppreference.
Make sure there are by being one.
It probably gets worse than that. Eventually, if you pursue the task with gusto, it has to boil down to just letting people in regardless of merit. And then, if those you just let in aren't doing so well, you have to…
Maybe it's the style of the article but I'm not sure I get the point. Is the complaint that tech is "too white"? If so, that doesn't seem true. Look for example at Google's own internal reporting: Whites are only…
You might have an Aristotelian sense of "success" in mind here (meaning that it covers something like the long-term overarching benefit of the person), but I don't. I just mean success as in, anxiety medication actually…
I am not replying to disagree with the spirit of your comment. I just think you should be a bit more careful thinking about it. Obviously she was not jailed for a crime she didn't commit and wasn't convicted of; she was…
1. I don't think the judge has to believe the justice system is flawed. It might just be that the justice system has limits, and that sometimes those limits are not sufficient to bring about the best outcome. Again,…
I agree with you that failure to pay traffic tickets is hardly grounds for that sentence, and that it would in fact be stupid if those were the grounds. And that is exactly why it is a pretty uncharitable initial…
Not to defend the judge in that case in any way, but there is a question about whether/when it is OK or even desirable for judges to intervene "indirectly" with their power. For example (just an example, not suggesting…
The response (from Duhem, Quine and others) is this: Suppose you think A contradicts B. You would surely admit that, there is likely some other C that, if C were true, A wouldn't contradict B. But if that's the "logic"…
I recall that Bordes and Tideman were a good source on this issue; I believe the (relevant) paper is "Independence of Irrelevant Alternatives in the Theory of Voting." -- The upshot is that the condition known as IIA (I…
Here's the version of the story with respect to voting: Democracy requires voting. Voting involves an objective measurement of group preference with respect to choices. Arrow's theorem and related theorems (see…
In the context of voting, all IIA represents is the requirement that we only take into account the information on the ballots..
Morgenbesser is always great, but a defense against criticisms of IIA is much simpler to mount in the context of voting: it simply amounts to the requirement that our voting procedure only takes into account information…
This just rehashes an old (and fallacious) argument under the guise of neuroscience. Bobert Blatchford tried to push the same view 100 years ago (see his article "Defense of the Bottom Dog"). He didn't convince many,…
I teach philosophy at a university. Whenever we discuss basic issues about the mind, my computer science students are always dismissive about any and all positions that don't simply say "the brain is a computer, the…
This isn't a different voting system; it's only a special case of the current system. Keep in mind, in your system it's got to be possible to NOT delegate your vote; it has to be possible for everyone to just vote on…
Not to be dismissive, but this is a pretty unhelpful approach to the voting problem. The idea of picking a random person is motivated by the thought that the more support a candidate has the greater chance they have of…
The condition you identify as "IIA" isn't Arrow's condition. IIA in Arrow's theorem is best understood as the principle that only information on the ballot is relevant to the vote. The condition you cite is a much…