@otini in fact, I'd like to follow some of such people too ;) I am currently learning in that direction
@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.
@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.
@otini did my PhD in that, a decade ago. If you find interesting sources, let me know - happy to read about new developments.
functional.cafe is an instance for people interested in functional programming and languages.