1. 13
    Lenses embody Products, Prisms embody Sums ☶ haskell blog.jle.im
    jle avatar authored by jle 2 months ago | cached | 2 comments
  2. 13
    A Purely Functional Typed Approach to Trainable Models (Differentiable Programming in Haskell) ☶ ai haskell blog.jle.im
    jle avatar authored by jle 3 months ago | cached | no comments
  3. 4
    Introducing the backprop library: automatic differentiation of heterogeneous Haskell functions haskell math blog.jle.im
    jle avatar authored by jle 6 months ago | cached | no comments
  4. 13
    Hamiltonian Dynamics: Breaking down a Haskell project w/ physics, linear alg, datakinds, ad, hmatrix ☶ haskell math blog.jle.im
    jle avatar authored by jle 9 months ago | cached | 1 comment
  5. 9
    Fixed-Length Vector Types in Haskell -- a modern treatment ☶ haskell blog.jle.im
    jle avatar authored by jle 1 year ago | cached | 1 comment
  6. 6
    Verify your Typeclass Instances in Haskell Today, using Singletons! ☶ haskell blog.jle.im
    jle avatar authored by jle 1 year ago | cached | no comments
  7. 8
    Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at Runtime haskell blog.jle.im
    jle avatar authored by jle 2 years ago | cached | no comments
  8. 1
    new library: 'auto', denotative framework for locally stateful compositional programming in Haskell ☶ haskell blog.jle.im
    jle avatar via jle 3 years ago | cached | no comments
  9. 8
    "First-class 'Statements'": Looking at IO as data, through a Haskell case study ☶ haskell blog.jle.im
    jle avatar via jle 4 years ago | cached | no comments