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 recasts
• 1 reaction

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

• 1 reply
• 0 recasts
• 1 reaction

📣 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 replies
• 0 recasts
• 1 reaction

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 replies
• 1 recast
• 3 reactions

/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 replies
• 0 recasts
• 2 reactions

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 recasts
• 1 reaction

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

• 1 reply
• 0 recasts
• 1 reaction