Rust - Channel

Rust

Rust

Video material about the programming language Rust, curated by the Rust team. This channel publishes videos from all Rust conferences and also re-publish talks and lectures from other places. If you got a video that's missing, please get in touch.

796 videos

Sort by views Sort by oldest Sorted by newest Sort by newest - no shorts

30:41

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification

41:44

crux-mir: Symbolic testing for Rust

28:52

Ferrite: A Rust EDSL for Message-passing Protocol Verification

30:44

Prusti – Deductive Verification for Rust

31:27

Polonius

30:22

Peeking at compiler-internal data (for fun and profit)

15:34

Rust interest in safety- and mission-critical environments

24:18

Creusot: A prototype tool for verification of Rust software

20:40

Rustv: Semi-automatic Verification of Unsafe Rust Programs

29:41

RustBelt: A Quick Dive Into the Abyss

25:32

hacspec: succinct, executable, verifiable specifications for high-assurance cryptography

29:18

Verifying that Rust programs don't crash

27:40

Towards Automatic Verification of Unsafe Rust with Constrained Horn Solvers

1:25:55

Rust & Tell - April 2021

59:00

2021-04-27 Lang Team Triage

55:15

2021-04-21 Design Meeting: extern 'wasm' ABI

57:16

2021-04-14 Planning Meeting

27:18

2021-04-21 RFC 2229 Sync

57:59

2021-04-20 Lang Team Triage Meeting

19:51

2021-04-15 RFC 2229 Sync

59:58

Rust Linz, April 2021 - Herbert Wolverson - Learning Rust with Game Development

40:52

Rust Linz, April 2021 - Jan-Erik Rediger - Leveraging Rust to build cross-platform libraries

54:09

Rust Linz x Global Azure, April 2021 - Ryan Levick & Thomas Taylor - Rust, Kubernetes, and the Cloud

49:41

Rust Linz, March 2021 - Thomas Taylor - The Rusting Cloud

24:29

Rust Linz, March 2021 - Florian Gilcher - Ownership and Borrowing from a Systems Construction PoV

56:42

2021-04-06 Lang Team Triage Meeting

56:42

2021-04-06 Triage Meeting

1:02:30

2021-03-31 Design meeting: How to dismantle an &Atomic bomb

54:57

2021-03-24 Design meeting: Lang team organization

1:02:18

2021-03-23 Lang Team Triage Meeting

18:27

2021-03-31 RFC 2229

8:00

2021-03-26 RFC 2229

45:02

Rust Hungary - Meetup S03 E02

1:20:05

Rust & Tell - 2021 Kickoff

56:55

2021-03-17 Backlog Bonanza

56:55

2021-03-17 Lang Team Triage Meeting

56:56

2021-03-16 Lang team triage

57:50

2021-03-09 Lang team triage meeting

54:13

2021-03-03 RFC 2229 Meeting

33:16

2021-03-11 RFC 2229

28:29

2021-03-17 RFC 2229

24:58

wg-incr-comp mtg #13 (2021-03-09)

54:13

2021-03-03 RFC 2229

56:03

2021-03-02 Lang Team Triage Meeting

40:46

2021-03-03 Lang Team Planning Meeting

41:36

Rust Linz, February 2021 - Will Hawkins - Comparing performance of range- and counter-based loops

31:09

Rust Linz, February 2021 - Celia Lewis - Getting started with Open Source

55:33

2021-02-16 Lang Team Triage

1:03:00

2021 02 23 Lang Team Triage

47:33

2021-02-24 Design Meeting: Lints and Editions

52:28

2021-02-17 Design Meeting: Increasing Trust in the Rust Compiler

37:03

2021-02-17 RFC 2229

57:59

One Factor Authentication (2020-02-04) - Rust Hungary Meetup

29:19

2021-02-03 RFC 2229 Sync

48:48

2021-01-27 RFC 2229 Sync

57:46

2021-02-09 Lang Team Triage Meeting

