Newest Stories by jle
Home
Recent
Comments
Search
Login
13
Lenses embody Products, Prisms embody Sums
☶
haskell
blog.jle.im
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
authored by
jle
3 months ago
|
cached
|
no comments
0
4
Introducing the backprop library: automatic differentiation of heterogeneous Haskell functions
haskell
math
blog.jle.im
authored by
jle
6 months ago
|
cached
|
no comments
0
13
Hamiltonian Dynamics: Breaking down a Haskell project w/ physics, linear alg, datakinds, ad, hmatrix
☶
haskell
math
blog.jle.im
authored by
jle
9 months ago
|
cached
|
1 comment
1
9
Fixed-Length Vector Types in Haskell -- a modern treatment
☶
haskell
blog.jle.im
authored by
jle
1 year ago
|
cached
|
1 comment
1
6
Verify your Typeclass Instances in Haskell Today, using Singletons!
☶
haskell
blog.jle.im
authored by
jle
1 year ago
|
cached
|
no comments
0
8
Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at Runtime
haskell
blog.jle.im
authored by
jle
2 years ago
|
cached
|
no comments
0
1
new library: 'auto', denotative framework for locally stateful compositional programming in Haskell
☶
haskell
blog.jle.im
via
jle
3 years ago
|
cached
|
no comments
0
8
"First-class 'Statements'": Looking at IO as data, through a Haskell case study
☶
haskell
blog.jle.im
via
jle
4 years ago
|
cached
|
no comments
0