Dave Strock

Isn't it against senate rules for a senator to insult another sitting senator?

Seems like anyone asking a senator about another senator should note this.

How else you gonna let that unprofitable Venezuelan oil profitable?

In my U.S. Civil Rights Movements class, we spend a lot of time thinking about historical memory. When movements get reduced to a few iconic leaders, the collective labor that made change possible disappears from view. It also obscures an important lesson: collective action is effective & difficult.

Shocking that letting venture capital take over an industry pushed out the ones that were there for the tech instead of for the money.

No one could have seen it coming.

You're asking why a "warning" from the people pushing a slightly less bad version of the same policies, while cozying up to their previous opponents who'd put in place those policies, while abandoning entire groups and offering tiny positive nuggets, wasn't "listened to"?

No one will ever know 🙄

Serge Zaka: Over the past ten years, the pace of warming has reached about 0.35°C per decade, compared to about 0.2°C per decade between 1970 and 2015. The corrected data show that an acceleration in climate warming is now detectable since 2015, with a statistical certainty greater than 98%.

lol the thing that uncritically parrots what it finds on the web is "showing signs of anxiety"

You don't say.

The majority of properties they pulled from were cautionary tales. Not surprising, but keeps the streak of media illiteracy alive.

Even if you accept their framing, an echo chamber of my own making seems significantly better than one made by some billionaire.

I really think these accusations are just psychological projection. They have a hard time seeing outside their bubble so they assume the same of others.

Like, it's just not hard to see what the mainstream/centrists/right-wing think. We can literally predict it before they say it.

bsky.app/profile/leop...

baudrillard and virilio talked like they were insane in part bc the world that was coming was insane

The Pro-Human AI Declaration The Pro-Human AI Declaration

Hey all, sorry to say this, as I think I have well-intentioned friends who signed, but this "declaration" means nothing. Because Steve Bannon signed it, and he wants my family dead. So if you can sign along side him? At best, you got played. He's the "humanity in control". humanstatement.org

This doofus has no idea that the constitution vests power to declare war in congress precisely because that means the power is indirectly vested in the 340 million citizens, who are the ones who pay for and die in those wars.

"Is a Nazi antisemite" is a strawman.

I'm sure it's been said, but most people being dumped into the bucket with this label are really just pointing out the long history of bad judgment and ability to ignore things that shouldn't be ignorable.

They're trying to avoid a Fetterman 2.

WI was literally the proving ground for the game plan they used nationally.

Koch's spent crazy money to buy the R party, they killed off union opposition and gerrymandered so that Ds could only win a majority of seats by winning 75%+ of the state.

I do think that if you had an perfect test suite, like how Claude just used gcc's tests to develop an ok compiler, something like this might be plausible but the cost to develop such a suite would be the same or higher than to develop to an average level app & tests today.

I'm sure there are people pushing this idea, but I haven't seen any that truly have the courage of their convictions.

The history of "full app rewrites" is mostly a history of failure and goalpost moving, but it's an attractive idea, in a sci-fi kinda way.

The funny thing is that this could actually be a pro-AI argument if you could first solve the "know what you want" part.

If we really trusted the ability of AI code generation, we could just write everything from scratch every change, similar to how a compiler doesn't edit the previous artifacts.

Yeah, I keep saying "more is not better".

The core problem has never been "we need to write the code faster". Once the need is truly understood, most code is pretty quick to develop.

We spend way more time trying to dig ourselves out of previously developed code than writing new code.

Yeah, I agree. I'm mostly referring to the downsides, but that's a great point that it became so embedded in our society because it *actually* incredibly useful in multiple ways that don't have trivial replacements.

I didn't think it was possible to have a lower opinion of that dipshit.

"The success of operation epic fury is that 6 US service members have died so far"

It's sarcasm. I'm explaining the sarcasm.

Really? I didn't understand that.

Seriously guys. This is so silly.

Yes I read the whole thing and understand that they use the concept of baking proofing as a pointer toward mathematical proofs.

That's not the point being made, which is the inherent lay confusion of doing so, which is evidenced by this thread 🙄

Oh, so that means the thing I was actually talking about is also referencing mathematical proofs?

This is my point. Conflating unrelated things is the opposite of useful when it comes to proving things.

This is a tiny and somewhat silly point, but I think it emblematic of the issue at hand.

But have you... listened to him? No one on Bluesky has 🙄

As if "I like Mills too" isn't disqualifying.

These guys are so oblivious of the cover they enjoy by the horribleness of the Republicans.

No, I read it and know they are not.

1stproof.org

That article definitely doesn't say "No". Did you read it?

Compilers can definitely be deterministic, the question is what level of determinism is required.

In adding to CS and Eng, there is a "safety" answer, which is in-between and insists on strong guardrails.