Ryan Orendorff
where else to find them
no profile links on file
what they talk about
all 8 in the filters
where they keep going back
- LambdaConf5 editions2017–2025
- Scale By the Bay3 editions2020–2023
on a stage with
who talks about the same things
- Tony Morris16 talks
- Ranjit Jhala19 talks
- Aditya Siram6 talks
- Harold Carr6 talks
- Adam McCullough6 talks
- Pawel Szulc28 talks
| title | conference | date |
|---|---|---|
| Building a compiler and processor for fast processing of encrypted data | LambdaConf 2025 | 2025-05-12 |
Claims a toolchain that takes C, compiles it to a compact FHE instruction set, and runs on a parasol virtual processor with a compiler from C to FHE. Uses… | ||
| Building Private And Secure Applications Easily Using The Sunscreen FHE Compiler&Rust | LambdaConf 2024 | 2024-05-04 |
Claims a usable pipeline that compiles Rust into real FHE programs using the Sunscreen FHE compiler and runs demos on AWS. Shows concrete types like Cipher<T>… | ||
| Building private and secure applications easily. | Scale By the Bay 2023 | 2023-11-13 |
The Sunscreen FHE compiler compiles Rust into programs that run on encrypted data, auto-generating BFV parameters and a runtime that produces keys and… | ||
| Functional Programming + Dependent Types ≡ Verified Linear.. | Scale By the Bay 2021 | 2021-10-28 |
Claims that representing matrices as functions plus dependent types yields verified linear algebra with proofs in Agda; implements matrices as linear functions… | ||
| Scale By the Bay 2021 intro video by Ryan Orendorff | Scale By the Bay 2021 | 2021-10-28 |
Claims that functional programming plus dependent types yields verified linear algebra by representing matrices as matrix-free functions between vector spaces… | ||
| Programming machine learning algorithms in hardware, sanely, using Haskell and Rust! | Scale By the Bay 2020 | 2020-11-12 |
Clash (a Haskell-like language) compiles a dependently-typed neural network (GADTs, type-level naturals) into FPGA logic and a Cyclone V runs a five-layer… | ||
| Using Dependent Types in Mathematical Optimization Algorithms | LambdaConf 2019 | 2019-06-05 |
Uses dependent types in Haskell to encode matrix and vector shapes so linear-algebra calls are type-checked, implements convex optimization (proximal /… | ||
| Introduction to Linear Type Systems and Linear Haskell | LambdaConf 2018 | 2018-06-03 |
Claims that linear types let the compiler guarantee resource protocols rather than runtime checks, demonstrated by a Linear Haskell extension that rejects… | ||
| Deforestation and Program Fusion | LambdaConf 2017 | 2017-05-25 |
Explains how GHC uses rewrite rules to eliminate intermediate lists so high‑level code runs like hand‑tuned loops: foldr/build fusion turns map+sum into a… | ||
| nothing matches | ||