Archives: Page 3


Books I read in 2015

A roundup of the books I finished reading during 2015.


Installing Python 3.5.1 from source

A quick introduction to installing software (like Python) from source on Linux.


Some ScalaCheck generators fail too much

ScalaCheck comes with generators which will happily try and, with high probability, fail to construct sets.


Combining git repositories

A quick run down of combining git repositories which do not share history.


Recommended Podcasts

Here's a list of the podcasts I've been listening to lately.


Using Let's Encrypt

Here's a quick guide to requesting free certificates with Let's Encrypt and installing them on Nginx.


Second Annual FP-Syd Coq Fight

Last night was the second annual FP-Syd Coq Fight, the only competitive theorem proving event in the world! Here are some notes and a recording of the final round live stream.


Retcon and dynamic programming talks

I've given two talks in the last week or so: one on Retcon and another on dynamic programming in Haskell. Here are the slides.


My presentations on Speaker Deck

I've just created a Speaker Deck account to host slides from presentations I've given.


Testing multiple GHC versions on Travis CI

We're currently in a transition period between GHC releases so it's important to be able to test packages with multiple versions of GHC. Here's the standard approach and what I learned doing it to a package of mine.