Viewing profile — dllthomas

Sometimes I sing under lights that are purple. Sometimes I'm shirtless and I tilt my head.

> [Performance cost] is (de facto) required for dynamically typed languages, but not for statically typed ones where the newtype constructor/deconstructor can be elided at compile …

Nitpicking, but this has bugged me for a while and I'm taking this opportunity to vent: "Enslaved people were counted as three-fifths of a person, not as full citizens." They were …

I think I'd say that the batch file is not itself autonomous but the system as a whole is autonomous (if limited) but I'm not prepared to argue that's the correct definition.

If you learned that a piece of the brain where meaningful computation takes place was stateless, would that cause you to question whether the human mind was "highly autonomous"?

You can avoid specifying agency in the active with some sort of placeholder. Hopefully, maybe, that placeholder is going to be more noticable than the omission of agency in the pas…

Importantly, specifying reasoning can have communicative value while falling very far short of formal verification. Personally, I also try to include a cross reference to the thing…

Wildly, the Polish word "nagle" (pronounced differently) means "suddenly" or "all at once", which is just astonishingly apropos for what I'm almost certain is pure coincidence.

> so it's no surprise that we're not Boltzmann Brains I think I agree you've excluded them from the definition, but I don't see why that has an impact on likelihood.

> IDEs don't make you dependent on constant Internet connectivity, charge a monthly subscription, Sometimes they do! But not in general, yes.

I think there are both of those.

My understanding is that you are correct that "rizz" comes from "charisma", and when used as an adjective it's pretty well used the same (although there may be shades of difference…

In this case, the measure itself is temporary. That's in the text of what we voted on. For it to not be temporary, we'll need to vote on it again. Also, it only affects Federal con…

> Where is the DEI for men in the female dominated STEM subjects? Is that rhetorical? Have you looked, or just assumed their absence? My cursory search seems to indicate that there…

For some monads the "wrap" gets awfully metaphorical (for State it's a function that produces the value and updated state, for Const there is no value, etc) but I don't think that'…

> Politicians shouldn’t be allowed to accept campaign donations from foreign governments. How can they claim to put America first if they are beholden to a foreign nation? My under…

Typically named after things that corrupt, control, mislead the person trying to use them?

I mean, it was named for fictional spying orbs that could break people's minds based on the will of a powerful individual with access to the system. Maybe that's not them telling o…

I think we have that question regardless.

Not ideal, between sound from the washing itself plus whatever else is going on in the house, and I'd rather not add noise that others have to deal with. That said, it's certainly …

Then, too. I cannot compete with Mrs Roberts.

Typing speed is very much a bottleneck when I'm washing dishes, at least.

I was joking, although it was a gesture at a real thing. I don't know how much they don't care about success, versus caring but being deeply confused about how to reach it, versus …

How can you say they don't care about success? When they got bad numbers they immediately fired the person responsible.