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/.
Auto ModerationNewsCommunitycreated Sep 28, 2023id 1157074271877746750
549
members
47
online now
8.6%
active ratio
71
legitimacy score
Medium
verification gate
21h ago
last measured
How the legitimacy score of 71 is calculated
Activity +35 8.6% onlineVerified / partner +0 noAge +8 3.1 yrSize +11 549 membersCommunity status +5 communityTrack record +12 measured 57 day(s) over 85d
📈 Measured live across 57 days (85d tracked, 58 snapshots). 🔗 Linked 3 times across the web.
Bigger than 60% of Education Study servers (8,622 measured)
Member history
Measured 92 times; its member count changed 33 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/dnXzHRkJww | invite | live | 21h 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.