3Faking ADTs and GADTs in languages that shouldn't have them (opens in new tab)(blog.jle.im)3jle1y ago0Save
6Haskell nuggets: functional k-means with dependent types (opens in new tab)(blog.jle.im)4jle1y ago0Save
7Shuffling Things Up: Solving Advent of Code with Group Theory and Haskell (opens in new tab)(blog.jle.im)3jle5y ago0Save
8Solving Advent of Code Day 5 w Group Theory (free groups, group homomorphisms) (opens in new tab)(blog.jle.im)4jle7y ago0Save
9A Purely Functional Typed Approach to Trainable Models (opens in new tab)(blog.jle.im)1jle8y ago0Save
10Hamiltonian Dynamics: Breaking Down a Haskell Project with Physics and HMatrix (opens in new tab)(blog.jle.im)1jle8y ago0Save