Replying to @jaror@social.edu.nl
@raffomania But I guess my main question is: (how) does the federation work?
PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda.
I'm also a #Haskell enthusiast, #GHC contributor, and a member of the GHC Steering Committee and the Core Libraries Committee.
Other than that, I like to play #folk guitar 🎶 and practicing a bit on my banjo 🪕. I also appreciate playing with language 📝 #lightverse.
Replying to @jaror@social.edu.nl
@raffomania But I guess my main question is: (how) does the federation work?
Replying to @raffomania@mstdn.io
@raffomania I just installed it on my home server and had two small hurdles when setting it up:
1. I didn't get BASE_URL right on the first try. I was thrown off by the comment in the docker compose config and thought that it just needed to be the domain name. Adding an example can't hurt.
2. It seemed there is no proper way to set the admin password, but I'm now thinking that I could just run it with the plaintext only on the first run and remove it from the config later.