Archives: Page 4


Rambling about time zones

Here's some rambling about time zones which I decided not to send to a mailing list.


Linux.conf.au 2016 round-up

Here's a quick run down of the linux.conf.au 2016 talks which stuck with me.


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.