These are public pings tagged with #tic80. You can interact with them if you have an account anywhere in the fediverse
