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
497
members
66
online now
13.3%
active ratio
64
legitimacy score
Medium
verification gate
1d ago
last measured
How the legitimacy score of 64 is calculated
Activity +35 13.3% onlineVerified / partner +0 noAge +7 2.9 yrSize +11 497 membersCommunity status +5 communityTrack record +6 measured 21 day(s) over 26d
📈 Measured live across 21 days (26d tracked, 22 snapshots). 🔗 Linked 3 times across the web.
Member history
Measured 24 times; its member count changed 5 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/dnXzHRkJww | invite | live | 1d 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.