18:15

wg-incr-comp mtg 12, 2021-02-09

57:22

Rust Linz, January 2021 - Aram Drevekenin - Mosaic, A Rusty Terminal Workspace

23:38

Rust Linz, January 2021 - Karl Grasegger - Unleash the power of your comments!

58:22

2021-02-02 Lang Team Triage Meeting

1:01:40

2021-02-03 Lang Team Planning Meeting

53:44

2021-01-26 Lang Team Triage Meeting

56:54

2021-01-15 RFC 2229

56:03

2021-01-20 Lang Team Design Meeting: RFC 2229

33:49

2021-01-08 RFC 2229

54:36

2021-01-13 Lang Team Triage

57:59

2021-01-19 Lang Team Triage Meeting

47:34

2021-01-12 Lang Team Triage meeting

25:21

Yosuke Onoue - Think About Front-end Web Development with Rust — RustFest Global 2020

21:15

κeen - 言語自作を通して学んだRust — RustFest Global 2020

28:26

Jin Mingjian - Architect a High-performance SQL Query Engine in Rust — RustFest Global 2020

22:13

glowcoil - Ochre: Highly portable GPU-accelerated vector graphics — RustFest Global 2020

32:48

Aïssata Maiga - Build your own (Rust-y) robot! — RustFest Global 2020

23:36

Diane Hosfelt & Amber Sprenkels - RFC: Secret types in Rust — RustFest Global 2020

31:49

Dibs / Immersive Afrobeats – Artist Performance — RustFest Global 2020

33:35

[MONRHEA] – Artist Performance — RustFest Global 2020

19:33

tkat0 - エッジとクラウドでRustを使いこなす～AI/IoTでの事例～ — RustFest Global 2020

25:58

Tarun Pothulapati - Piecing together Rust: It is more than just writing code — RustFest Global 2020

21:59

Aki - Using Rust in Metal Fabrication — RustFest Global 2020

56:13

Zac Burns - Everything is serialization — RustFest Global 2020

23:17

Nikita Baksalyar - Learnable Programming with Rust — RustFest Global 2020

23:26

Anastasia Opara - Rust for Artists. Art for Rustaceans. — RustFest Global 2020

1:01:23

Andrew Dona-Couch - Tier 3 Means Getting Your Hands Dirty — RustFest Global 2020

5:38

Every Rhymed Talk Intro by Andre Bogus (llogiq) the Rust Bard

33:36

Aesthr: Rain on Titan – Artist Performance — RustFest Global 2020

31:36

Linalab && !ME – Artist Performance — RustFest Global 2020

19:55

Vivian Band - Rust for Safer Protocol Development — RustFest Global 2020

30:01

Earth to Abigail: The Forest – Artist Performance — RustFest Global 2020

27:24

Max Orok - Considering Rust for scientific software — RustFest Global 2020

19:57

Gavin & Matthijs - Rust as foundation in a polyglot development environment — RustFest Global 2020

44:29

Christian Poveda - Miri, Undefined Behavior and Foreign Functions — RustFest Global 2020

29:55

Dahlia Fae – Artist Performance — RustFest Global 2020

30:32

Sean Chen - The Anatomy of Error Messages in Rust — RustFest Global 2020

27:00

Colton Donnelly - Rust for Freshmen — RustFest Global 2020

29:33

Carlo & Micah - Project Necromancy: How to Revive a Dead Rust Project — RustFest Global 2020

27:41

Stefan Baerisch - Learning Rust with Humility and in Three Steps — RustFest Global 2020

46:53

Rust Linz, December 2020 - Rainer Stropek - Web APIs with Rocket

19:15

Rust Linz, December 2020 - Stefan Baumgartner - The Exercist (Learning Rust Lightning Talk)

51:25

Rust Linz, December 2020 - Stefan Schindler - Atomic Counters and Cache Lines

1:17:49

Foundation Conversation - Live Broadcast 2