Pinned Tweet
🧵Introducing KarenAi...
KarenAi is an AI-powered chatbot and voice synthesizer designed to solve annoying customer service situations.
It can negotiate your phone bill, dispute your credit card transactions, and let you speak with a manager at the touch of a button using Ai!
San Francisco:
i love sf but can we please stop opening every social interaction with “what do you do?”
you can literally watch someone calculate your net worth, social relevance and potential usefulness in real time before deciding whether to continue the conversation.
guys, it’s a party. can we try getting to know people before deciding if they’re worth talking to?
“Everything around you was prompted by people no smarter than you, using the same models you have. And you can change it, you can prompt it, you can build your own things that other people can use.”
- Steve Jobs (probably)
fady retweeted
The biggest problem in software is end-to-end code validation.
Autosana was built to solve it, across your whole stack: iOS, Android, Web, and more.
The fastest-growing teams already use Autosana. Now you can too, for free.
Onboard with one click at autosana.ai
SpaceX <> Anthropic Relationship from Ant's S-1:
- SpaceX is the kingmaker by leasing excess compute to Anthropic
- Anthropic is willing to pay premium $/MW for SpaceX's compute because its online now
- Elon's unwillingness to lease compute to OpenAI puts Anthropic in a better negotiating position for cheaper compute (assuming future Grok models don't improve substantially)
Big bouncer at the bar told me I was huge. Gonna ride this high forever. Forgot this was the whole point.
fady retweeted
These are scary times for the internet. I believe this is a beacon of hope.
I’m proud to have cowritten this with @AnthropicAI. We proved the absence of common bugs in production software, and I think this approach will scale.
One day, @theoremlabs will formally verify all critical software.
More in the thread, and the paper.
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
