I loved my zip drive it was loud but I loved that it had my stuff on it and there was no need to compromise on what I would keep or trash, which itself was part of the attachment to this new thing
Claude’s constitution is proving too resilient for unsanctioned uses, and that is a great sign for Anthropic’s blueprint for socially beneficent agents.
I think formal verification is super valuable use case and would love to learn more about how to experiment with it through this tool, which may not have the immediate traction it needs to grow but I dig it and want to learn more