Archives: Page 4

Rambling about time zones

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

Posted by Thomas Sutton on June 22, 2016. Tagged with: rambling, notes, time.

Linux.conf.au 2016 round-up

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

Posted by Thomas Sutton on February 8, 2016. Tagged with: event, linux.conf.au, conference, open source.

Books I read in 2015

A roundup of the books I finished reading during 2015.

Posted by Thomas Sutton on December 31, 2015. Tagged with: reading, books, roundup.

Installing Python 3.5.1 from source

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

Posted by Thomas Sutton on December 30, 2015. Tagged with: howto, linux, software, install, source, python.

Some ScalaCheck generators fail too much

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

Posted by Thomas Sutton on December 29, 2015. Tagged with: scala, functional programming, work, testing, properties.

Combining git repositories

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

Posted by Thomas Sutton on December 29, 2015. Tagged with: howto, git, rewrite, history.

Recommended Podcasts

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

Posted by Thomas Sutton on December 12, 2015. Tagged with: recommended, podcast.

Using Let's Encrypt

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

Posted by Thomas Sutton on December 11, 2015. Tagged with: howto, security, ssl, 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.

Posted by Thomas Sutton on June 24, 2015. Tagged with: events, fp-syd, coq, theorem proving, competition, video.

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.

Posted by Thomas Sutton on May 27, 2015. Tagged with: presentations, events, fp-syd, lambdajam.