Presentations by Felix Klock (pnkfelix)

• Contracts for Rust (Rust Verification Workshop, Luxembourg, April 2024)
• Krabcake: A Rust UB Detector (Rust Verification Workshop, Paris April 2023)
• Ask Me Anything, with Felix Klock, hosted by Derek Dreyer (virtual PLDI July 2020, YouTube)
• Rust: Fearless at all Levels (Algolia Search Party, Paris October 2018, video)
• A RustFest Carol (Rust Fest, Zurich September 2017)
• Aliasing, Capabilities, and Ownership in Rust (IWACO, Barcelona June 2017)
• Two Years of Rust (Rust Paris Meetup, May 2017)
• Rust: Systems Programming for Everyone (Craft Conf, Budapest 2017, video)
• mon-artist: A Declarative DSL for Custom Rendering of ASCII Art (PADL, Paris 2017)
• Subtyping in Rust and Clarke's Third Law (Rust Fest, Berlin 2016, video)
• Rust: No Fear Systems Dev (MarComms Agency Day Sept 2016)
• tango: Dancing Around Literate Programming (London Rust Meetup June 2016, video)
• Rust: Systems Programming for Everyone (QCon London 2016, video)
• Rust: A Type System You Didn't Know You Wanted (Curry On 2015, video)
• Rust Demo (Scala Users Group Paris 2014)
• Rust Demo (ML Family Workshop 2014, video)
• Rust Tutorial (CUFP 2014)

other useful links

• Rust nightlies
• Rust play-pen
• rust-lang.org
• standard library docs
• docs