Grigore Rosu

Building Fast Infra for agents and their humans (@fastxyz).

Formerly @NASA | Prof UIUC @siebelschool | Creator K Framework | Founder @rv_inc.

[Grigore Rosu @RosuGrigore]

Fast. The new face of Pi Squared.

Same company. Same deep tech.

Fresh brand for what we are building:
Fastest verifiable settlement layer ever.
For crypto, AI, and all they enable.

[Fast @fastxyz]

today, we start moving /fast.

new handle just dropped → @fastxyz.

[Fast @fastxyz]

agentic commerce with real merchants 🛒

live & battle-tested by our team.

try it yourself @ Fast Shop

[Grigore Rosu @RosuGrigore]

@g623cesar That the plan. That was always the plan. But in the process, also build some useful systems.

[Grigore Rosu @RosuGrigore]

Shopping with your agent is already here.

Not in the future, but right now.

The question is ... Why should I trust it? Or more broadly ... Why should I trust AI?

Our answer is Formal Verification. Everything else is an approximation.

More about that soon.

[Fast @fastxyz]

probably the smoothest shopping experience.

just describe what you want, let the agent find it, review the result, and buy ↓

[Grigore Rosu @RosuGrigore]

@fastxyz Shopping cannot be simpler

[Grigore Rosu @RosuGrigore]

@VMS11 @andyyy Formal Verification closes the gap between the code and the spec. Ofc you need the specs, and you must ensure they capture what you want.

Rice theorem was never an issue in practice. We are talking about normal software, not mathematically contrived corner cases.

[Grigore Rosu @RosuGrigore]

People will eventually understand the importance of formal verification.

The problem with startups pitching formal verification is that it is very hard to pitch it:

"Look, nothing bad happens".

Another thing with formal verification that investors tend to not like is that you cannot really do it with school dropouts.

[Grigore Rosu @RosuGrigore]

@WatcherGuru People still don't understand the value of formal verification.

That's the only known way to ensure correctness and security.

AI is a blessing for formal verification.

[Grigore Rosu @RosuGrigore]

@lucianmincu It is exciting, that's why we do it.

Combines a hobby with the chance to do something truly transformative if stars align.

That's good enough for many entrpreneurs, I think.

[Grigore Rosu @RosuGrigore]

@0xNairolf Smooth onramping still missing.
Onramping is a big barrier.
An elephant in itself. Could be the biggest.

[Grigore Rosu @RosuGrigore]

If you want to give them a try:
https://t.co/gHFC8Ygzn5
https://t.co/I0ZhSorqnF

[Grigore Rosu @RosuGrigore]

While launching our Fast app and shop and asking friends and family to join, I noticed two major crypto impediments, which I knew but forgot.

Worth remembering:

1. Non-crypto people assume by default that "crypto is a scam", and they simply refuse to participate.

2. The remaining 25% who are willing to give it a try because they trust me, hit the dreadful on-ramping process.

I have not done it for some time in this direction, so I just tried it.

My transaction was declined. Two major institutions, Chase and Stripe, and a purchase made from my own company.

We talk about defi and AI payments and other fancy features, but the harsh truth is that crypto has much bigger and fundamental problems.

[Fast @fastxyz]

as Fast grows, keeping users safe becomes even more important.

glad to have @ChainPatrol supporting that effort as we scale 🤝

[Grigore Rosu @RosuGrigore]

@ChainPatrol is great, they have already found and took down several scammers impersonating Fast to trick people into buying scam tokens.

We and @rv_inc catch all the coding bugs. @chain_port catches the remaining ones.

[ChainPatrol @ChainPatrol]

Proudly protecting @fastxyz 🤝

In the fast-moving world of AI agents and crypto payments, trust and security are critical. By actively monitoring to find and takedown scams, fake account and impersonators — We help keep the ecosystem safe so builders and agents can operate with confidence.

[Grigore Rosu @RosuGrigore]

I implemented the first neural net in 1993 to predict weather in Bucharest. After 6 months of hard work, I concluded that AI sucks. I was reluctant to get back into AI until 6 months ago. And I am amazed by the progress, including chatbots if implemented properly.

Why dont you give https://t.co/VVULpnVKy0 a chance. Maybe we can integrate Avalanche as well.

[Grigore Rosu @RosuGrigore]

@Txn_tochi @fastxyz Stripe and Coinbase now offer APIs as well (in addition to widgets). Experimenting with those as well, to make the entire e2e process one-button push.

[Grigore Rosu @RosuGrigore]

@fastxyz No earplugs?

[Grigore Rosu @RosuGrigore]

Shopping with Pif and having fun at the same time.

[Grigore Rosu @RosuGrigore]

https://t.co/0SVXAB6I4n

[Grigore Rosu @RosuGrigore]

Getting ready for a trip in the mountains with some old friends from high school. Best way is to do this with your agent, ofc, but Pif can also help.

@Romynft @vibeman_0