@wren_h Hi !!

It's great to have you here, and pleased that you're not some sort of robot. Not sure where you got the message that you should make such a post, but it's definitely a good idea to start interacting. There are no algorithms here to fill your timeline(s) with posts that other things think you should be interested in.

It's worth putting hashtags on posts to make them findable. Things like:

#DependentTypes or #TypeTheory or #TheoremProving or #DesignOfProgrammingLanguages or similar. Then when you've done that, have a look at your own post and click on the hashtags to see who else is talking about them.

Good luck!