Johny is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
@CobaltVelvet Cool avatar, order from random values of dice on 3 points? Neat.
@CobaltVelvet There is cool numberphile video about it, but I guess you already know it.
@johny yeah it's nice