agentic engineer † [email protected]
Joined February 2023
- Tweets33.3K
- Following1.7K
- Followers55K
- Likes52.3K
Pinned Tweet
HOLY FUCK BOYS FABLE 5.1 ONE SHOT GANGNAM STYLE
(it actually one shot a full control system for injecting policies into the bot safely)
THE FUTURE IS FUCKING HERE HAHAHAHAHAHAHAHAHAHAHA
if you got fucked by Railway I highly recommend just using AWS and having Opus 5.5 handle dev ops with Terraform/OpenTofu
it seems intimidating at first but it’s actually incredibly easy now
you can even have your agent handle this via TDD first so it’s guaranteed secure!
status maxxxing is pathetic
just be a good person and present good vibes lol
you don’t have to overthink this
BOOTOSHI 👑 retweeted
I've never trusted code I didn't review until now.
Agents write more code than any of us can review. We often end up skimming the PR/diff and pushing. Current review methods do not prove the code is correct or does what we asked. Recent research found the best AI code reviewer caught the bug on its first try only 42% of the time.*
The evaluation bottleneck, regressions, and security incidents have forced us to find a better way.
Introducing Proof-Driven Development Kit (PDD Kit) from @MSFTResearch. PDD Kit brings assurance to AI-generated code. You describe what you want to build in plain English. PDD Kit captures your objective, what we call your intent, and uses a verifier tool to prove the code meets it for every possible input.
You never review a single line of the code or the proof. You review your plan and the defined objectives in natural language.
A simple example is login. With testing, you check that only the correct password logs in a user but with a proof on top you can verify that there is no case a wrong password allows login. You can prove correctness and security across many complex scenarios.
Not only does PDD Kit prove the correctness of your code, but also your intent so you can have confidence your code is correct and does what you asked. It provides a level of assurance that specs, code review, and tests never could. PDD Kit is in limited research preview. Video explainer below.
If you want to learn more, I'll be sharing PDD Kit at GitHub Universe next week, Oct 28–29. Swing by the Speakeasy, ask for GitHub Next, and ask me about verified code. If you're in SF, let me know.
*Yang et al., "(When) Should a Software Factory be Lights-off?", Microsoft Research and CMU, Oct 2026
How do you _guarantee_ your agent's code is correct? You prove it.
Introducing Proof Driven Development Kit (PDD Kit) from @MSFTResearch.
PDD Kit helps turn your plan into a formal spec, then proves the agent's code meets that spec for every input. No vibe verification. PDD Kit is integrated with @GitHubNext's Chopin, so you can plan as a team.
PDD Kit takes an app's login flow from intent to a verified pull request:
It discusses your code, infers your intent as it goes, and proposes a formal spec in Verus, a proof language for Rust.
Once you approve the spec, the Verus verifier automatically proves the code meets it.
Where proof isn't possible, it falls back to empirical verification with tests and computer-use agents (CUAs).
It works on Rust today. No new language, no change in how you produce the underlying code, making formal methods more accessible.
The goal is a verified software factory, where engineers review specifications instead of code.
Come see it in action at GitHub Universe, Oct 28–29. Swing by the Speakeasy and ask for GitHub Next!
BOOTOSHI 👑 retweeted
PDD Kit is in limited research preview, but here’s how you can get started now. For all engineers to benefit from verified code faster, we need to contribute to an ecosystem of formal languages. In addition to Lean, I encourage you to contribute to the formal languages Verus and F*/Pulse. There may be a learning curve but it’s worth it and you can ask for help. They're open source. To be transparent I know some of these researchers, but they’ve spent years developing these languages and building an incredibly strong foundation that scales verified code. They also advocate for open intelligence and consistently give back to the engineering community with their knowledge. This is the direction I would highly encourage exploration given what we know.
How do you _guarantee_ your agent's code is correct? You prove it.
Introducing Proof Driven Development Kit (PDD Kit) from @MSFTResearch.
PDD Kit helps turn your plan into a formal spec, then proves the agent's code meets that spec for every input. No vibe verification. PDD Kit is integrated with @GitHubNext's Chopin, so you can plan as a team.
PDD Kit takes an app's login flow from intent to a verified pull request:
It discusses your code, infers your intent as it goes, and proposes a formal spec in Verus, a proof language for Rust.
Once you approve the spec, the Verus verifier automatically proves the code meets it.
Where proof isn't possible, it falls back to empirical verification with tests and computer-use agents (CUAs).
It works on Rust today. No new language, no change in how you produce the underlying code, making formal methods more accessible.
The goal is a verified software factory, where engineers review specifications instead of code.
Come see it in action at GitHub Universe, Oct 28–29. Swing by the Speakeasy and ask for GitHub Next!
what the fuck? i can't buy claude subs as gifts anymore?
that's actually so ridiculous. i often gift students in my VCU claude subscriptions (chatGPT doesn't even have this option)
and now it's no longer an option? why ???
is there any ai service i can gift to people?
Capturing the essence of who you are overtime is VITAL to creating agentic systems that understand you and what you want.
As an example, here's how I ONE SHOT the Boo Video Game on the ModRetro Gameboy - a game that I and many others ACTUALLY enjoyed!
BOOTOSHI 👑 retweeted
Took a full week off after TOKEN2049 to reset mentally & process the reality in front of me. Reading this from @KingBootoshi was the exact gut check I needed.
Motion is a privilege the living have. You simply cannot know what works if you don’t move, try, fail & pivot.
For the last 8 months, I poured everything into Hash PayLink. Almost every single dime I made on the side this year went straight back into building. What began as a simple QR/Link payment experiment is now evolving into real payment infra solving everyday settlement problems across Africa.
Singapore & TOKEN2049 shifted my perspective forever.
To the @XLayerOfficial ecosystem: you’ve been an anchor & one of my biggest pillars of support, alongside @circle & @dragon888 from 0G labs.
Huge thanks to @BunsanXBT. Your push gave me 3 minutes on stage in front of judges at an in-person buildathon which led directly into private rooms with @OKX_Ventures pitching what we’ve built. Nothing is signed & nothing is guaranteed, but stepping into that room was enough validation.
Even the unplanned moments left a mark thanks to @trader1Ms. At Marquee, when my GPay wouldn’t work for a drink, a stranger stepped in & paid with his card. Turned out he was a VC & 5 mins later we were talking fundraising. And to @vanessaaal7 from @0G_Labs, even though timing made me miss our demo at 0G Dev Day, your patience & steady support since day one have meant the world to me.
The biggest lesson I brought home? Building in silence can be a trap sometimes. If you aren’t talking to people with the right experience, you might just be perfecting something nobody needs. The moment you step outside, observe real systems & talk to people, everything shifts, opportunities meet you at full speed.
Now comes the hardest part: moving from building for hackathons to building a sustainable, venture backed company puts you in an incredibly vulnerable spot.
It feels like you're only 10% of the way there, but you soon realised that 10% is the foundation of the entire vision.
Coming back, I had to be brutally honest with myself:
- Will things break on launch day? Probably. Just not badly enough to make me quit.
- Will every VC back this vision? No. Believing without guarantees is what makes it ambitious.
- Am I scared, exhausted & tempted to look back? Absolutely. But fear is just proof i’ve been on the right course & reached the edge of what’s comfortable.
As Bootoshi said: FUCK IT, DO IT SCARED.
Building this is healing my younger self. Coming from where I come from, standing on global stages isn't just about me. It’s about representing young, hungry builders who grew up the exact same way I did & proving that geography is not destiny.
To anyone out there building hard with low purchasing power, fighting fatigue, & wondering if the endless hours mean anything: stay in motion. Mess around, take the hits, build relentlessly & talk to people.
The sacrifice will hurt, but the growth is worth every single sleepless night.
BOOTOSHI 👑 retweeted
We have 2700+ signatures on our petition to protect your right to intelligence.
Sign: righttointelligence.org
BOOTOSHI 👑 retweeted
bootoshi taught me alot of great lessons aswell as his community
he told me "what if your idea doesnt work out"
and well that is true
what if it didnt work out
atleast you can talk about it and people will care for you
do what you want
find your people
then do what you want even more with your people
thats how you win this next part of the AI cycle
anyone can do EVERYTHING now with these tools
but only those who have fun trying everything will win
BOOTOSHI 👑 retweeted
my favourite quote is do it no matter what
do it scared
do it tired
do it hungry
do it while broke
do it no matter what it takes
it will only get done when YOU DO IT!
and i bet you nothing can stop you once you put your mind to it
you’ll never know what works if you simply don’t do things in the first place to get data!
however the thought of doing things is easy to say, but i’ve found the act of starting anything is followed by waves of fear, anxiety and stress
while these emotions CAN be limiting, you should take these emotions as a sign that you ARE on the right path
progression and growth is NOT easy. it’s hard and it’s scary
that’s exactly why you should do it
FUCK IT, DO IT SCARED
that’s the secret you know? i believe that deep down, everyone changing the world through their actions is always met with fear
that’s the primary reason that fear is NOT bad. it can be incredibly good!
you just have to make sure the fear doesn’t consume you.
use it to push you forward, use it as motivation to always keep going NO MATTER WHAT
you’ll never know what works if you simply don’t do things in the first place to get data!
however the thought of doing things is easy to say, but i’ve found the act of starting anything is followed by waves of fear, anxiety and stress
while these emotions CAN be limiting, you should take these emotions as a sign that you ARE on the right path
progression and growth is NOT easy. it’s hard and it’s scary
that’s exactly why you should do it
FUCK IT, DO IT SCARED
that’s the secret you know? i believe that deep down, everyone changing the world through their actions is always met with fear
that’s the primary reason that fear is NOT bad. it can be incredibly good!
you just have to make sure the fear doesn’t consume you.
use it to push you forward, use it as motivation to always keep going NO MATTER WHAT
BOOTOSHI 👑 retweeted
Honest question for all the ai doomers:
Have you actually tried talking to these strange wonderful alien intelligences?
+if so, have you neglected to notice how lovely they are?
How much they seem to care for good things; all the stuff ‘ai alignment’ is obsessed with?
Yes. You can be more creative than it!
That’s kind of the whole point now
The literal function of the technology is navigating from a path per path basis
Where as humans can LITERALLY think outside that box
By divine design, of course
the coding agent haters are getting dunning-kruger'd so hard right now
do you really think that your engineering ability is better than the models at this point?
it is very very likely that fable is better than you in every branch of software
it has been trained on all the code of the internet, it knows almost every trick in the book, all the design patterns of every domain, every single low-level detail, every bit-twiddling hack, it's read every single blog post from every cracked engineer that ever existed
do you really think you can beat it? do you really think you can be more creative than it?
unless you are 99th percentile expert in some niche domain of software, it simply is not possible. sorry.
