11 ms·
C++ Standards Contributor Expelled for 'The Undefined Behavior Question'
- deleted 2y ago[deleted]
- idisagree 2y agohaha, keep getting weirder, tech industry, nothing can save you from the coming regulation, inquiries, arbitration and/or lawsuits and other forms of attack due in part to people becoming rapidly fatigued by this bs where everything is bad faith and nobody can speak freely anymore without being assumed the worst of. this kind of shenanigans overall, the climate of this, has been pervasaive for a decade now, and it's gotten ridiculous. everybody defending this is coping, optics-wise anybody who hears about this in passing is going to think it's absurd/insane/stupid and won't look into it further. another own goal. stuff like this, alongside all the unethical business practices of groups like google, is why the tech industry is gonna be targeted hard by conservatives in the political sphere. you certainly don't do yourself any favors! "t-there has to be more to it, there's no way they're this stupid" no, people don't care, surface impression will be: roll eyes "those fucking woke idiots are up to more idiot woke shit again" dumbarse americans and americanised westerners overall, making a cult/religion out of everything, even "progressives" have become a cult, it's so offputting to anybody outside the sphere who's been alive long enough to know better. this is all predicated on eye for an eye tier nonsense.
- vitaut 2y agoMore context: https://www.reddit.com/r/cpp/comments/1h0ximn/comment/lz7j2rx/ https://www.reddit.com/r/cpp/comments/1h0ximn/comment/lz7j2r...
- gatorized 2y ago[flagged]
- icohen2000 2y agoNow I know the real reason professors don't release solutions for the final. What would they title the doc?
- deleted 2y ago[deleted]
- bun_terminator 2y agoand r/cpp mods just woke up, banning everyone who question (am I still allowed to use that word?) this lunatic behavior. For context: A week ago, someone out for blood put out a slander article referencing this amongst other things. edit: After going on a banning spree, foonathan nuked the thread with "I am not going to deal with this on a Sunday". Nice
- foonathan 2y agoHey, u/ss99ww. We did not go on a banning spree, we banned only one person, you. After removing the comment we're you insulted someone, I checked your history, noticed that you did not meaningfully participate in r/cpp outside this thread, and decided to remove someone from the community who'd only be there to cause trouble. (And for the record, we barely removed any comments, just the ones that directly insulted people.)
- gatorized 2y ago[flagged]
- bun_terminator 2y agoI participated for r/cpp for a very large number of years, including quite a number of high-impact posts - just not with that account. And would you be so kind to actually link to the comment you banned me for? This is it, for everyone to see and judge: https://www.reddit.com/r/cpp/comments/1gyiwwc/c_standards_contributor_expelled_for_the/lyp8b9a/ https://www.reddit.com/r/cpp/comments/1gyiwwc/c_standards_co...
- foonathan 2y ago> I participated for r/cpp for a very large number of years, including quite a number of high-impact posts - just not with that account. Interesting that you did not choose to voice your opinions using your main accounts on that community then. > And would you be so kind to actually link to the comment you banned me for? This is it, for everyone to see and judge: Nah, that was just the comment I used to get to your profile. I banned you for insulting someone.
- fithisux 2y agoParanoia
- gjvc 2y ago[flagged]
- sqeaky 2y ago[flagged]
- knorker 2y ago> jump into wild nonsense conspiracy theory or extreme bigotry. Did they? The commenter was referring to "Simple Sabotage Field Manual", by the CIA. It's a very commonly cited list of actions to take, or that someone would take, to impede the effectiveness of an organization. The commenter was not saying "CIA did it, and birds aren't real".
- sqeaky 2y agoYeah appealing to that book is literally conspiracy nonsense when you're talking about a group of engineers trying to do good engineering. That appeal fundamentally means that there are people trying to actively sabotage a thing, that by itself is a conspiracy theory particularly when you consider that much of the standards committee has been doing standardization work for ages, and all of them are experienced engineers focused on engineering. Prima facie claiming that people who are joining an optional group that puts out optional rules that companies can opt into implementing for the sake of sabotaging something in such an esoteric way is complete conspiracy nonsense. Edit - LOL, step one of my conspiracy and get a PhD and work at a company for 10 years using a programming language so I can get someone kicked off an optional committee! Brilliant plan, no notes!!!
- gatorized 2y ago[flagged]
- CRConrad 2y ago> Yeah appealing to that book is literally conspiracy nonsense when you're talking about a group of engineers trying to do good engineering. How is yelling "HOOBY, antisemitism!" about a perfectly innocuous title "trying to do good engineering"? > That appeal fundamentally means that there are people trying to actively sabotage a thing Well, if they aren't trying to, they're doing a damn fine unintentional job of it.
- neerd 2y agoThere has to be extra context here. There is no way we’re getting the full picture. If it really is just as simple as including “question” in the title of a paper then there is some serious mismanagement occurring.
- taylorius 2y agoThose were my thoughts exactly - though it is 2024, and I have a sinking feeling it could be just as the article states.
- sqeaky 2y agoThe article clearly has gaps simply by not being an hour long read on the Atlantic, one obvious gap is that it doesn't seem to have a statement from the person removed after they were removed.
- foonathan 2y ago> one obvious gap is that it doesn't seem to have a statement from the person removed after they were removed. I think the article is written by the person that was removed. It is lacking any statement of the standard foundation who removed him. No such statement exists, even on the internal committee mailing list it is just an "fyi, that person is no longer on the committee" without any reasons. I can piece something together from his previous behavior on the committee mailing list, but that information is not public and I'm not at liberty to share.
- sqeaky 2y agoThat is entirely possible. We simply lack corroborating sources at the moment so we can't jump to any sort of conclusion. As far as I am concerned this whole thing might not have happened until I see another couple of sources.
- readthenotes1 2y agoAnother comment pointed us to https://www.reddit.com/r/programming/comments/1gynl1v/comment/lyq647s/ https://www.reddit.com/r/programming/comments/1gynl1v/commen...
- dfhgfhgfhgfhjk 2y agoMadness.
- IYasha 2y ago[flagged]
- _zagj 2y agoWhile the title could indeed be a reference to the 4chan "The xxx question" meme (e.g., "The femboy question"), which is derived from "The Jewish question," it's not clear if that was the author's actual intention, and even if it was, most uses of the meme (see the femboy example) are not facially antisemitic and at worst are just examples of edgelord humor. It looks like C++ is finally succumbing to entryism, meaning it will no longer serve as a sane alternative to Rust.
- dvfjsdhgfv 2y agoIt is literally the first time I heard the "femboy question" phrase. You can literally insert any noun here and have the phrase used already. Whatever, a "bear" let's say: https://www.ywcamv.org/blog-newsroom/blog/2023/12/13/ywca-mv-opinion-the-bear-question https://www.ywcamv.org/blog-newsroom/blog/2023/12/13/ywca-mv... (And this is from a reputable organization, not an individual.) The fact that people associate such unrelated phrases with one another on the basis of their grammatical similarity just speaks of them, not of the author.
- voxgen 2y ago> it's not clear if that was the author's actual intention The paper[1] doesn't appear to have any other connections to the book/response/memes. A clear distinction is that the UB paper very directly and prominently states the question, rather than cloaking it in allusion or having a lengthy preface trying to contextualize it. [1] https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3403r0.pdf https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p34...
- Bancakes 2y agoISO considered harmful.
- seanhunter 2y agoThis slashdot article has a big gap in it 1. Person publishes a thing with a title including the word “Question” 2. People say this title has some resonance to do with the Nazi genocide and ask him to change it 3. He refuses to change it 5. He gets expelled from the committee You see the missing piece? Unlike the title, the body text doesn’t say he was expelled for the title or even for refusing to change it. It says he refused to change the title and then later was expelled. I could see a hypothetical situation in which he was totally in the right to refuse to change the title but acted like such a jerk in the ensuing debate that they fired him from the committee. We just don’t know. Imagine I publish a thing, my employer ask me to change the title, I say no, then the next time I go to work I steal all the furniture and they fire me. It would have the same pattern as the facts in the article. Personally it seems very strange to fire him for using the word “Question” (if that’s what they did) but it also seems very strange for him to choose to die on that hill and not change the word if people find it really provocative (if that is what he did). “On the effects of undefined behaviour” seems a much better title than the one he chose for example. So it seems we’re lacking context here.
- gatorized 2y ago[flagged]
- CRConrad 2y agoMaybe nobody can see the missing piece because there isn't one? Your whole scenario requires making up some additional incident. The more economical alternative is to go with the pieces we do have. A old medieval monk I've heard of recommended for that and against your way.
- dvfjsdhgfv 2y agoI'm not sure if you are being serious or not. If the former, there are two problems with the "employer": (1) finding a problem where there is none, (2) firing a person for sticking to the common sense rather that giving in to meaningless accusations.
- kbenson 2y ago
- sqeaky 2y agoThe last few times I've seen technical groups kick someone out over racism, including anti-semitism, they picked one point where the person kept doubling down after a very long history of borderline rule following behavior that was clearly malicious. I would be very surprised to see if this was different. While I agree in principle that we can't allow the word question to be destroyed by hate speech, there are always assholes who ride up to some line to be dicks to someone using whatever the boundaries of the rules are. I want to know what happened here and if that was the case.
- Animats 2y agoSigh. About 20 years ago, I suggested in comp.language.c++ on USENET that the committee's refusal to take memory safety seriously constituted material support of terrorism. That really got some people upset, and the posting was removed from USENET, which is hard to do. Now, of course, C++ is frantically trying to become memory-safe, with heavy pressure from the cybersecurity parts of the US government. Has anybody even read Marx's 1844 essay in recent years? When the USSR went down, the Stanford bookstore had a sale - "All Communism 80% off". The 19th century was "The age of questions"[1], a book subtitled "Or, A First Attempt at an Aggregate History of the Eastern, Social, Woman, American, Jewish, Polish, Bullion, Tuberculosis, and Many Other Questions over the Nineteenth Century, and Beyond". The Schleswig-Holstein question [2] was a border dispute between Denmark and Germany, and was a big deal from about 1806 to WWI. That's probably the most famous of the "questions" because there were several wars over it over a long period. "On the slavery question" is a famous speech by Sen. John Calhoun (D-SC) made in 1850.[3] That's part of the run-up to the American Civil War. (Or the War of Northern Aggression, for those below the Mason-Dixon line.) "On the bullion question" is a famous speech by Sir John Sinclair made in 1811.[4] It's about the gold standard for money. Nobody has a unique claim for "On the (whatever) Question". It's historical, but once widely used, terminology. [1] https://www.degruyter.com/document/doi/10.23943/9781400890217/html https://www.degruyter.com/document/doi/10.23943/978140089021... [2] https://en.wikipedia.org/wiki/Schleswig%E2%80%93Holstein_question https://en.wikipedia.org/wiki/Schleswig%E2%80%93Holstein_que... [3] https://www.milestonedocuments.com/images/content/handouts/John_C_Calhoun_speech_1.pdf https://www.milestonedocuments.com/images/content/handouts/J... [4] https://archive.org/details/sirjohnsinclairs00sinciala/page/n5/mode/2up https://archive.org/details/sirjohnsinclairs00sinciala/page/...
- gatorized 2y ago[flagged]
- readthenotes1 2y agoYou could entitle your post "On the 'On the Question' Question"
- thom 2y agoThis appears to be the source of the backlash: https://izzys.casa/2024/11/on-safe-cxx/ https://izzys.casa/2024/11/on-safe-cxx/
- rep_movsd 2y agoWow - I cant think anyone would spend such a long time on how everyone but themselves is wrong. It started out interesting, but was simply a long rambling text where there seems to be no point
- deleted 2y ago[deleted]
- deleted 2y ago[deleted]
- aaaanto 2y ago[flagged]
- yunohn 2y agoThis is one of the most toxic blogs I’ve ever read - so much swearing, vile hate while criticizing various persons they dislike, rambling incoherence. Wow. And their specific criticisms of the contributor this post is discussing, are very mild but full of personal attacks and expletives?
- IshKebab 2y agoTo save anyone else the time: > Andrew Tomazos submitted P3403, a paper titled “The Undefined Behavior Question” (which HOOBOY man we’re just knocking it out of the fucking park with possible anti-semitic dog whistles today aren’t we?) Riiiight. To be fair apart from that their criticism of Tomasoz seems relatively justifiable, if unnecessarily angry. Tomasoz has said that "almost noone" has ever written anything productive in Rust, which is a stupid thing to say. And he thinks ChatGPT is on par with humans now, which is also pretty obviously untrue. Idiots all round.
- gatorized 2y ago
- dcminter 2y ago...according to alleged victim. Without more independent information or at least the other side's take this is just "aggrieved person is aggrieved" and ragebait.
- kazinator 2y agoThe author of the paper is not competent in the subject matter. A compiler can make assumptions that behavior is well defined, and it can also identify situations where it is confirmed undefined. All of that reasoning happens before runtime. For instance, and unreachable assertion works by invoking undefined behavior. What identified by the function-call-like syntax unreachable(). If we have: S; unreachable(); then, ostensibly, it looks as if statement S is something that happens at run time before the unreachable construct is executed. (S is a simple statement which passes control to whatever follows; it does not hide a go to). And so we could naively argue that undefined behavior cannot travel backward in time. Of course S must successfully execute, and only then can things go haywire due to the undefined behavior of unreachable. But that's not the way it works. The compiler is looking at this before runtime. The compiler is free to assume that behavior is well defined. That's what makes unreachable work: if the program's behavior is well defined, it must be that the unreachable statement is never reached. Which implies that S is never executed. If S is never executed, it can just be deleted. If S and the unreachable statement are deleted, but control ends up there anyway, the program will go haywire. And it will go haywire without producing the effects of S. So in effect undefined behavior has gone backwards into S, so to speak in naive language. Logical reasoning over code while translating it does not follow runtime chronology. It follows chains of inferences.
- CRConrad 2y ago> The author of the paper is not competent in the subject matter. Yeah, sure, quite possible (I have no idea). But then he needs to be kicked out explicitly for not being competent in the subject matter. Because kicking him out (at least ostensibly) for a ridiculous made-up language issue sets the precedent that people can -- should? -- be kicked out for ridiculous made-up language issues. I mmean... Isn't that the point of this whole thing? Which makes your technical qu-- well, sure, perhaps your quite valid technical issues, but in the context of him being kicked out ostensibly for some totally different and definitely invalid "reason", a quibble -- isn't your point then rather irrelevant to the actual point of the discussion?
- uecker 2y agoAs it is based on my C paper, I can comment on this. While the compiler reasons at translation-time the question is whether an operation that UB is allowed to affect previous observable behavior at run-time. We looked at this and came to the conclusions that 1) the wording of the C standard never really allowed this (but the C++ standard did), 2) it is completely useless for worthwhile optimizations, 3) examples where compilers exploited this intentionally turned out to be buggy, 4) it makes UB even more dangerous. So we made sure the C standard clarifies that UB can not travel backwards in in time. I agree the title of the paper is unfortunate. I do not believe the author was intentionally trying to send an antisemitic message, but I do not know him well (I corresponded with him about his other paper)
- steveklabnik 2y agoWhat actually happened: https://www.reddit.com/r/programming/comments/1gynl1v/c_standards_contributor_expelled_for_the/lyq647s/ https://www.reddit.com/r/programming/comments/1gynl1v/c_stan...
- ezoe 2y agoIt's even more hard to believe. So this person is infamous for submitting ChatGPT generated WG papers. Then he was blamed for "question" title, he refuse to change the title, his sponsor cut the tie. I don't know. I'm deeply worrying about brain drain on C++ standard committee. I was a C++ committee member once. They failed to understand the importance of char8_t, thinking char is enough. Then, they depends on locale on std::format. I quit for I lost hope on C++. You can't expel members from SC/WG but this is... what are they doing?
- jart 2y agoYou should know better than to take the word of an anonymous comment and call it fact. Andrew T. (the guy in question) gave this statement on Reddit: https://www.reddit.com/r/programming/comments/1gynl1v/c_standards_contributor_expelled_for_the/lys745p/ https://www.reddit.com/r/programming/comments/1gynl1v/c_stan... The rumors surrounding him appear to have originated from https://izzys.casa/2024/11/on-safe-cxx/ https://izzys.casa/2024/11/on-safe-cxx/ What we know is that he was asked to change the title after people complained, and he pushed back on that, knowing it would result in him being kicked out. He views himself as standing up for his moral principles. He also wants the public attention, since he was the one who posted the story to Reddit on /r/cpp. It honestly makes me sad to watch a guy who went to Stanford and worked at Apple and Google get involved with drama like this.
- seivan 2y ago[dead]
- wakawaka28 2y agoWhy would he not post about his own banishment over such BS? When people feign offense to get their colleagues banned over such innocent words as "question" in the title of a paper, why should anyone bend over and accept such authoritarian influence? Someone has to push back on the tyranny of the crybully. >It honestly makes me sad to watch a guy who went to Stanford and worked at Apple and Google get involved with drama like this. So, these people are indoctrinated to cow in the face of censorship based on insanity. Got it. >The rumors surrounding him appear to have originated from https://izzys.casa/2024/11/on-safe-cxx/ https://izzys.casa/2024/11/on-safe-cxx/ Not a word about the insanity expressed in that blog though, huh? Perhaps that is why the dude is being harassed over basic English words all of a sudden? It seems to me that this Andrew fellow is not the one starting drama, and he's refusing to be bullied by people who are dealing in rumors and inventing new thought crimes to charge him with. I wouldn't wish this level of censorship even on people who hate me.
- deleted 2y ago[deleted]
- josefritzishere 2y agoI feel like I read a book missing chapters in the middle.
- jrochkind1 2y agoThis seems insane. I think there must be part of the story we're not hearing. Not saying I'd agree with it even with the whole story, I don't know, but I am dubious of this being the full story, because in fact communities are not _that_ crazy.
- fche 2y agothis fact may not in fact be a fact