Do you know anyone in real life that uses Lemmy?

One person, a relatively techy friend. He uses my server, the username is @Fortatech@gregtech.eu