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.
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.
@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.
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.
@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.
@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.
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.
@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.
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.
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.
@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.
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