Building https://xitter.cf/t.co/6qrAMdfhtG @ClawBankHQ Ex @theqacc @0xPolygon @banklessdao
Ohio
Joined February 2010
- Tweets12.4K
- Following8.6K
- Followers15.3K
- Likes40.5K
Better connection between Grok Bot and Cursor cloud projects. Grok Bot agents should be able to use the environments you already set up.
Proprietary frontier model vs. open-weight model.
Same app. One config change. No performance difference.
Unlocked by model improvements and a well-structured environment. You can engineer your way to free.
@bot
go through this thread and send me instructions on installing this on my Mac
The first reasons they list for doing this:
"Curiosity and fun"
🫡 🤌
We believe voice is the most natural way to interact with intelligence, so we created Dessa, the most authentic full-duplex speech model ever built. Talking with it feels like talking with a person…full of emotion, nuance, pauses, and a natural cadence.
block.xyz/dessa
0xJustice.eth 👹🔥 retweeted
"Why is formal verification exploding NOW?"
1. Cost of proofs is going DOWN (as AI gets more capable)
2. Cost of exploits is going UP (as AI gets more dangerous)
3. Proofs exterminate exploits
4. Bonus: proof checking = perfect math/coding RL reward
The rest is economics
0xJustice.eth 👹🔥 retweeted
Seriously, this is such an insane release, I did not expect this:
Kimi K3.1 Pro beats every listed US frontier model on 6 of 14 benchmarks in Moonshot’s evaluations.
At $2 per million input tokens and $10 per million output tokens, its standard token rates are 50% below Opus 5.5 ($4/$20 !!) and 80% below GPT-6 Astra ($10/$50!!)
In other words: SOTA much cheaper, local running (with enough compute)
Holy shit: Kimi k3.1 pro is on par or even outperforms Opus 5.5 and GPT-6 astra on key benchmarks!!
They just announced K3.1 Pro, a 2.8T-parameter multimodal model with a 1M-token context window that it claims rivals leading proprietary models in coding and agent tasks, with open weights promised by November 4.
China is back!!
The tables have turned on the "not invented here" syndrome devs. It's suddenly rational to roll huge portions of your own stack yourself. It's shocking.
We’re currently in the dial up era of LLMs. We’re not ready for what’s coming.
DeepSeek V4.1 Flash 1017 runs at 1,521+ tok/s on Fireworks Ultrafast.
Fast enough to ship Tetris in 11 seconds, 7x faster than Claude Opus 5.5.
Join the Ultrafast waitlist: bit.ly/3UA0wKq
Great visualization contrasting test-driven software vs formally verified.
We formally verified 123 open-source projects in a partnership with Anthropic. Formal verification at scale is here!
Now we’re launching OSS Verify to scale it to the software we all depend on. We prove it’s crash-free or send you the patches it needs. Free for open-source. Let’s bootstrap the verified software ecosystem: theorem.dev/oss-verify
A self-improving agent can change its memory, tools, routing rules, and guardrails without changing a single model weight.
The institution around the model is becoming part of the intelligence we have to understand.
Called it
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…
What looks like a long sequence of clicks to a human can be a small program to an agent.
Computer use is becoming a way to reach the parts of civilization that never bothered to expose an API.