benharri's blog
rss
clear filters
21 Jul, 2022
git diff-highlight
16 Jun, 2020
default branch name
11 Feb, 2019
networking nonsense
16 Nov, 2018
weechat setup
13 Nov, 2018
november 13 post mortem
14 Aug, 2018
no more google
14 Aug, 2018
upsides of new dns nameservers
14 Aug, 2018
dns shenanigans post-mortem
26 Jul, 2018
lxd networking and additional IPs
22 Jul, 2018
dotfiles
02 Oct, 2017
hi there