MuniHac 2020: Austin Huang - Hasktorch: Differentiable Functional Programming in Haskell
MuniHac 2020: Duncan Coutts - Contravariant Logging: How to add logging without getting grumpy
MuniHac 2020: Lars Hupel - Theorems for Free
MuniHac 2020 Workshop: Michael Sperber - Control your Effects
MuniHac 2020: Johannes Drever - An Introduction to Applied Category Theory
MuniHac 2020 Workshop: Andres Löh - Liquid Haskell
MuniHac 2020 Workshop: Christiaan Baaij - Building a RISC-V SoC with Haskell and Python
MuniHac 2020: Andrew Lelechenko - Polynomials in Haskell
MuniHac 2016: Hakyll
BTD10: Haxl: Making Concurrency Unreasonably Easy
Scale By The Bay 2021 : Austin Huang, Introducing Hasktorch
MuniHac 2020: Tamar Christina - The new Windows I/O manager (WinIO) in GHC
Torch for R & Hasktorch: Bringing Torch to New Programming Languages | PyTorch Developer Day 2020
Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Pearl)
Introduction to Software Transactional Memory in Haskell
Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings
Differentiable Programming in Supply Chain (Part 1/3) - Ep 45
Linear types for circuit design in Haskell/Clash
Do more with your types: GADTs and LiquidHaskell
The impact of differentiable programming: how ∂P is enabling new science in Julia