TypeSig
TypeSig is a student-run special interest group for semantics, programming languages, type theory, compilers, concurrency, and any other field of theoretical CS. Website at https://typesig.pl/.
NewsAuto ModerationCommunitycreated Sep 28, 2023id 1157074271877746750
564
members
31
online now
5.5%
active ratio
69
legitimacy score
Medium
verification gate
19h ago
last measured
How the legitimacy score of 69 is calculated
Activity +35 5.5% onlineVerified / partner +0 noAge +8 3.0 yrSize +11 564 membersCommunity status +5 communityTrack record +10 measured 44 day(s) over 64d
📈 Measured live across 44 days (64d tracked, 45 snapshots). 🔗 Linked 3 times across the web.
Bigger than 60% of Education Study servers (8,282 measured)
Member history
Measured 66 times; its member count changed 23 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/dnXzHRkJww | invite | live | 19h ago |
Embed & API. 
<img src="https://guildregister.com/badge/1157074271877746750.svg"> · JSON · Own this server? Claim itFirst seen Aug 10, 2026. Member and online counts are Discord's own approximate counts, measured from the public invite API. GuildRegister is not affiliated with Discord.