trealira

20 ms·

241.
by trealira 2y ago
Archaic English bears other similarities to other modern European languages. For example, the verb "like" used to be similar to the Spanish verb "gustar" in that the person that's pleased is the grammatical object a
242.
by trealira 2y ago
> And on a societal level it's an interesting philosophical question, but waiting around and hoping that something external comes along to magically fix the problem that you're experiencing personally isn't a plan for succ
243.
by trealira 2y ago
Okay, now I realize you were just trolling me. That's why you aren't specifying.
244.
by trealira 2y ago
> uncontroversial and commonly understood Among whom? In what country would their policies be center right?
245.
by trealira 2y ago
I really don't think they'd be regarded as center right anywhere in the world. People said that the Democratic Party was centrist during Obama's years, during which period many Democratic senators were closer to Joe Manchin t
246.
by trealira 2y ago
Yeah, I agree with you. He's not super focused on policy, and he likely skimmed Project 2025, or never read it himself. But like you said, he'll still pick many people who worked on it or who will follow it while serving as part o
247.
by trealira 2y ago
In April 2022, at a dinner with the Heritage foundation, he said that the Heritage foundation was going to "lay the groundwork for what our movement will do." https://x.com/VaughnHillyard/status/181140288
248.
by trealira 2y ago
I think he's experiencing a rapid decline in his health, possibly due to COVID. He had been recorded riding his bike this June [0]. This is anecdotal, but it reminds me of my grandfather before he died. He had always been able to run o
249.
by trealira 2y ago
If you want to prove that an array is never indexed out of bounds in some procedure for an embedded program, you can use Ada with SPARK or use Frama-C to prove it. As far as I know, Rust has no equivalent. Otherwise, like duped said, using
250.
by trealira 2y ago
In its own words, this paper calls for: - an addition to the critical infrastructure information technology sector, - a cloud computing tax to fund critical U.S. cyber defense - U.S.-sponsored governance for emerging cybersecurity solutions
251.
by trealira 2y ago
In every state, it's illegal to sell or supply alcohol to minors, and it's illegal to drive without a license, which can't be accessed by teenagers younger than 16. It seems analogous to require age verification for porn.
252.
by trealira 2y ago
I'm not that person, but the Pew Research Center says that, in 1994, 57% of Democratic voters were white non-college graduates, while in 2019, it was 30%. For Republicans, 68% of their voters were white non-college graduates in 1994, a
253.
by trealira 2y ago
Thanks!
254.
by trealira 2y ago
This comment also breaks HN guidelines: "If you flag, please don't also comment that you did."
255.
by trealira 2y ago
The fact that, in Go, you can have pointers to pointers, and reassign pointer variables like any other, would imply, IMO, that pointers are first-class values, and so they are true pointers, even without being able to pointer arithmetic wi
256.
by trealira 2y ago
Why do you think the word "loss" implies they think non-Americans aren't human?
257.
by trealira 2y ago
For one, that was a campaign email, so it's one example. You're going to take this position, whatever. But nothing said about Trump has been false. Democratic leaders shouldn't be apologizing for anything, but I'm sure t
258.
by trealira 2y ago
> Political polarization is primarily derived from the democrat side. You're really going to say that, while Trump sends out campaign emails like this? > BIDEN'S DAY OF RECKONING IS COMING > He tried to publicly torture a
259.
by trealira 2y ago
Sorry, what movie is this? I don't watch many movies.
260.
by trealira 2y ago
If he isn't careful, people will begin to accuse him of bias, just like the owners of Reddit or Twitter. > Dang has to override popular opinion to keep articles like this alive. Per my observation, he's willing to contingent on
261.
by trealira 2y ago
FYI, I'm not who flagged you. You can look at my profile; the vast majority of my posts up until this post have never been about my politics; but seeing political arguments being made on a political post, I'm not going to hide wha
262.
by trealira 2y ago
> Trump's rhetoric is justified. Especially when it's taken out of context. Especially? You're saying that the worst interpretations are actually justified? > Gloves are about to come off. For our own protection It seem
263.
by trealira 2y ago
I suppose you aren't among those people who would go back in time to kill Hitler before he becomes dictator, then.
264.
by trealira 2y ago
The answer should then be to get a better judgement of who is likely to become dictator, not to say "wait until they become dictator first." Like, if you really think they're going to be dictator, it would be best to stop the
265.
by trealira 2y ago
Yes, if you're scared of somebody becoming a dictator, obviously you should wait until they actually become a dictator before trying to kill them, or else you're being like the government from Orwell's book 1984. That's
266.
by trealira 2y ago
That's not true; there was a great deal of planning by the Proud Boys and the Oath Keepers. https://en.wikipedia.org/wiki/Planning_of_the_January_6_Unit...
267.
by trealira 2y ago
Well, it's a battle for control over the courts, for control over the administrative state, for control over the school systems, for control over the election systems. This is why judge appointments got so strained in the last 15 years
268.
by trealira 2y ago
> They italicize paramorphism in the abstract. We all very well know that italics means novel usage. Or, they're writing for an audience that isn't necessarily familiar with paramorphisms and other morphisms, but still is famil
269.
by trealira 2y ago
> I literally linked that paper. You did; I overlooked that. I don't know why you're implying the authors invented the term and made up the combinator just now, then. > Cool they don't do that. Their program is basicall
270.
by trealira 2y ago
They didn't coin the term paramorphism. Lambert Marteens did in 1992 [0]. It's an extension of the concept of catamorphisms. These terms were invented by people knowledgeable about category theory [1]. I also disagree with the not

More ›