Highlights from This Week in Rust - Issue 443. This week features a new section within the newsletter as well as the hosts Sean, Allen and Tim chatting about compilers, front-end development, extending databases with Rust and more.

Contributing to Rustacean Station

Rustacean Station is a community project; get in touch with us if you’d like to suggest an idea for an episode or offer your services as a host or audio editor!

Timestamps & referenced resources

00:00 Welcome

03:30 Highlights

• 03:45 - Things are Getting Rusty in Kernel Land
• 09:45 - The Rust Borrow Checker - A Deep Dive
  • MIR (Mid-level representation) introduction
  • From MIR to binaries discusses how binaries are generated
  • MIR borrow check section of the rustc dev guide
  • rustc_borrowck crate within the compiler
• 14:40 - PixelBox Public Alpha
  • PixelBox source code
  • egui GUI framework for Rust
  • PyTorch, a popular Python wrapper for the Torch machine learning framework
  • ONNX machine learning format
• 18:00 - Rust Ergonomics: Default and From
• 23:30 - Our Experience Porting the YJIT Ruby Compiler to Rust
• 30:30 - Asteracea
  • JSX introduction, from the ReactJS project
  • [audio] Carl Lerche on macros (skip to 28:25)
  • How does WebAssembly fit into the web platform?, an article discussing the interacting with the DOM from wasm.
• 37:46 - Ferrite: A Judgmental Embedding of Session Types in Rust
  • Haskell Session Types with (Almost) No Class
  • [pdf] Session Types for Rust
  • Session type
  • Affine type, definition from Wikipedia. [Note from Tim: the definition provided by me in the podcast is incorrect. The term “affine type” is derived from affine logic, not affine transformation.]
• 40:40 - New newsletter section: Call for testing
• 45:45 - [video] Neon - Building a Postgres storage system in Rust
  • pgx crate for extending PostgreSQL in Rust
  • neon database source code
• 50:55 - Extending SQLite with Rust
  • Stored procedure English Wikipedia article

Other items

• 59:30 Final Comment Period for RFCs, PRs
• 59:42 What is “yeet”?

Credits

Intro Theme: Aerocity

Audio Editing: Brógan Molloy

Hosting Infrastructure: Jon Gjengset

Show Notes: Tim McNamara

Hosts: Tim McNamara, Sean Chen, and Allen Wyma.