Hi there,
Can't help noticing that I am having a hard time finding fediverse accounts about my domain. Any chance you know people talking about #AbstractInterpretation, #StaticAnalysis, #SymbolicExecution, #SMT solvers and #FormalMethods in general?

@otini Maybe look at mathstodon.xyz @ColinTheMathmo

@otini You would be welcome to join us on mathstodon.xyz - people here are pretty accepting of abstraction. We're still a bit quiet and will probably end up being more about "Recreational maths" and similar, but you can always hunt down and follow others, then migrate if/when you find somewhere more in line with your interests.

CC: @pelagikat

(Note: I recognise that these might be things you already do or have tried.)

CC: @pelagikat

@otini And I'd also guess that your interests as stated are too niche for there to be an entire instance dedicated to just them, you might need to broaden the terms of your search until you find a wider community that contains your interests.

I have no idea how to do that.

CC: @pelagikat

@ColinTheMathmo @pelagikat Thank you, I will have a look at your instance's timeline!

@otini There's very little there of the things you mention, but they are genuinely niche in the fediverse. You really need to find people to follow, follow them, and then their toots will turn up on your instance. That will make your instance rich in the sorts of things you want.

The problem is finding people to follow.

@pelagikat

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.

Use $ and $ for inline LaTeX, and $ and $ for display mode.