sarker
competency crisis actor
Suddenly I cannot remember the color of your eyes
Or the things we said as we stood together for the last time
User ID: 636
sarker
competency crisis actor
5hr ago
The "rule" is that the first person pronoun always comes last. Of course, nobody follows this and it doesn't matter, and apparently now even self described pedants aren't aware of it.
I think the real question is - why are you shopping for phones irl?
sarker
competency crisis actor
8hr ago
sarker
competency crisis actor
17hr ago
And what about the short story that's half copied verbatim out of a book?
sarker
competency crisis actor
1d ago
It could be, but then you'd expect to see that in other languages too. And I don't really think you do. Perhaps Arday is the closest example, but he didn't win an award for his writing per se, and AFAIK he only plagiarized certain passages rather than entire works.
sarker
competency crisis actor
1d ago
A recent development of the story may put holes in this defense however, as another X user has discovered that an older award winning novella of Orélien's, Où va le monde, was entirely plagiarized from a 1960s text of Louis Pauwels.
I was bewildered by this. How is it that it could be entirely plagiarized from a work from the 1960s, even if that work is by a writer on the more obscure side? He's notable enough to have an English Wikipedia entry, surely someone should have noticed something in the 14 years since Orelien's novella was published? Well, it's really just the tip of the iceberg:
Several of Orélien's other works were subsequently [after AI allegations] investigated. According to Radio-Canada's Décrypteurs team, about half of his short story "Où va le monde", which was awarded Radio-Canada's Prix du public in 2012, was plagiarized from The Morning of the Magicians, a book written by Louis Pauwels and Jacques Bergier, and published in 1960. The opening lines are identical to that of the 1960 book, but the last two words were removed.[20] According to Le Point, Orélien's opening lines also clumsily copied the original's "débonder une source" as "déborder une source", and elsewhere in the story he copied many sentences verbatim.[21] Radio-Canada also found at least five journalistic pieces by Orélien that were published by Canadian and French media in 2012 and 2013 and which it determined had been partly copied from texts by other writers. Orélien's 2012 opinion piece "Ne mettons pas nos héros sur un piédestal", published in La Presse, was found to have plagiarized a piece published five days earlier in The Philippine Star. This was acknowledged by La Presse, which has now tagged the article saying, "Since the publication of this text, we have learned that its author committed plagiarism." Orélien's 2013 piece "Barack Obama aurait pu être Trayvon Martin il y a trois décennies", published on the blog of France's RFI, included a word-for-word translation from Portuguese to French of at least four paragraphs of "Matin, Obama" by Gilberto Rodrigues, which was published by Pressenza [it] days earlier. His 2013 piece "Le prochain pape devrait être plus jeune", also for RFI, features verbatim almost half of an editorial published in India's The Hindu two days earlier. Additionally, in 2013, his piece "Sommes-nous aussi libres que nous le pensons?", also for RFI, borrowed phrases and paragraphs from "The Problem of Free Will" by Pablo Saborío, published in 2008 on Saborío's personal blog Beyond Language.[20]
I don't even know what to say. Has there ever been a prominent English language author who got away with this much naked plagiarism for this long? Do you guys not have turnitin dot com or something?
sarker
competency crisis actor
5d ago
I don't know for sure. Until 2015 the creed of the "Children of the Confederacy of the United Daughters of the Confederacy" stated that the war was not fought to sustain slavery, which means you can identify with the CSA without advocating for slavery.
sarker
competency crisis actor
5d ago
I think the more interesting question is: the North won the war and you play as Andrew Johnson. What do you do so that 130 years later people no longer identify with the cause of the South?
sarker
competency crisis actor
11d ago
things like sin and its consequences
What exactly are the consequences? We've had this discussion before and you never really made it clear. I see people succeeding all the time despite sinning, and I see the virtuous suffer. The only time I see sin consistently punished in this life is when the sin is against someone who can strike back or has a patron who can. Otherwise, sin away - perhaps you'll pay up in the world to come, but I see no evidence that you will in this life. Why is that wrong?
sarker
competency crisis actor
11d ago
I only buy bargain basement home depot brand tape dispensers and never have this problem. Are you storing them in the sun or something?
sarker
competency crisis actor
12d ago
He establishes a proposed mathematical framework that determines whether to donate now or later
What he actually says:
However, because this framework is purely qualitative you shouldn't put much weight on the total scores
Reading through his own definitions above, he sets it up so that it's almost always beneficial to give later.
Not really - he lays out seven categories of considerations which he suggests qualitatively scoring from 1 to 7 and summing the scores. If the scores add up to less than 24, the considerations lean in favor of giving now.
Take the "Values" section. He explicitly state that values are unlikely to change over time.
What he actually says:
The potential for one's values to change over time is similarly important... the potential discrepancy in the amount of money one can donate over time is small compared to the possibility that you will rationally change your moral views.
He is in fact saying that the impact of changing values is bigger than the impact of donating now or later.
You've also dodged the fact that the guy is donating all his income past $32k. Hard to accuse him of cynically withholding donations until the future.
sarker
competency crisis actor
13d ago
Please note, lack of essential fats - rabbit starvation - is literally the fastest-killing form of malnutrition; if you were to eat a truly fat-free diet, you'd be incapacitated in a week and dead in three.
Huh? Is anyone in the USA at risk of rabbit nutrition, no matter how much nonfat milk they drink?
sarker
competency crisis actor
13d ago
Has "mowing the lawn" proven an effective strategy for Israel?
sarker
competency crisis actor
14d ago
I hate to over-explain, but the luna/terra/sol name ladder is not in order of how easy it is to grasp.
sarker
competency crisis actor
14d ago
2019–2025: The PUC opens a new investigation of the tunnel, which has fallen into disrepair. It finds that the company cannot weasel out of responsibility just because it sold the tunnel (without govt. permission) back in 2002. It assigns to the company 2.8 M$ of repair costs, as well as future maintenance costs.
Why does it matter if a disused tunnel is in disrepair?
This fogey has been letting perfectly good land sit overgrown, 900 miles away from him, for literally 40 years without either building something on it or selling it
How much do you think the land is worth?
sarker
competency crisis actor
14d ago
Sorry, but Astra isn't a good name. It just means "star". We've got Sol already.
Of course the longer the chain the more complicated it gets. But you don't need to go that far
Steps 1 and 2 are hilariously brittle. Step 3 needs to be done to all compilers and it needs to propagate itself into every compiler that the compilers build, otherwise it's a simple matter of fixing the compiler bug or compiling Lean with another compiler. Step 5 runs the risk of proving an obviously false theorem at which point the jig is up.
On top of all this, your op gets blown if someone just bootstraps GCC starting with a compiler simple enough to manually verify the binary of.
Doesn't matter, we know for a fact they did it at the research level for DUAL_EC_DRBG and DES.
Getting people to use an inherently insecure algorithm doesn't run the risk of infecting your own tooling with the bug. The NSA would also like to be able to formally verify proofs.
sarker
competency crisis actor
16d ago
Wow, you're giving some space to the checks notes seven foot tall 324 pound guy? Can you give me some tips on your methods of physiognomick deduction?
sarker
competency crisis actor
16d ago
I guess xz is not a true scotsman, is XCodeGhost a true scotsman?
Closer, but it's both missing the viral nature of the KTH and also it's coarse - it simply tacks on some libraries. Creating a compiler bug that corrupts every compiler it compiles in the same way and corrupts Lean in a particular way in a way that's robust to refactorings of Lean and every other compiler basically requires you to have AGI in the compiler.
So your answer to the criticism that the attack surface is large is to make it even larger?
Adding monitoring doesn't increase the attack surface.
Compiler trojans don't live in source
They must be in source at some point, that's the whole point of the KTH. You introduce a bug that transmits itself to every compiler that is built, and then you can fix the bug because it will be inserted if it's built by a compromised compiler. But it must be in the source code to begin with.
that they wouldn't compromise formal proof systems if that gave them a better chance of achieving those goals?
Compromising implementations is just better. You don't run the risk of infecting your toolchain with your exploit. Nobody asks questions about why you don't use the same algorithms as everyone else. It's also eminently practical, unlike introducing a viral compiler bug that only acts up when you try to validate a crypto proof with lean.
Well, what is it?
More options
Context Copy link