Informal Systems pfp

Informal Systems

@informalsystems

19 Following
5 Followers
Informal Systems pfp
Informal Systems
@informalsystems
Register to secure your front-row seat: https://bit.ly/quint-launch
0 reply
0 recast
0 reaction
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
& follow Gabriela on X for sneak peaks! https://x.com/bugarela
0 reply
0 recast
0 reaction
Informal Systems pfp
Informal Systems
@informalsystems
Deep dive into the approach and reasoning: https://informal.systems/blog/quint-deserves-rust
1 reply
0 recast
0 reaction
Informal Systems pfp
Informal Systems
@informalsystems
The plan: ✦ Rust for what needs to scale ✦ Keep Typescript otherwise ✦ Seamless integration, users only notice the speed bump ✦ Focus on benchmarking from day one
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
Full Job Description here: https://informalsystems.bamboohr.com/careers/75
0 reply
0 recast
0 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
Join us on this mission! Check out our open roles here: https://informal.systems/careers
0 reply
0 recast
0 reaction
Informal Systems pfp
Informal Systems
@informalsystems
https://informal.systems/blog/expanding-horizons-looking-into-2025
1 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
https://t.co/KVtTvnlQi3
0 reply
0 recast
0 reaction
Sanjay pfp
Sanjay
@sanjay
Probably the most challenging and fun project I’ve ever worked on. Incredible work by @dynemyte @suurkivi and @cassie. Special shoutout to the Informal Systems team for building Malachite, a rock solid rust Tendermint library which powers snapchain.
8 replies
19 recasts
125 reactions
Informal Systems pfp
Informal Systems
@informalsystems
Using or planning to use ibc-rs? We want to hear from you! Reach out to us with questions about features or IBC Eureka compatibility.
0 reply
0 recast
0 reaction
Informal Systems pfp
Informal Systems
@informalsystems
Informal Systems is committed to leading the development of IBC in Rust.
0 reply
0 recast
0 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
Adi Seredinschi pfp
Adi Seredinschi
@adise
If you were to design a consensus library from scratch, what would it look like? What if you wanted something supple and portable? The answer we arrived at: The _core_ library in Malachite, the most flexible consensus API in the world! Malachite is a Rust-based consensus engine implementing Tendermint. It’s designed for maximum portability, capable of powering Starknet ecosystem decentralized sequencers, decentralized social networks à la Farcaster & beyond Dig into the details in our newest blog post here: https://informal.systems/blog/the-most-flexible-consensus-api-in-the-world”
0 reply
1 recast
2 reactions
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