Colin the Mathmo<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@wren_h" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>wren_h</span></a></span> Hi !!</p><p>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.</p><p>It's worth putting hashtags on posts to make them findable. Things like:</p><p><a href="https://mathstodon.xyz/tags/DependentTypes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DependentTypes</span></a> or <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeTheory</span></a> or <a href="https://mathstodon.xyz/tags/TheoremProving" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoremProving</span></a> or <a href="https://mathstodon.xyz/tags/DesignOfProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DesignOfProgrammingLanguages</span></a> 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.</p><p>Good luck!</p>