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
500
members
71
online now
14.2%
active ratio
64
legitimacy score
Medium
verification gate
5h ago
last measured
How the legitimacy score of 64 is calculated
Activity +35 14.2% onlineVerified / partner +0 noAge +7 2.9 yrSize +11 500 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 25 times; its member count changed 6 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/dnXzHRkJww | invite | live | 5h 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.