Daniel Hensley
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| 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… | ||
| nothing matches | ||