—

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

—

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

—

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

—

Introducing: the Auto library!in #auto, #haskell, @Auto, @Haskell, @Projects, +All About Auto

—

Effectful, Recursive, Real-World Autos: Intro to Machine/Auto Part 3in #arrows, #auto-machines, #haskell, #machines, @Haskell, +Intro to Machines and Arrows

—

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

—

Auto as Category, Applicative & Arrow (Intro to Machines/Arrows Part 2)in #arrows, #auto-machines, #haskell, #machines, @Haskell, +Intro to Machines and Arrows

—

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

—

A (Dead End?) Arrowized Dataflow Parallelism Interface Attemptin #arrows, #haskell, #parallelism, @Haskell, @Projects

—

Intro to Machines & Arrows (Part 1: Stream and Auto)in #arrows, #auto-machines, #functional reactive programming, #haskell, #machines, @Haskell, +Intro to Machines and Arrows

—

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

—

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

—

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

—

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

—

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

—

The Hamster Hotel: An Introduction to Control Theory (Part 2)in #control theory, @Engineering, +Introduction to Control Theory

—

The Hamster Hotel: An Introduction to Control Theory (Part 1)in #control theory, @Engineering, +Introduction to Control Theory