—
Sum Types and Subtypes and Unionsin #functional programming
—
Advent of Code 2024: Haskell Solution Reflections for all 25 Daysin #functional programming, #haskell, #challenges, #advent of code, +Advent of Code
—
Functors to Monads: A Story of Shapesin #functional programming, #haskell, #interpreters, #functors, #functor combinators, #monads
—
Seven Levels of Type Safety in Haskell: Listsin #functional programming, #dependent types, #haskell, #singletons, #types
—
Haskell Nuggets: k-meansin #haskell, #machine learning, #dependent types, #functional programming
—
Breaking a Degenerate Hyper-Dimensional Game of Lifein #advent of code, #math, #cellular automata, +Advent of Code
—
Advent of Code 2020: Haskell Solution Reflections for all 25 Daysin #functional programming, #haskell, #challenges, #advent of code, +Advent of Code
—
Roll your own Holly Jolly streaming combinators with Freein #haskell, #functor combinators
—
Shuffling things up: Applying Group Theory in Advent of Codein #haskell, #advent of code, #abstract algebra, #group theory, @Math, +Advent of Code
—
Enhancing Functor Structures Step-By-Step (Part 2)in #functional programming, #free, #haskell, #interpreters, #invariant functors, #functor combinators, +Enhancing Functor Structures
—
Enhancing Functor Structures Step-By-Step (Part 1)in #functional programming, #free, #haskell, #interpreters, #invariant functors, #functor combinators, +Enhancing Functor Structures
—
Introducing the mutable libraryin #functional programming, #numerical
—
Adjunctions in the wild: foldlin #haskell, #category theory, @Math
—
Dead-simple TCP/IP services using servantin #functional programming, #haskell, #servant, @Tutorials
—
The Functor Combinatorpediain #functional programming, #free, #haskell, #interpreters, #functor combinators
—
Applicative Regular Expressions using the Free Alternativein #haskell, #parsers, #functor combinators, @Math
—
Visualizing Prequel Meme Prefix Tries with Recursion Schemesin #haskell, #recursion schemes, @Tutorials, +Beginner/Intermediate Haskell Projects
—
Alchemical Groups: Advent of Code with Free Groups and Group Homomorphismsin #haskell, #advent of code, #abstract algebra, #group theory, @Math, +Advent of Code
—
Introduction to Singletons (Part 4)in #functional programming, #dependent types, #haskell, #singletons, #types, @Tutorials, +Introduction to Singletons
—
Introduction to Singletons (Part 3)in #functional programming, #dependent types, #haskell, #singletons, #types, @Tutorials, +Introduction to Singletons
—
Lenses embody Products, Prisms embody Sumsin #lenses, #profunctors
—
A Purely Functional Typed Approach to Trainable Models (Part 3)in #machine learning, #differentiable programming, #deep learning, #backprop, #modeling, +Functional Models
—
A Purely Functional Typed Approach to Trainable Models (Part 2)in #machine learning, #differentiable programming, #deep learning, #backprop, #modeling, +Functional Models
—
A Purely Functional Typed Approach to Trainable Models (Part 1)in #machine learning, #differentiable programming, #deep learning, #backprop, #modeling, +Functional Models
—
The Const Applicative and Monoidsin #functional programming, #haskell, #monoids, #applicatives
—
Introducing the backprop libraryin #functional programming, #haskell, #numerical, #machine learning, #artificial neural networks, +Backprop
—
"Interpreters a la Carte" in Advent of Code 2017 Duetin #functional programming, #haskell, #types, #lens, #advent of code, #functor combinators, +Beginner/Intermediate Haskell Projects
—
Introduction to Singletons (Part 2)in #functional programming, #dependent types, #haskell, #singletons, #types, @Tutorials, +Introduction to Singletons
—
Introduction to Singletons (Part 1)in #functional programming, #dependent types, #haskell, #singletons, #types, @Tutorials, +Introduction to Singletons
—
Advent of Code 2017! Ongoing solutions and explanationsin #functional programming, #haskell, #challenges, #advent of code, +Advent of Code
—
Hamiltonian Dynamics in Haskellin #functional programming, #haskell, #physics, #numerical methods, #dependent types, +Hamilton
—
Fixed-Length Vector Types in Haskell (an Update for 2017)in #functional programming, #dependent types, #haskell, #singletons, #types, @Tutorials, @Reference
—
Verify your Typeclass Instances in Haskell Today!in #functional programming, #dependent types, #haskell, #singletons, #types, #existential types, #abominations
—
Introducing the Hamilton libraryin #functional programming, #haskell, #physics, #numerical methods, @Projects, +Hamilton
—
Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at
Runtimein #functional programming, #dependent types, #numerical, #haskell, #singletons, #types, #artificial neural networks, #machine learning, #existential types, @Ramblings, +Practical Dependent Types in Haskell
—
Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1)in #functional programming, #dependent types, #numerical, #haskell, #singletons, #types, #linear algebra, #artificial neural networks, #machine learning, @Ramblings, +Practical Dependent Types in Haskell
—
Automatic Propagation of Uncertainty with ADin #haskell, #ad, #numerical methods, @Tutorials, +Uncertain, +Beginner/Intermediate Haskell Projects
—
Introducing the "Prompt" libraryin #functional programming, #haskell, #monads, @Projects
—
mtl is Not a Monad Transformer Libraryin #functional programming, #haskell, @Ramblings, +Haskell Mythbusters
—
Fixed-Length Vector Types in Haskell, 2015in #functional programming, #dependent types, #haskell, #singletons, #types, @Tutorials, @Reference
—
Unique sample drawing & searches with List and StateT --- "Send more money"in #haskell, #monads, @Tutorials
—
Auto: A Todo GUI application with Auto (on GHCJS, etc.)in #auto, #haskell, #ghcjs, @Auto, @Tutorials, +All About Auto, +Beginner/Intermediate Haskell Projects
—
Auto: Building a Declarative Chatbot with Implicit Serializationin #auto, #haskell, @Auto, @Tutorials, +All About Auto, +Beginner/Intermediate Haskell Projects
—
Introducing: the Auto library!in #auto, #haskell, @Ramblings, @Projects, @Auto, +All About Auto
—
Effectful, Recursive, Real-World Autos: Intro to Machine/Auto Part 3in #arrows, #auto-machines, #haskell, #machines, @Ramblings, +Intro to Machines and Arrows
—
A Non-Unique Monad Instancein #haskell, #functional programming, #monads, #algebra, @Projects
—
IO Monad Considered Harmfulin #haskell, #functional programming, #monads, #io, +Haskell Mythbusters
—
First-Class "Statements"in #functional programming, #haskell, #io, @Ramblings
—
Auto as Category, Applicative & Arrow (Intro to Machines/Arrows Part 2)in #arrows, #auto-machines, #haskell, #machines, @Ramblings, +Intro to Machines and Arrows
—
Pipes: Streaming Huffman Compression in Haskell (Part 3)in #haskell, #pipes, @Tutorials, +Huffman Compression, +Beginner/Intermediate Haskell Projects
—
Inside My World (Ode to Functor and Monad)in #functional programming, #haskell, #monads, #io, @Ramblings
—
Streaming Huffman Compression in Haskell (Part 2: Binary and Searches)in #haskell, @Tutorials, +Huffman Compression, +Beginner/Intermediate Haskell Projects
—
A (Dead End?) Arrowized Dataflow Parallelism Interface Attemptin #haskell, #parallelism, #arrows, @Ramblings, @Projects
—
Streaming Huffman Compression in Haskell (Part 1: Trees and State)in #haskell, #monads, @Tutorials, +Huffman Compression, +Beginner/Intermediate Haskell Projects
—
Intro to Machines & Arrows (Part 1: Stream and Auto)in #arrows, #auto-machines, #functional reactive programming, #haskell, #machines, @Ramblings, +Intro to Machines and Arrows
—
Wolf, Goat, Cabbage: The List MonadPlus & Logic Problemsin #functional programming, #haskell, #monads, @Ramblings, +MonadPlus: Success/Failure Monads, +Practical Monads
—
The List MonadPlus --- Practical Fun with Monads (Part 2 of 3)in #functional programming, #haskell, #monads, @Ramblings, +MonadPlus: Success/Failure Monads, +Practical Monads
—
Practical Fun with Monads --- Introducing: MonadPlus!in #functional programming, #haskell, #monads, @Ramblings, +MonadPlus: Success/Failure Monads, +Practical Monads
—
The Compromiseless Reconciliation of I/O and Purityin #functional programming, #haskell, #io, @Ramblings
—
Deploying Medium to Large Haskell Apps to Heroku by Precompilingin #web development, #heroku, #haskell, #outdated, @Tutorials
—
Shake: Task Automation and Scripting in Haskellin #shake, #scripting, #haskell, @Tutorials