Grigore Rosu

Investor

About

Researcher, educator and entrepreneur in programming languages, formal methods and software engineering.

Latest on 𝕏

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. https://t.co/zhWbdMNxma

Jun 8, 2026 · ♥ 54 · ⇄ 7

Grigore Rosu @rosugrigore

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

Jun 5, 2026 · ♥ 4 · ⇄ 1

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 https://t.co/0DN4mKsTKP