Founder at FirePress: we host websites + memberships + payments + mailing list thanks to Ghost. 🤖 CiCD everything. ☁️ Internet's opinion isn't my own.
Montréal, Canada
Joined March 2009
- Tweets7.2K
- Following327
- Followers701
- Likes4.8K
Been chewing on this, and I think @poteto nailed it.
Formal verification lives in pillar #2. On one end, verification loop checks. On the other, formal verification checks every possible inputs.
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…
No mcp needed. Use t3-cli !
I made a Grok @bot that can drive @t3codes for me via the MCP server. It starts threads, monitors status and can ping you for answers to questions.
Bot template: x.ai/bot/_5NG_WsrOdQs2jtUhZe…
Great way to get access to more models using your other subscriptions. But help centralize work in T3Code which is great if you already use it.
So meanwhile, as I'm writing this, the EPIC 1 was shipped. And here's a good example of parallel work in the SDLC.
The Head Chef shows that one epic out of six is shipped.
The Chef caring for EPIC 2 is saying that zero out of two PRs are shipped.
At the bottom, you can see that there are two Cooks working in parallel.
and yeah .. can't get enough of this sunny side up eggs emoji 🤗
Then the head chef creates one or many chefs. Usually, when we have many chefs, it's because we can do some work in parallel.
The Brigade mode is where all the magic and the control plane is taking over. We have three roles in the brigade. The first role is the Head Chef
clearly something is wrong here with @grok usage ..
For the context, I sign up using a 2 month promo in X.
I haven't been a believer in AI assistant bots. Hermes, OpenClaw… they never clicked for me
But with the latest upgrade from @bot bringing SOTA models, maybe we have something here
So I cloned the Engineering Lead from @poteto. Its first assignment: observe how I work with my tech lead and my reviewer(s), and learn what's working and what isn't
Nothing flashy on the surface. The interesting part is underneath: my tech lead can actually drive @t3dotcodes
It sees every conversation, every archive, every glitch I run into, and I'm pushing to see how far it can go. The inception is real
Let's see where this goes
