| | Faking ADTs and GADTs in languages that shouldn't have them (jle.im) |
|
3 points by jle 29 days ago | past
|
|
| | Sum Types and Subtypes and Unions (jle.im) |
|
2 points by JNRowe 54 days ago | past
|
|
| | Sum Types and Subtypes and Unions (jle.im) |
|
2 points by jle 55 days ago | past | 1 comment
|
|
| | Functors to Monads: A Story of Shapes (jle.im) |
|
41 points by JNRowe 5 months ago | past | 7 comments
|
|
| | Functors to Monads: A Story of Shapes (jle.im) |
|
2 points by jle 5 months ago | past
|
|
| | Seven Levels of Type Safety in Haskell: Lists (jle.im) |
|
4 points by JNRowe 7 months ago | past
|
|
| | Haskell Nuggets: K-Means (jle.im) |
|
5 points by romes 9 months ago | past
|
|
| | Haskell Nuggets: K-Means (jle.im) |
|
4 points by thunderbong 9 months ago | past
|
|
| | Haskell nuggets: functional k-means with dependent types (jle.im) |
|
4 points by jle 9 months ago | 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
|
|
| | First Class Statements (jle.im) |
|
48 points by tel on May 17, 2015 | past | 13 comments
|
|
| | IO Monad Considered Harmful (jle.im) |
|
90 points by ryantrinkle on Jan 23, 2015 | past | 74 comments
|
|
| | Auto as Category, Applicative and Arrow (Intro to Machines/Arrows Part 2) (jle.im) |
|
3 points by wollw on July 17, 2014 | past
|
|
|
|
More |
