Scale By the Bay 2023 intro video by Ryan Orendorff
Ryan Orendorff - Functional Programming + Dependent Types ≡ Verified Linear Algebra
Scale By The Bay 2021 : Ryan Orendorff, Functional Programming + Dependent Types ≡ Verified Linear..
Scale By the Bay 2021 intro video by Ryan Orendorff
You got Agda in my Haskell By Ryan Orendorff
Scale By the Bay 2023: Interview with Ryan Orendorff.
Ryan Orendorff about his talk "Functional Programming + Dependent Types ≡ Verified Linear Algebra"
Scale By The Bay 2020: Ryan Orendorff & Daniel Hensley, Programming machine learning algorithms...
Ryan Orendorff: Medical Imaging Programming Errors - λC 2016
SBTB 2023: Ryan Orendorff, Building private and secure applications easily.
Ryan Orendorff - Deforestation and Program Fusion - λC 2017
Unlock the enigma of Fully Homomorphic Encryption with Ryan Orendorff. #bythebay #shorts
Ryan Orendorff & Daniel Hensley - Introduction to Linear Type Systems and Linear Haskell - λC 2018
Ryan Orendorff: Algebraic Operations and Derivatives on Algebraic Data Types - LambdaConf 2016
Ryan Orendorff- Using Dependent Types in Mathematical Optimization Algorithms- λC 2019
Building Private And Secure Applications Easily Using The Sunscreen FHE Compiler&Rust-Ryan Orendorff
Proteios: Protein Visualization
reDeFining RWA at Token2049 - Panel: DeCC - Security Is Inevitable in Blockchains
Implementing Linear Haskell
Esoma Exercise System - Cardiac Rehab Using the Kinect
