Haskell

Emulating closed type classes with closed type families

2017-01-18

Haskell actually implements two languages: The value-level language, and a more limited type-level language that is evaluated at compile time. …

Writing HTML apps in Haskell - Part 2

2016-12-01

In part 1 I described the basic two-process setup for accessing the DOM from within Haskell. …

Writing HTML apps in Haskell - Part 1

2016-11-26

Recently I wanted to to build a user interface in Haskell that runs on my Gnome desktop, not in the cloud (the audience gasps). …

Monitoring your NVidia GPU with Prometheus

2016-08-25

I have a deep learning box that runs various computations on both CPU and GPU. The ability to off-load expensive computations from my laptop is fantastic. …

Unit testing with types

2016-04-22

I’m an incredibly sloppy programmer, and I lean on the compiler heavily to help me not be stupid. One of my favourite things is to use types to enforce properties of data. …