About me
My name is Josh Holland, and I work on a mix of development and devops tasks at an environmental research organisation in Lancaster, in north-west England. My background is in pure maths and theoretical computer science, and I’m also interested in music, languages, and bellringing.
You can get in touch with me via the social media links in the navigation bar, or by email to josh@inv.alid.pw.
Posts
- Even more on git scratch branches: using Jujutsu - 21 May 2024
- More on git scratch branches: using stgit - 16 April 2021
- Setting up a dev environment for PostgreSQL with nixos-container - 12 July 2020
- Use a scratch branch in git - 23 June 2020
- Hakyll + sourcehut = ☺ - 29 April 2020
- Links for November 2019 - 1 November 2019
- Dear Mr Walker - 3 September 2019
- Links for September 2019 - 3 September 2019
- Links for August 2019 - 6 August 2019
- Links for July 2019 - 3 July 2019
- Links for June 2019 - 1 June 2019
- Children, parents and adults - 11 May 2019
- Links for May 2019 - 1 May 2019
- Links for April 2019 - 1 April 2019
- Dear Dr Whitehead - 26 March 2019
- Worstsort revisited: Is Haskell’s type system stronger? - 14 March 2019
- Links for March 2019 - 1 March 2019
- Worstsort in Rust - 28 February 2019
- Trying out Pijul - 23 January 2019
- Three ways to check whether a file is ASCII-only - 19 October 2018
- More on slide rules and complex multiplication - 7 September 2018
- Slide rules - 30 August 2018
- Googling dates - 7 June 2018
- Shined or shone? - 11 April 2018
- Why write? - 21 March 2018
- Hakyll clean URLs and feeds - 18 March 2018
- Lifting monads to Kleisli categories with distributive laws - 7 March 2018
- New website - 9 February 2018