1Lab Discussion
The 1lab discord is a safe and inclusive place for discussing cubical methods in homotopy type theory. :cube:
CommunityMember Verification Gate EnabledNewscreated Nov 27, 2021id 914172963157323776
156
members
34
online now
21.8%
active ratio
73
legitimacy score
High
verification gate
8h ago
last measured
How the legitimacy score of 73 is calculated
Activity +35 21.8% onlineVerified / partner +0 noAge +12 4.9 yrSize +9 156 membersCommunity status +5 communityTrack record +12 measured 60 day(s) over 89d
Live activity (widget)
36
online (widget)
1
voice channels
📈 Measured live across 60 days (89d tracked, 62 snapshots). 🔗 Linked 1 time across the web.
Bigger than 42% of Science servers (2,642 measured)
Now playing
Games this server has been measured playing
Historical record from our measurements over time — separate from the live “Now playing” list above.
| Game | Peak players | Last seen |
|---|---|---|
| osu! | 1 | Nov 7, 2026 |
| big walk | 1 | Oct 31, 2026 |
| Dressmaker | 1 | Oct 29, 2026 |
| Slay the Princess | 1 | Oct 29, 2026 |
Member history
Measured 98 times; its member count changed 2 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/NvXkUVYcxV | invite | live | 8h ago |
Same-operator servers
Other servers whose invites were created by the same account — often one operator or a network.
 Univalent Agda | 863 |
Embed & API. 
<img src="https://guildregister.com/badge/914172963157323776.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.