Rust for Lunch

A lunchtime Rust meet-up

Rust for Lunch is an online-only Rust meet scheduled to fit into a lunch break.

The main part of each meet-up will be short enough to fit into a 1 hour lunch slot and the time is chosen to be a feasible lunch time.

The first meet-up will be scheduled around European and African midday and early afternoon.

2024-04-16

The April 2024 Rust for Lunch meet-up will be dedicated to lightning talks. Each talk will be given 5 minutes for the talk and 2 minutes for questions.

If you would like to reserve a place for a lightning talk before the meet-up (which is probably a good idea), then please contact us. Empty slots, if there are any, will be filled by people who show up on the day and would like to speak.

We'd like to remind everyone that all participants (speakers, moderators, and attendees) must follow the Code of Conduct during the meetup.

Lightning Talks

2024-03-19

The March, 2024 Rust for Lunch meet-up. We'll have a single talk and then time for questions afterwards.

We'd like to remind everyone that all participants (speakers, moderators, and attendees) must follow the Code of Conduct during the meetup.

Formal verification for Rust with coq-of-rust

Speaker: Guillaume Claret

With formal verification, we can assert that a program contains no bugs for a specification, covering all execution cases. We present coq-of-rust https://github.com/formal-land/coq-of-rust , a formal verification tool for Rust that we developed. It works by translating Rust programs to the proof system Coq.

2024-02-20

The February, 2024 Rust for Lunch meet-up. We'll have a single talk and then time for questions afterwards.

We'd like to remind everyone that all participants (speakers, moderators, and attendees) must follow the Code of Conduct during the meetup.

Faster Rust Serialization

Speaker: Mo Bitar (mo8it)

How to speed up Rust serialization with serde by up to 2.25x 🚀!

What to expect:

  • A simple example with JSON
  • How serialization in serde works
  • Manually implementing the Serialize trait
  • Serialization with the newtype pattern
  • Benchmarking with divan
  • Discussing the overhead of allocations

Related blog post: https://mo8it.com/blog/faster-rust-serialization/

2024-01-24

This is the third Rust for Lunch meet-up. We'll have a single talk and then time for questions afterwards.

We'd like to remind everyone that all participants (speakers, moderators, and attendees) must follow the Code of Conduct during the meetup.

Implementing a Rust virtual machine monitor for Nushift

Speaker: David Pollack

Nushift is a platform that attempts to be an alternative to the web that has the advantage of shareable URLs, but provides different ABIs/APIs to the web. We discuss the Rust implementation of these APIs, including the organisation into subsystems and the support of requirements like deferred execution.

2023-11-28

The second session of the Rust for Lunch meetup. We'll have two talks, each with time for questions afterwards. There will be time for chatting and socializing after the talks.

We'd like to remind everyone that all participants (speakers, moderators, and attendees) must follow the Code of Conduct during the meetup.

Talk 1: Deterministic Execution Time Control for Arbitrary WASM

Speaker: Bohdan Ivashko (arriven)

Sometimes you may need to run an arbitrary wasm code while being able to impose limits on CPU and memory usage. While having precise memory limits is relatively easy, controlling the CPU limits in a reproducible way is a totally different can of worms (Spoiler: it's counting instructions, we'll have to count instructions, but we'll have to do it somewhat efficiently, and we'll do it by analyzing and modifying the original code).

Unfortunatebly the second talk for this meet-up has been cancelled. Instead, the first talk will run a bit longer.

2023-10-31

The first Rust for Lunch meetup. Join us online for a talk and questions afterwards.

This session won't be recorded or streamed.

We'd like to remind everyone that all participants (speakers, moderators, and attendees) must follow the Code of Conduct during the meetup.

Talk: Abusing the Type System for Fun and for Profit

Speaker: Conrad Ludgate

Abusing the Type System For Fun and for Profit

Are you absolutely sure that your payments are submitted at most once? Are you sure that your cryptographic library is used correctly? Are you sure that BTree is balanced? I'll explore some useful (and some goofy) ways to use the rust type system to get what you want.

Slides: Abusing_the_Type_System_for_Fun_and_for_Profit.pdf

2023, Hayden Stainsby.