Tags
- #haskell (57)
- #functional programming (35)
- #dependent types (12)
- #types (11)
- #monads (10)
- #singletons (10)
- #advent of code (7)
- #functor combinators (7)
- #machine learning (7)
- #physics (5)
- #arrows (4)
- #interpreters (4)
- #io (4)
- #numerical (4)
- #numerical methods (4)
- #artificial neural networks (3)
- #auto (3)
- #auto-machines (3)
- #backprop (3)
- #deep learning (3)
- #differentiable programming (3)
- #free (3)
- #linear algebra (3)
- #machines (3)
- #modeling (3)
- #abstract algebra (2)
- #bash (2)
- #challenges (2)
- #control theory (2)
- #doctorate (2)
- #education (2)
- #existential types (2)
- #group theory (2)
- #invariant functors (2)
- #purescript (2)
- #abominations (1)
- #ad (1)
- #algebra (1)
- #applicatives (1)
- #category theory (1)
- #cellular automata (1)
- #chapman (1)
- #command line (1)
- #fay (1)
- #fortran (1)
- #functional reactive programming (1)
- #functors (1)
- #ghcjs (1)
- #hakyll (1)
- #heroku (1)
- #javascript (1)
- #lens (1)
- #lenses (1)
- #life (1)
- #math (1)
- #mathematics (1)
- #monoids (1)
- #nix (1)
- #ocaml (1)
- #outdated (1)
- #parallelism (1)
- #parsers (1)
- #personal (1)
- #pipes (1)
- #profunctors (1)
- #programming languages (1)
- #prolog (1)
- #recursion schemes (1)
- #reflection (1)
- #ruby (1)
- #scripting (1)
- #servant (1)
- #shake (1)
- #shell scripting (1)
- #unix (1)
- #utilities (1)
- #vim (1)
- #web development (1)