Posts | Mathematics and Machines

2024

Perfectly Correlated Bernoulli Random Variables

2024-01-06

2017

Scaling "Make Illegal States Unrepresentable"

2017-06-19

2016

Continuations and Free Algebras

2016-03-12

2015

Tests as Data

2015-10-17

uncurry id == uncurry ($)

2015-07-26

Maybe [a]?

2015-07-13

Set is not a Functor (redux)

2015-04-28

Deriving Type Derivatives

2015-04-19

Stabilizing Values

2015-04-08

Fun with fixed points

2015-02-12

2014

Types and semantics

2014-10-23

A Law for Foldable

2014-10-19

Aperiodic semigroups contain no nontrivial subgroups

2014-09-20

Fun with Monogenic Semigroups

2014-09-17

My ETL philosophy

2014-09-11

Fizzbuzz Redux

2014-08-09

Statically Typed Substructures

2014-08-08

Type-level modular arithmetic

2014-07-31

Adventures in Existential Quantification

2014-07-27

Return values vs. Exceptions

2014-07-15

The commutative monoid of the Maybe monad

2014-06-27

Extensible effects and understanding functional patterns

2014-06-12

Yesod and cabal hell

2014-06-09

directed-cubical 0.1.2.0

2014-06-08

Vim, Forth, and Emergent Behavior

2014-03-15

Announcing directed-cubical 0.1.0.0

2014-02-19

Loops and Haskell's "iterate"

2014-02-15

Haskell: The Good, the Bad, and the Ugly

2014-01-31

FizzBuzz via the string monoid

2014-01-31

Dependency Hell with Cabal

2014-01-24

2011

List Processing in Databases, again...

2011-03-18

Fun with finite strings

2011-02-20

Thoughts on SQL

2011-02-04