Sofwan 🦀 Babapupa (@SofwanCoder) header
Sofwan 🦀 Babapupa (@SofwanCoder) profile picture

Software Engineer • Rust advocate • Muslim • Dad • 👨‍💻🦀🕌🇳🇬💡🔧🌟

Nigeria
Joined September 2011
Photo by Sofwan 🦀 Babapupa (@SofwanCoder)Photo by Sofwan 🦀 Babapupa (@SofwanCoder)Photo by Sofwan 🦀 Babapupa (@SofwanCoder)Photo by Sofwan 🦀 Babapupa (@SofwanCoder)Photo by Sofwan 🦀 Babapupa (@SofwanCoder)Photo by Sofwan 🦀 Babapupa (@SofwanCoder)Photo by Sofwan 🦀 Babapupa (@SofwanCoder)Photo by Sofwan 🦀 Babapupa (@SofwanCoder)Photo by Sofwan 🦀 Babapupa (@SofwanCoder)Photo by Sofwan 🦀 Babapupa (@SofwanCoder)
Sofwan 🦀 Babapupa retweeted
My guy don cook! 🙌
I've been building @dropstationapp, and I think it's time I started talking about it properly. It's a platform I've been working on, and I'm genuinely excited about what it can become. Let me tell you about it. 🧵
1
52
Sofwan 🦀 Babapupa retweeted
Everyone’s been building games lately, but we did something different 👀 Introducing DropStation 🚀 Compete in drops every hour, win up to ₦1,500, and cash out your winnings straight to your bank account instantly! 💸 Try it: dropstation.app/
I grew up playing The Sims 3 and always wondered what it would be like if the Sims lived in a world inspired by ours.🤷🏽‍♀️ Then I saw @eureka_seamless riding a danfo through Lagos, and it sparked an idea: Lagos Life Sims. Take a look around. Who knows, you might make a new friend in the Sims world. lagoslife.eliysites.com/
1
1
3
207
Sofwan 🦀 Babapupa retweeted
🚀Introducing DROPSTATION! 🎉 🧠 Answer questions, 💰 earn rewards, and 📢 promote your business All in one place! Don't just scroll, be part of the opportunity! 🔥 Join here:👉 dropstation.app DropStation — Where Knowledge Meets Opportunity! 💯
2
1
2
51
Sofwan 🦀 Babapupa retweeted
"I spent a lot of time going over the design decisions involved here, trying my best to complain about async Rust, only to end up going “Oh. Yeah. That’s reasonable. That makes sense. I can see why they did it that way.” every step of the way." herecomesthemoon.net/2026/10…
7
12
1
147
6,093
Sofwan 🦀 Babapupa retweeted
Before v1.99 → Rust could only consume C variadic functions. With 1.99 → Rust can also produce them.
4
53
1,736
Sofwan 🦀 Babapupa retweeted
i don't get the opinions that rust reads terrible. i think it's quite neat
26
5
3
124
6,457
Sofwan 🦀 Babapupa retweeted
This perspective only makes sense if you've been programming with Ruby's nonsense. Rust is so easy to read that I can absorb entire enterprise codebases in a single evening and immediately start working on it. I'm not even particularly good at Rust but very productive.
"I love Rust! Rust is amazing ...if you never, ever, EVER have to look at it yourself." — @dhh
19
2
1
165
30,428
Sofwan 🦀 Babapupa retweeted
Rust
22
11
5
199
18,969
Yes, you can STOP writing code by hand. But only if you WERE doing it for years. Then you can prompt and review wisely, and keep the quality high. If you never wrote code by hand and think you don't need to learn it... Well, good luck.
12
18
1
147
5,721
Sofwan 🦀 Babapupa retweeted
There is Loco > Loco follows Rails — carefully adapted to modern Rust. loco.rs/
So, it’s Rust on Rails next?
3
3
1
47
7,020
Sofwan 🦀 Babapupa retweeted
I might be the only person in the world that likes looking at Rust code. I think it's super pretty.
135
51
19
1,260
50,008
Sofwan 🦀 Babapupa retweeted
jev as an oxlint plugin
16
23
7
467
78,824
Sofwan 🦀 Babapupa retweeted
Solving a Rubik's Cube with graph theory.
477
10,815
1,012
73,372
12,009,537
Sofwan 🦀 Babapupa retweeted
Jev support has landed in 1.x branch of the Laravel AI SDK. github.com/laravel/ai/pull/1…
35
47
17
787
63,405
Sofwan 🦀 Babapupa retweeted
Pro tip if you're using Postgres: Set `application_name` in your app's DB connector/ORM/connection URL This allows you to see human-readable service names for where queries + connections are coming from in pg_stat_activity/dashboards Super useful to have configured!
35
55
5
1,260
67,333
Sofwan 🦀 Babapupa retweeted
🎉 Such a day at Rustconf!!! OpenAI and Canonical are part of the Rust foundation!!! It feels we are officially ready for critical adoption!!!
3
14
137
6,496
Sofwan 🦀 Babapupa retweeted
If you are just like me and you have no idea what everyone is talking about, I just spent 20 hours studying Navier-Stokes. Here is exactly what has been solved. Spoiler: it's less impressive than it appears
17
70
12
503
235,958
Sofwan 🦀 Babapupa retweeted
10,000 OPENAI AGENTS SOLVED A $1 MILLION PROBLEM IN 88 HOURS For nearly 90 years, mathematicians could not determine whether the Navier-Stokes equations can break down while describing fluid motion. -> Now OpenAI says it has found the answer. The company deployed around 10,000 agents powered by an internal model significantly more capable than GPT-6 Astra. They worked in parallel, exchanged 2.7 million messages and generated roughly 130 billion output tokens. The digital team produced a proof in 88 hours. The system showed that an initially motionless fluid can develop a singularity under certain conditions. Its velocity grows without bound within a finite amount of time. GPT-6 Astra then spent another 17 hours formalizing and verifying the result in Lean. The computation cost millions of dollars, but the company does not plan to claim the prize. The proof must also survive independent scrutiny from mathematicians. OpenAI just demonstrated a new model for scientific discovery. A single AI is no longer trying to replace one scientist. Thousands of agents can now form a digital research lab and compress decades of human work into days ↓
178
703
84
5,168
2,808,139