benharri's blog

2022-07-21 git diff-highlight

2020-06-16 default branch name

2019-02-11 networking nonsense

2018-11-16 weechat setup

2018-11-13 november 13 post mortem

2018-08-14 no more google

2018-08-14 upsides of new dns nameservers

2018-08-14 dns shenanigans post-mortem

2018-07-26 lxd networking and additional IPs

2018-07-22 dotfiles

2017-10-02 hi there