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