automation 1 devtools 1 event-sourcing 2 functional-programming 4 haskell 4 infrastructure 1 linux 1 media 1 mikrotik 1 networking 1 nix 3 tooling 1 tutorial 1 type-system 1