| | The Baby Paradox in Haskell (jle.im) |
| 6 points by fanf2 7 days ago | past | 1 comment |
|
| | The Baby Paradox in Haskell (jle.im) |
| 2 points by Bogdanp 16 days ago | past |
|
| | The Baby Paradox in Haskell (jle.im) |
| 4 points by jle 17 days ago | past |
|
| | Faking ADTs and GADTs in languages that shouldn't have them (jle.im) |
| 3 points by jle 5 months ago | past |
|
| | Sum Types and Subtypes and Unions (jle.im) |
| 2 points by JNRowe 6 months ago | past |
|
| | Sum Types and Subtypes and Unions (jle.im) |
| 2 points by jle 6 months ago | past | 1 comment |
|
| | Functors to Monads: A Story of Shapes (jle.im) |
| 41 points by JNRowe 10 months ago | past | 7 comments |
|
| | Functors to Monads: A Story of Shapes (jle.im) |
| 2 points by jle 10 months ago | past |
|
| | Seven Levels of Type Safety in Haskell: Lists (jle.im) |
| 4 points by JNRowe on Sept 5, 2024 | past |
|
| | Haskell Nuggets: K-Means (jle.im) |
| 5 points by romes on July 28, 2024 | past |
|
| | Haskell Nuggets: K-Means (jle.im) |
| 4 points by thunderbong on July 27, 2024 | past |
|
| | Haskell nuggets: functional k-means with dependent types (jle.im) |
| 4 points by jle on July 26, 2024 | past |
|
| | Breaking a Degenerate Hyper-Dimensional Game of Life [+ Interactive Visualizati (jle.im) |
| 2 points by todsacerdoti on Feb 11, 2021 | past |
|
| | Shuffling Things Up: Solving Advent of Code with Group Theory and Haskell (jle.im) |
| 3 points by jle on Nov 19, 2020 | past |
|
| | Shuffling Things Up: Applying Group Theory in Advent of Code (jle.im) |
| 2 points by azhenley on Nov 18, 2020 | past |
|
| | The Mutable Library for Haskell (jle.im) |
| 3 points by azhenley on Jan 24, 2020 | past |
|
| | Adjunctions in the Wild: Foldl (jle.im) |
| 2 points by adamnemecek on Jan 14, 2020 | past |
|
| | The Functor Combinatorpedia (jle.im) |
| 3 points by g0xA52A2A on June 20, 2019 | past |
|
| | Applicative Regular Expressions Using the Free Alternative (jle.im) |
| 3 points by g0xA52A2A on April 8, 2019 | past |
|
| | Solving Advent of Code Day 5 w Group Theory (free groups, group homomorphisms) (jle.im) |
| 4 points by jle on Dec 6, 2018 | past |
|
| | Purely Functional Approach to Typed Trainable Models (jle.im) |
| 2 points by KirinDave on June 12, 2018 | past |
|
| | A Purely Functional Typed Approach to Trainable Models (jle.im) |
| 1 point by cristiandima on May 18, 2018 | past | 1 comment |
|
| | A Purely Functional Typed Approach to Trainable Models (jle.im) |
| 1 point by jle on May 14, 2018 | past |
|
| | Typesafe Neural Networks in Haskell with Dependent Types (jle.im) |
| 140 points by KirinDave on Jan 7, 2018 | past | 18 comments |
|
| | Hamiltonian Dynamics in Haskell (jle.im) |
| 2 points by signa11 on Nov 28, 2017 | past |
|
| | Hamiltonian Dynamics: Breaking Down a Haskell Project with Physics and HMatrix (jle.im) |
| 1 point by jle on Nov 27, 2017 | past |
|
| | Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) (jle.im) |
| 3 points by adamnemecek on Dec 28, 2016 | past |
|
| | Automatic Propagation of Uncertainty with AD in Haskell (jle.im) |
| 1 point by mrkgnao on Nov 23, 2016 | past |
|
| | Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) (jle.im) |
| 2 points by adamnemecek on May 25, 2016 | past |
|
| | IO Monad Considered Harmful – In Code (jle.im) |
| 3 points by sea6ear on Aug 31, 2015 | past |
|
|
| More |
