Justin Le
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
- Ryan Lemmer4 talks
- Stephanie Weirich14 talks
- Andres Löh7 talks
- Alejandro Serrano Mena14 talks
- Michael Sperber15 talks
- Teo Camarasu3 talks
| title | conference | date |
|---|---|---|
| Four Years of Embedded Haskell in Critical Real-Time Systems: Lessons and Insights | Haskell 2025 | 2025-10-16 |
Since 2021 Haskell runs as the orchestration layer across Linux boxes, coordinating sensors, FPGAs, CUDA kernels and C FFI components; teams report zero-copy… | ||
| Machine Learning Primitives as Algebraic Effects | Haskell 2025 | 2025-10-16 |
Claims that Haskell encodes ML stages and primitives as composable effects, so automatic differentiation as an algebraic effect and parameter initialization… | ||
| Singletons and You in Haskell | LambdaConf 2017 | 2017-05-25 |
Shows how Richard Eisenberg's singletons library actually gives runtime witnesses so type-level states become usable values, illustrated by a GADT Door state… | ||
| Enhancing your Haskell with Dependently Typed Programming | LambdaConf 2017 | 2017-05-25 |
Dependently-typed Haskell is used to build a neural‑network implementation whose linear algebra stays identical but whose dimension mismatches move from… | ||
| nothing matches | ||