Gergely Orosz

We just talked about how Rust offers several safety features, like memory safety, error handling, and a type system.

This is because reliable is not about one thing, but several things at once.

This is where I need to mention our presenting sponsor, Antisysys.

Like the designers of Rust, Antisysys also believes there's no one silver bullet for reliability.

You need many different tools and approaches.

This is why they have released Hegel Rust, a free, open-source, property-based testing library for Rust, built by the team behind Hypothesis.

Rust's compiler is brilliant at catching whole categories of bugs at compile time.

But at the edge cases, the weird input combinations, the assumptions that turn out not to hold, those runtime bugs need a different tool.

Hegel provides powerful, ergonomic, property-based testing for fast local development.

It'll check edge cases you never thought of and catch unknown unknowns before they bring down production.

And if you try Hegel and like it, your Hegel test will run an antithesis as written.

So you can easily add determinism and the world's most thorough runtime verification to your reliability arsenal.

Go to hegel.dev to learn more.

I'd also like to mention two conferences this year where I'll be talking and where we can also meet.

On the 4th of June, I'll be doing a keynote at Craft Conference in Budapest, Hungary.

This conference is one of the very best ones in Europe focused on software craftsmanship and one where I'm a returning speaker.

For more details, check out craft-conf.com.

And on the 15th and 16th of September, I'll be doing a keynote at LDX3 in New York.

This is the Festival for Modern Engineering Leadership.

Last year, I was at LDX3 in London, and so I'm excited to be back, this time in New York.