Ethan Brierley

🚨 We are excited to announce that Ethan Brierley (@efun_b) will be speaking at Rust Nation UK! Ethan started attending @RustLondon_ events at just 16, and today, he's not only Senior Rust engineer at @TrueLayer, but also co-organises the very user group that welcomed him in. Now, he's stepping onto the stage to help us all level up, presenting: "use<'lifetimes> for<'what>" Don't miss the chance to finally master lifetimes and build a better mental model for safe, modern Rust. 🎟️ Early Bird tickets are still available. Grab yours now: rustnationuk.com/tickets

How do Rustaceans get started with the language? Many different ways! Hear from @RustLondon_ co-organizer @efun_b about his unique entry into #rustlang. 🦀 Follow @RustNationUK for more stories like this one.

📷 “It all starts with a simple curiosity…” Meet Ethan Brierley (@efun_b), Co-Organiser of Rust London, as he shares how his programming journey began. Every expert starts somewhere—what’s your story? 📷📷 📷 Full interview coming soon! #RustLang #MeetTheRustaceans

Our Co-Organiser @efun_b is coming up with something special with the @RustNationUK team. Make sure you're subscribed to the Rust Nation YouTube Channel to check it out. @rustnationuk" target="_blank" rel="nofollow noopener">youtube.com/@rustnationuk #rustlang

@timClicks Floating point numbers sometimes do it by splitting zero into +0 and -0. That way 1/+0 = +∞, 1/-0 = -∞ en.wikipedia.org/wiki/Signed_ze…

@timClicks Mathematicians sometimes do this by placing numbers on a sphere rather than the complex plane. That way there's one ∞ on the opposite side to 0, representing both +∞ and -∞ en.m.wikipedia.org/wiki/Riemann_s…

What's stopping mathematics from just defining x ÷ 0 = infinity?

@nikitavoloboev For all three together, yes mold doesn't work on Windows and requires a commercial license on macOS rustc_codegen_cranelift supports all major platforms except macOS on Apple silicon

@efun_b this is for linux only?

There's very exciting work to improve rust build times Combining these three on nightly almost halves debug build times for certain projects. Giving me feedback from my tests significantly quicker

@HeavyPackets wg-formal-methods on zulip is worth checking out if you haven't seen it. They have monthly talks organised by @xldenis eventbrite.fr/e/verifying-a-…

I'm happy to be back deep into Rust during this funemployment, but I'm excited about the state of formal verification. I'm always impressed by how suitable Rust is for automation. Memory safety isn't difficult to reason about, allowing us to focus on functional safety.

@senyeezus (T, Vec<T>) is usually what I go for. It's not the nicest type to use. Maybe there's a crate somewhere that gives it a nice API.

does Rust have some way of modeling a non-empty list?

github.com/eopb/serde_jso… A drop in replacement for serde_json where detailed errors are the default

The upper limit on the number of fields on each span is gone 🎉 You can now add as many fields as you like on your spans, you're no longer limited to 32. Thanks to const generics and Mr @efun_b!

I just opened my first cargo RFC The goal is to make it easier to use pre-release versions of crates in large projects without requiring a `[patch]` github.com/rust-lang/rfcs…

🚨🦀 Save The Date, Folks, youtu.be/7EQ3TgOXALA #rustlang #rustnationuk

@timClicks @ErnestKissiedu @RustNationUK 100%

Hey Londoner, you're coming to @RustNationUK, right?

github.com/eopb/redact A simple @rustlang library for keeping secrets out of logs

Rust Nation is the UK’s first conference dedicated to the Rust Language. We are proud and excited to host talks, tutorials and workshops from prominent members of the community.