—

Advent of Code 2020: Haskell Solution Reflections for all 25 Daysin #haskell, #challenges, #advent of code, @Haskell, +Advent of Code

—

Enhancing Functor Structures Step-By-Step (Part 2)in #free, #haskell, #interpreters, #invariant functors, #functor combinators, @Haskell, +Enhancing Functor Structures

—

Enhancing Functor Structures Step-By-Step (Part 1)in #free, #haskell, #interpreters, #invariant functors, #functor combinators, @Haskell, +Enhancing Functor Structures

—

Introducing the mutable libraryin #numerical, @Haskell

—

Dead-simple TCP/IP services using servantin #haskell, #servant, @Haskell, @Tutorials

—

The Functor Combinatorpediain #free, #haskell, #interpreters, #functor combinators, @Haskell

—

Introduction to Singletons (Part 4)in #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons

—

Introduction to Singletons (Part 3)in #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons

—

The Const Applicative and Monoidsin #haskell, #monoids, #applicatives, @Haskell

—

Introducing the backprop libraryin #haskell, #numerical, #machine learning, #artificial neural networks, @Haskell, +Backprop

—

"Interpreters a la Carte" in Advent of Code 2017 Duetin #haskell, #types, #lens, #advent of code, #functor combinators, @Haskell, +Beginner/Intermediate Haskell Projects

—

Introduction to Singletons (Part 2)in #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons

—

Introduction to Singletons (Part 1)in #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons

—

Advent of Code 2017! Ongoing solutions and explanationsin #haskell, #challenges, #advent of code, @Haskell, +Advent of Code

—

Hamiltonian Dynamics in Haskellin #haskell, #physics, #numerical methods, #dependent types, @Haskell, +Hamilton

—

Fixed-Length Vector Types in Haskell (an Update for 2017)in #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, @Reference

—

Verify your Typeclass Instances in Haskell Today!in #dependent types, #haskell, #singletons, #types, #existential types, #abominations, @Haskell

—

Introducing the Hamilton libraryin #haskell, #physics, #numerical methods, @Haskell, @Projects, +Hamilton

—

Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at
Runtimein #dependent types, #numerical, #haskell, #singletons, #types, #artificial neural networks, #machine learning, #existential types, @Haskell, @Ramblings, +Practical Dependent Types in Haskell

—

Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1)in #dependent types, #numerical, #haskell, #singletons, #types, #linear algebra, #artificial neural networks, #machine learning, @Haskell, @Ramblings, +Practical Dependent Types in Haskell

—

Introducing the "Prompt" libraryin #haskell, #monads, @Haskell, @Projects

—

mtl is Not a Monad Transformer Libraryin #haskell, @Haskell, @Ramblings, +Haskell Mythbusters

—

Fixed-Length Vector Types in Haskell, 2015in #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, @Reference

—

A Non-Unique Monad Instancein #haskell, #monads, #algebra, @Haskell, @Projects

—

IO Monad Considered Harmfulin #haskell, #monads, #io, @Haskell, +Haskell Mythbusters

—

First-Class "Statements"in #haskell, #io, @Haskell, @Ramblings

—

Inside My World (Ode to Functor and Monad)in #haskell, #monads, #io, @Haskell, @Ramblings

—

Code 2013in #haskell, #bash, #programming languages, #prolog, #javascript, #ruby, #fortran, #ocaml, #vim, @Ramblings, @Personal

—

Wolf, Goat, Cabbage: The List MonadPlus & Logic Problemsin #haskell, #monads, @Haskell, @Ramblings, +MonadPlus: Success/Failure Monads, +Practical Monads

—

The List MonadPlus --- Practical Fun with Monads (Part 2 of 3)in #haskell, #monads, @Haskell, @Ramblings, +MonadPlus: Success/Failure Monads, +Practical Monads

—

Practical Fun with Monads --- Introducing: MonadPlus!in #haskell, #monads, @Haskell, @Ramblings, +MonadPlus: Success/Failure Monads, +Practical Monads

—

The Compromiseless Reconciliation of I/O and Purityin #haskell, #io, @Haskell, @Ramblings