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
566
members
73
online now
12.9%
active ratio
70
legitimacy score
Medium
verification gate
18h ago
last measured
How the legitimacy score of 70 is calculated
Activity +35 12.9% onlineVerified / partner +0 noAge +8 3.1 yrSize +11 566 membersCommunity status +5 communityTrack record +11 measured 49 day(s) over 73d
📈 Measured live across 49 days (73d tracked, 50 snapshots). 🔗 Linked 3 times across the web.
Bigger than 60% of Education Study servers (8,594 measured)
Member history
Measured 76 times; its member count changed 27 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/dnXzHRkJww | invite | live | 18h 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.