agentic engineer † [email protected]
Joined February 2023
- Tweets33.3K
- Following1.7K
- Followers55K
- Likes52.4K
BOOTOSHI 👑 retweeted
you're a good yout
God bless you, YOU, who is reading this
Feel released from the fears that infect your mind and instead let it guide you in your path, for the path you are destined for is filled with fear, doubt, anxiety and worry
Let those negative emotions instead be the lighthouse in your journey showing you the path for what YOU are destined for
YOU are destined for greatness
You will fail, and that means you’re walking your path, for YOUR path is riddled with failure
Failure is necessary. You are incredibly strong. I BELIEVE in you
I am here to help guide you in your path - any questions at ALL that you might have or anything you simply need to talk about, please reach out to me or DM ME!
My email is in my bio as well, or simply tag me. I am here for you
GODSPEED WARRIOR
BOOTOSHI 👑 retweeted
Godspeed King Bootoshi 👑
God bless you, YOU, who is reading this
Feel released from the fears that infect your mind and instead let it guide you in your path, for the path you are destined for is filled with fear, doubt, anxiety and worry
Let those negative emotions instead be the lighthouse in your journey showing you the path for what YOU are destined for
YOU are destined for greatness
You will fail, and that means you’re walking your path, for YOUR path is riddled with failure
Failure is necessary. You are incredibly strong. I BELIEVE in you
I am here to help guide you in your path - any questions at ALL that you might have or anything you simply need to talk about, please reach out to me or DM ME!
My email is in my bio as well, or simply tag me. I am here for you
GODSPEED WARRIOR
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!
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
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?
BOOTOSHI 👑 retweeted
Actual Computer turns your NVIDIA DGX Station into a department-scale AI factory.
Read the full case study:
actual.inc/company/blog/case…
BOOTOSHI 👑 retweeted
+1 to forcing agents to think in parallel-first on tasks.
This is one of my main re-used prompts:
```
## Operating rules
1. **Default to parallel.** A prompt that expects exactly one answer back is a mistake. If a task can be tried two ways, try both and compare. Two competing attempts that an eval can score is the best reason to fan out.
...
```
BOOTOSHI 👑 retweeted
Introducing DeepRSI, a new industry standard for measuring recursive self-improvement.
On preexisting benchmarks, tasks are contributor-based and short-horizon (~12 hrs). In DeepRSI, we push agents to work 48 hours on ML tasks actually derived from ongoing proprietary research.
BOOTOSHI 👑 retweeted
Top Class gives your agent access to the best practices and knowledge taught from the best universities
lmk what you think!
github.com/AGZ-TX/topclass
BOOTOSHI 👑 retweeted
HOOOOLY SHIT LADS
MY AGENTS WORKED ON THE OFFICIAL BOO KINGDOM GAME OVERNIGHT AND ITS SLAPS
ART DESIGN/SFX/COMBAT/PUZZLES THE WHOLE MIX
THIS WAS A FULLY VIBE CODED ROM FOR THE MODRETRO CHROMATIC
I AM ECSTATIC RIGHT NOW! CHECK OUT THE GAMEPLAY LOOP
BOOTOSHI 👑 retweeted
openai gave out "modretro chromatics" as merch on their demo day - basically modded gameboys, you can play old cartridges and also write new custom games to cartridges and play those
for some reason this feels way more real than playing a game on the browser