Search
 
   

18 results for "domain:blog.jle.im"

  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. 3
    The Const Applicative and Monoids haskell plt blog.jle.im
    NinjaTrappeur avatar via NinjaTrappeur 3 months ago | cached | no comments
  4. 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
  5. 8
    Introduction to Singletons haskell programming blog.jle.im
    NinjaTrappeur avatar via NinjaTrappeur 7 months ago | cached | no comments
  6. 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
  7. 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
  8. 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
  9. 11
    Introducing the Hamilton library haskell blog.jle.im
    passy avatar via passy 1 year ago | cached | 4 comments
  10. 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
  11. 14
    Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) haskell blog.jle.im
    pushcx avatar via pushcx 2 years ago | cached | no comments
  12. 5
    mtl is Not a Monad Transformer Library haskell blog.jle.im
    passy avatar via passy 3 years ago | cached | no comments
  13. 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
  14. 2
    Effectful, Recursive, Real-World Autos: Intro to Machine/Auto Part 3 haskell programming blog.jle.im
    jonschoning avatar via jonschoning 3 years ago | cached | no comments
  15. 22
    IO Monad Considered Harmful haskell blog.jle.im
    pushcx avatar via pushcx 3 years ago | cached | 11 comments
  16. 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
  17. 6
    Streaming Huffman Compression (Part 1: Trees and State) haskell programming blog.jle.im
    bitemyapp avatar via bitemyapp 4 years ago | cached | no comments
  18. 8
    Inside My World (Ode to Functor and Monad) haskell blog.jle.im
    penberg avatar via penberg 4 years ago | cached | no comments