17yo future founder 🇲🇦🇨🇦- interested in formal methods / 5x hackathon winner (openai, cursor)
montreal
Joined December 2023
- Tweets87
- Following192
- Followers82
- Likes192
Hamza Sedrati retweeted
Most think vibecoding at scale is slop. Here’s a counterexample.
Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved.
A mathematical city 🌆
Hamza Sedrati retweeted
hamza is a high schooler and the youngest participant at vibecheck! he’s incredibly high-agency and seriously cracked.
if anyone is looking for a talented intern, please reach out to him or me directly. he’d be a great addition to any team.
Won best solo project (by @mathematics_inc) at vibecheck the fm hackathon
Flew from montreal to sf at 17 for the hackathon and it was a complete success
Built blox : define a game
and its properties and agents generate a roblox game with those properties formally verified
Hamza Sedrati retweeted
Honored to have come in 2nd at the Vibecheck 2026 Hackathon. 🥈
I met so many incredibly cool, cracked people. It's clear FV is taking off and that I need to start thinking BIGGER.
Big thx to @maxvonhippel, @qd_forall and all the other organizers, judges & sponsors!
Hamza Sedrati retweeted
These are interesting times, we see agents hacking stuff and at the same time formally verifying oss software.
We are hosting a formal methods hackathon along with some of the best folks in this space including @theoremlabs
I’m super excited about all the things people are going to “vibecheck” at the event.
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…
Hamza Sedrati retweeted
3/ Runner-ups:
2. Zero Day Debug - A charity app that doubles as your personal tax optimizer
Repo: github.com/parzival1l/Altru
3. KH @sdrtintel - Sentinel turns enterprise policies into deterministic verification checks that ensure autonomous Botpress agents don’t break compliance.
Repo: github.com/MugiZer/Sentinel/…
Hamza Sedrati retweeted
I just built agent swarms in Minecraft!
If you play Minecraft, you would know that it’s much more fun and easier to play with friends. But what if you have none?
Introducing… Minecraft Swarms, it’s like cursor, but for Minecraft. This allows you to spawn a swarm of workers in Minecraft to:
- help you build ANY structure
- collect resources
- protect you from mobs
- and anything else you can prompt!
This was built as a Minecraft plugin, something I haven’t built for 6+ years, so it was very nostalgic for me. This was the start of where I learned programming.
Thanks, please check out the demo!
