Lobsters
- Introducing the Hamilton library https://blog.jle.im/entry/introducing-the-hamilton-library.htm 4 comments haskell
- Shuffling Things Up: Solving Advent of Code with the help of Group Theory, and how Haskell helps nudge us to the solution https://blog.jle.im/entry/shuffling-things-up.html 14 comments haskell
- Adjunctions in the wild: foldl https://blog.jle.im/entry/foldl-adjunction.html 9 comments haskell
- The Functor Combinatorpedia: A run-down of free structures, tensors, and related combinators in the Haskell Ecosystem, with a unified interface for them https://blog.jle.im/entry/functor-combinatorpedia.html 16 comments haskell
- Applicative Regular Expressions using the Free Alternative https://blog.jle.im/entry/free-alternative-regexp.html 4 comments haskell
- Visualizing Prequel Meme Prefix Tries with Recursion Schemes https://blog.jle.im/entry/tries-with-recursion-schemes.html 11 comments haskell
- "Alchemical Groups": Solving Advent of Code Day 5 using group theory (free groups and group homomorphisms) in Haskell https://blog.jle.im/entry/alchemical-groups.html 17 comments haskell
- Lenses embody Products, Prisms embody Sums https://blog.jle.im/entry/lenses-products-prisms-sums.html 18 comments haskell
- A Purely Functional Typed Approach to Trainable Models (Differentiable Programming in Haskell) https://blog.jle.im/entry/purely-functional-typed-models-1.html 5 comments programming
- A Purely Functional Typed Approach to Trainable Models (Differentiable Programming in Haskell) https://blog.jle.im/entry/purely-functional-typed-models-1.html 26 comments haskell
- The Const Applicative and Monoids https://blog.jle.im/entry/const-applicative-and-monoids.html 13 comments haskell
- [ANN] Introducing the Backprop Library: automatic differentiation of heterogeneous functions for numeric optimization https://blog.jle.im/entry/introducing-the-backprop-library.html 5 comments haskell
- Exploring the "Interpreters a la Carte" pattern for Advent of Code 2017's Day 18 (Duet) puzzle https://blog.jle.im/entry/interpreters-a-la-carte-duet.html 4 comments haskell
- An introduction to singletons and the 'singletons' library (part 1) https://blog.jle.im/entry/introduction-to-singletons-1.html 10 comments haskell
- An update to my "Fixed-Length Vector Types in Haskell" article -- after actually using them in real code with modern idioms :) https://blog.jle.im/entry/fixed-length-vector-types-in-haskell.html 4 comments haskell
- Introducing the Hamilton library https://blog.jle.im/entry/introducing-the-hamilton-library.html 10 comments haskell
- Practical Dependent Types in Haskell 2 -- Existential Neural Networks and Types at Runtime https://blog.jle.im/entry/practical-dependent-types-in-haskell-2.html 8 comments haskell
- Practical Dependent Types in Haskell -- Type Safe Neural Networks https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html 14 comments haskell
- Blog Rewrite with Hakyll and Purescript http://blog.jle.im/entry/blog-rewrite-with-hakyll-and-purescript.html 6 comments programming
- mtl is Not a Monad Transformer Library http://blog.jle.im/entry/mtl-is-not-a-monad-transformer-library 18 comments haskell
- Fixed Length Vector Types (with static lengths) in Haskell in 2015 http://blog.jle.im/entry/fixed-length-vector-types-in-haskell-2015 18 comments haskell
- Auto: A Todo GUI application with Auto (on GHCJS, etc.) http://blog.jle.im/entry/auto-a-todo-gui-application-with-auto-on 7 comments haskell
- [Auto library] Building a declarative chatbot with implicit serialization http://blog.jle.im/entry/auto-building-a-declarative-chatbot-with-implicit-serialization 3 comments haskell
- [ANN] the 'auto' library, denotative framework for locally stateful compositional declarative programming http://blog.jle.im/entry/introducing-the-auto-library 41 comments haskell
- jle's Intro to Machines+Arrows p3: Effectful, Recursive, Real-World Autos http://blog.jle.im/entry/effectful-recursive-real-world-autos-intro-to-machine 8 comments haskell
- finding a type with multiple monad instances (a short/fun journey) http://blog.jle.im/entry/a-non-unique-monad-instance 4 comments haskell
- IO Monad Considered Harmful http://blog.jle.im/entry/io-monad-considered-harmful 79 comments programming
- IO Monad Considered Harmful http://blog.jle.im/entry/io-monad-considered-harmful 153 comments haskell
- Intro to Machines & Arrows (Part 1: Stream and Auto) http://blog.jle.im/entry/intro-to-machines-arrows-part-1-stream-and 24 comments haskell
- "First-class 'Statements'": Looking at IO as data, through a Haskell case study. http://blog.jle.im/entry/first-class-statements 72 comments programming
- First-Class "Statements": IO as data http://blog.jle.im/entry/first-class-statements 28 comments haskell
- Intro to Machines & Arrows Part 2: 'Auto' as Category, Applicative & Arrow, ft. locally stateful compositions; Further down the road to an Arrowized FRP implementation. http://blog.jle.im/entry/auto-as-category-applicative-arrow-intro-to-machines 9 comments haskell
- Streaming Huffman Encoding Part 3: Streaming w/ Pipes (Beginner/Intermediate Haskell projects series) http://blog.jle.im/entry/pipes-streaming-huffman-compression-in-haskell-part-3 3 comments haskell
- Curious (with a bit of beginner ranting) about some of the error messages from ghc http://blog.jle.im/entry/inside-my-world-ode-to-functor-and-monad 22 comments haskell
- "I like Haskell because it lets me live inside my world"; an Ode to Functor and Monad (xpost from r/haskell) http://blog.jle.im/entry/inside-my-world-ode-to-functor-and-monad 46 comments programming
- "I like Haskell because it lets me live inside my world"; an Ode to Functor and Monad http://blog.jle.im/entry/inside-my-world-ode-to-functor-and-monad 15 comments haskell
- My (dead end?) attempt at an arrowized dataflow parallelism interface. Help, thoughts, derisions? http://blog.jle.im/entry/a-dead-end-arrowized-dataflow-parallelism-interface 16 comments haskell
- beginner/intermediate Haskell walkthroughs: Huffman Compression ( critique reqested :) ) http://blog.jle.im/entry/streaming-huffman-compression-in-haskell-part-1 11 comments haskell
- Wolf, Goat, Cabbage -- Solving simple logic problems with the List MonadPlus http://blog.jle.im/entry/wolf-goat-cabbage-the-list-monadplus-logic-problems 13 comments haskell
- Small series on MonadPlus for beginner/intermediates :) http://blog.jle.im/entry/practical-fun-with-monads-introducing-monadplus 9 comments haskell