Viewing profile — raek

I saw just now that there are also system units (started with "systemctl enable --now syncthing@USER_NAME_HERE.service", note the lack of --user). If you use those then you don't n…

Regarding backups... Syncthing is great for propagating changes to all devices, but does not offer much in terms of backups and previous versions of files. (And I'm fine with that.…

More information: https://docs.syncthing.net/users/autostart.html#using-system... The Debian/Ubuntu packages ship all the needed files. You only need to activate them.

On Ubuntu (and probably other distros that use Systemd as well) you need to enable the user service manually once for your user: systemctl --user enable --now syncthing.service Thi…

For you language nerds: the author Gretchen McCulloch also hosts a podcast, Lingthusiasm! ( https://lingthusiasm.com/ )

You don't use another interface when thinking "IO type" instead of "IO monad". It's all about what words you use to explain the types of the interface. For example, when you write …

Exactly. You only need to know about some primitive operations (like putStrLn and getLine), and ways to combine them (like >>, >>=, and return). This was my point when I wrote my "…