Informal Systems 🌱 (@informalinc) 's Twitter Profile
Informal Systems 🌱

@informalinc

Premier Partner in Protocol Design & Cross-Chain Infrastructure | Audits | Validator | Incubating @cyclesmoney | Supporting early-stage projects @informalvc

ID: 1205686192873848832

linkhttps://informal.systems calendar_today14-12-2019 03:09:37

2,2K Tweet

50,50K Followers

706 Following

Hydro (@hydroteam_) 's Twitter Profile Photo

DeFi users spend way too much time looking for yield, rebalancing across venues as the rates shift, bridging assets, wrapping derivatives etc. We're building a solution that will let them deposit and get the highest low-risk returns available on the market at any given time.

Gabriela Moreira (@bugarela) 's Twitter Profile Photo

Do you know what these three pieces of software have in common? 🔒🧠🖥️📝🔍 A formal specification written in Quint! ⤵️

Informal Systems 🌱 (@informalinc) 's Twitter Profile Photo

Catch Adi Seredinschi at SBC and @Paradigm's Frontiers Conference in SF this week. He's presenting about Malachite Consensus Engine this Friday, Aug 8th at Frontiers, 3PM.

Catch <a href="/AdiSeredinschi/">Adi Seredinschi</a> at SBC and @Paradigm's Frontiers Conference in SF this week. He's presenting about Malachite Consensus Engine
this Friday, Aug 8th at Frontiers, 3PM.
Cosmoverse | Cosmos Conference (@cosmoversehq) 's Twitter Profile Photo

Introducing our next speaker. We are excited to welcome Ethan Buchman (🐝,🦇), Co-Founder of Cosmos and CEO of Informal Systems, to Cosmoverse 2025. Ethan has been at the forefront of blockchain innovation for over a decade, pioneering the Cosmos tech stack - the foundational technology

Introducing our next speaker.

We are excited to welcome <a href="/buchmanster/">Ethan Buchman (🐝,🦇)</a>, Co-Founder of Cosmos and CEO of Informal Systems, to Cosmoverse 2025.

Ethan has been at the forefront of blockchain innovation for over a decade, pioneering the Cosmos tech stack - the foundational technology