—
Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at
Runtime
in #functional programming, #dependent types, #numerical, #haskell, #singletons, #types, #artificial neural networks, #machine learning, #existential types, @Haskell, +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, @Haskell, +Practical Dependent Types in Haskell
—
mtl is Not a Monad Transformer Library
in #functional programming, #haskell, @Haskell, +Haskell Mythbusters
—
Introducing: the Auto library!
in #auto, #haskell, @Haskell, @Projects, @Auto, +All About Auto
—
Effectful, Recursive, Real-World Autos: Intro to Machine/Auto Part 3
in #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, #monads, #io, @Haskell
—
A (Dead End?) Arrowized Dataflow Parallelism Interface Attempt
in #haskell, #parallelism, #arrows, @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 2013
in #functional programming, #haskell, #bash, #programming languages, #prolog, #javascript, #ruby, #fortran, #ocaml, #vim, @Personal
—
Wolf, Goat, Cabbage: The List MonadPlus & Logic Problems
in #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 Purity
in #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