OpenAI, Google, etc. are not using "that strategy". I do believe that people at Anthropic genuinely care about AI safety. That's the main reason the company was founded. But I can imagine that idealism is eroding with new people and money flowing in.

The real question is whether there is a two way link between consciousness and the physical world. Obviously the physical world is observed by consciousness, so that direction checks out. What about the other direction? Is the physical world at all influenced by consciousness? The mindfulness folks seem to argue: no. They argue that consciousness is like a person watching a movie, where the movie is experience. The person is so immersed that it thinks, it controls the movie, but in reality it's a fully passive observer. But this can't be true! Otherwise, the discussion of consciousness could never have come up in human history. A population of "philosophical zombies" could never initiate this discussion. So somehow consciousness must cause physical neurons to activate. The movie knows about the person watching!

Probably for the better. Otherwise it quickly becomes politics all day everyday. There are plenty of other places where you can get that already.

There is still hope for the US. The press is still critical, the opposition is not arrested, the courts are still giving push back, and it's not civil war level violence.

Sounds like we prefer stability for stuff we use but not for stuff we sell.

    If type system says, x has type T, then x has type T

But TypeScript could be sound if you eliminate all these cases. If that's the goal of "SoundMode" then the name sounds fair to me.

Not even sure `.d.ts` files are a problem in this regard. They are like axioms/facts. Resolution (from formal logic) is a sound inference rule but you can still derive contradictions from contradicting facts.

Except innovation. When one sigmoid tapers off we keep finding new ones to keep the climb going.

   x => a

   λx. a 

   f <- a

   f a