ayo (padawan) (@_alternatewolf) profile picture

searching. thrive in chaos. pressure is a privilege.

Joined April 2020
Photo by ayo (padawan) (@_alternatewolf)Photo by ayo (padawan) (@_alternatewolf)Photo by ayo (padawan) (@_alternatewolf)Photo by ayo (padawan) (@_alternatewolf)Photo by ayo (padawan) (@_alternatewolf)Photo by ayo (padawan) (@_alternatewolf)Photo by ayo (padawan) (@_alternatewolf)Photo by ayo (padawan) (@_alternatewolf)Photo by ayo (padawan) (@_alternatewolf)
"I belong in a place where they are wise, here, where the educated learn to rise".
3
21
1
103
ayo (padawan) retweeted
Just about to give a seminar at the University of Glasgow on Why The World of Formal Verification is On Fire! @GlasgowCS @UofGlasgow
8
13
1
133
4,141
ayo (padawan) retweeted
there are only two real skills in the world (being locally talented isn’t enough)
11
26
288
9,837
ayo (padawan) retweeted
Rinse & repeat conversation everytime a large scale event happens in the industry. I need people like you to start thinking about how these “innovative” ideas get adoption on global scale? Because it’s not sheer luck. Who drives adoption? Who funds? Who amplifies? Who supports? Who validates? etc. large scale events as this are primarily to provide a platform for these conversations. Do you also understand that innovation many times happens in closed doors and these platforms give the builders the opportunity to get the public in on it? Or the reality that conversations that lead to the above results often happens outside the formal spaces? A ton of the sessions also provided value, Maybe if you weren’t biased & took a bit more time, presuming you actually attended, you’d have realised this? The more in-depth “innovative” conferences that happen such as @sysconf_, many of you fail to prioritise simply cause it’s not “trending”. Your perspective on its value may probably be limited to your current knowledge and the level of contribution your role currently plays to the growth of the company you’re with.
Waiting for you all to clock the pointlessness in tech events... It's branded more for "networking" than any real innovation
2
12
47
2,813
re 0:35: "VP, Paradigms of Intelligence" is a cool title.
Our TPUs just phoned home... from space. ICYMI, on October 1, we sent four TPUs into orbit to test whether our AI hardware could operate in space. The initial goal was to see if our chips could turn on, process a prompt, and transmit a response back to Earth. This week, we got our answer. ✨ This milestone brings us one step closer to understanding if space-based compute is possible. We’re sending two more TPU-equipped satellites to orbit in 2027 for our next milestone. Watch this space 👀 and learn more about the first milestone of our long-term moonshot with Project Suncatcher ↓
5
306
ayo (padawan) retweeted
Our TPUs just phoned home... from space. ICYMI, on October 1, we sent four TPUs into orbit to test whether our AI hardware could operate in space. The initial goal was to see if our chips could turn on, process a prompt, and transmit a response back to Earth. This week, we got our answer. ✨ This milestone brings us one step closer to understanding if space-based compute is possible. We’re sending two more TPU-equipped satellites to orbit in 2027 for our next milestone. Watch this space 👀 and learn more about the first milestone of our long-term moonshot with Project Suncatcher ↓
122
522
104
4,146
410,799
ayo (padawan) retweeted
A ‘hello world’ milestone for Project Suncatcher 🚀 After launching our prototype satellite a few weeks ago, we’ve now successfully sent a command up to orbit, booted up the TPU, ran the prompt, and received our first complete response back on earth - a haiku!
1,195
2,229
1,032
22,498
2,668,700
ayo (padawan) retweeted
"We haven't won yet" is one of my favorite Stripe sayings, and we have posters of fallen companies around the office to remind us that the default is failure. More glimpses of life inside @stripe in @paytonkirol's video: youtube.com/watch?v=0Rqoe5qu…
6
10
1
138
8,571
I find that I'm constantly underestimating what these LLMs can build and continued use helps me be more ambitious. I'm really asking for the most absurd things (e.g. verification infra) and it's just...getting it done. Of course, there's the step to ensure things work as expected, but the point about raising my ambition remains.
We should be more ambitious with the software we build: danluu.com/ambitious/
3
23
1,063
ayo (padawan) retweeted
Bring YouVersion's Bible components or use their Bible APIs in your app or website. platform.youversion.com
16
18
2
202
9,664
ayo (padawan) retweeted
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
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…
37
118
25
1,067
135,226
General Relativity for babies ✍️
396
4,701
434
41,431
2,618,367
ayo (padawan) retweeted
My semis tutor @willmichaels0 and I made a bunch of flashcards about semiconductor manufacturing. Check them out if you want to better understand and retain the explainers in the new Intel episode. Will also compiled a great list of resources for further reading, which is at the bottom of the page. Fwiw, on this website, I've put up flashcards for a bunch of my other technical episodes as well. Like the one w @reinerpope on LLM inference, and w @ericjang11 on AlphaGo from scratch flashcards.dwarkesh.com/inte…
17
56
4
1,000
69,009
A good day to remind you all that failure is a part of the journey: ayomideoyekanmi.medium.com/o….
Back in 2021 I interviewed at Vercel and I failed badly. I couldn’t implement a debounce function and was stuck for like 30 minutes. It was pretty embarrassing. 10 months later (2022) I interviewed again and got the job. Don’t give up!
5
40
6
189
12,262
Which African companies are taking formal verification of software seriously?
2
3
1,247
ayo (padawan) retweeted
Yes. See, e.g. how we found critical safety and liveness bugs in every (formally verified) Raft implementation we’ve ever looked at. antithesis.com/blog/2026/fin…
Replying to @MarcJBrooker
The point is that even 'correct' protocols come with a set of assumptions about the world around them. When those assumptions are broken, even in subtle ways, the protocols behave in unsafe ways.
3
8
69
3,469
Replying to @tonialaribe
This reminds me of our chat at the speaker booth about my talk in @sysconf_ regarding still having a human in the loop when building agents and working with agents. While I understand that agent capability has progressed enough, i believe a pinch of human flavour is needed
1
1
3
266
This week's incidents are a reminder about why "human in the loop" is important. Ie, read your damn code. Understand your systems. Know whats in there and what can go wrong. No LLM advancement will replace human understanding. – at Rwanda
26
55
6
228
7,012
ayo (padawan) retweeted
If you’re curious about Pewbeam and what we are building, you should absolutely watch this site-down with @TechCabal.
6
37
233
6,056