Informal Systems

@informalsystems

19 Following

5 Followers

Informal Systems pfp

Informal Systems

@informalsystems

🚀 You're Invited: Quint's Virtual Launch Party! We're launching Quint to the world. Join us for this milestone event where formal methods become your engineering superpower. Featuring real-world success stories and the big reveal of our new Rust core.

1 reply

0 recast

1 reaction

Informal Systems pfp

Informal Systems

@informalsystems

Quint deserves Rust 🦀 Gabriela Moreira is rewriting our simulator core for maximum performance and early benchmarks are looking promising

1 reply

0 recast

1 reaction

Informal Systems pfp

Informal Systems

@informalsystems

📣 Hermes v1.12.0 ships with @penumbrazone support! Another non-SDK chain joins the IBC ecosystem. Private, secure interchain communication is here. Check the release: https://github.com/informalsystems/hermes/releases/tag/v1.12.0

0 reply

0 recast

1 reaction

Informal Systems pfp

Informal Systems

@informalsystems

🎉Hermes v1.11.0 is live! This release introduces @namada support, bringing Hermes’ IBC capabilities to new frontiers beyond Cosmos SDK chains. Full release notes: https://github.com/informalsystems/hermes/releases/tag/v1.11.0

0 reply

0 recast

1 reaction

Informal Systems pfp

Informal Systems

@informalsystems

Informal Systems is hiring a Sales engineer. Do you know someone who: ✦ Knows blockchain inside out ✦ Loves technical demos ✦ Excels at solution design Drop their @ below ⬇️

0 reply

0 recast

0 reaction

Informal Systems pfp

Informal Systems

@informalsystems

The world is evolving in 2025 and so are we. We're expanding beyond Cosmos on our mission to foster to trust in software & money. Looking for a partner in protocol design & cross-chain infrastructure? Get in touch. See our latest blog for more:

1 reply

0 recast

1 reaction

Informal Systems pfp

Informal Systems

@informalsystems

Big update for the IBC Rust ecosystem 🦀 We’ve moved the ibc-rs GitHub repo under the Informal Systems org Check it out: https://github.com/informalsystems/ibc-rs

0 reply

0 recast

0 reaction

Informal Systems pfp

Informal Systems

@informalsystems

Building the future of blockchain requires the right partnerships—we’re hiring a Business Development Associate to identify opportunities, build relationships, and connect innovative protocols with our engineering expertise. Be part of our mission: https://informalsystems.bamboohr.com/careers/74

0 reply

1 recast

3 reactions

Informal Systems pfp

Informal Systems

@informalsystems

/fuel has taken decentralizing rollups to the next level with its newly launched sequencer, now live and ready! Stake/delegate your $FUEL tokens today. Informal Systems proudly backs this initiative as a genesis validator.

0 reply

0 recast

2 reactions

Informal Systems pfp

Informal Systems

@informalsystems

The wait is over! Malachite is officially open source 🥳 Dive into the future of decentralized consensus: https://github.com/informalsystems/malachite (1/3)

1 reply

0 recast

1 reaction