Roe Gone

I have been. Women will have trouble getting treated in many states for anything because they can potentially be pregnant. It happened pre-Roe and will happen now too.

Crush

The fascists really are gearing up. They’ve been prepping for 50 years and think now is their moment. They may well be right.

Lifetime

I told people in fucking high school — high school! — that Roe would go down in my lifetime. No one listened. And now here we are. I ain’t dead.

Auto

Exactly right. He won’t ever respect you if he doesn’t grant you basic bodily autonomy. Leave that sucker; abuser in training.

If Life Gives You Liminal

One of the few people who understands what is about to happen, and the broad outlines of what will occur (and why/how).

Now, this will be in the “never happen” category. Soon, it will be “obvious.”

Decidable

“In this section, we prove one of the most philosophically important theorems of the theory of computation: There is a specific problem that is algorithmically unsolvable. Computers appear to be so powerful that you may believe that all problems will eventually yield to them. The theorem presented here demonstrates that computers are limited in a fundamental way.

What sorts of problems are unsolvable by computer? Are they esoteric, dwelling only in the minds of theoreticians? No! Even some ordinary problems that people want to solve turn out to be computationally unsolvable.

In one type of unsolvable problem, you are given a computer program and a precise specification of what that program is supposed to do (e.g., sort a list of numbers). You need to verify that the program performs as specified (i.e., that it is correct). Because both the program and the specification are mathematically precise objects, you hope to automate the process of verification by feeding these objects into a suitably programmed computer. However, you will be disappointed. The general problem of software verification is not solvable by computer.”

โ€“Introduction to the Theory of Computation. 3e, by Michael Sipser