A Hottub
Dependent types for programs you can prove. The global Hottub for Idris — find others who write Idris, send a note, and talk shop. Meet the people who do what you do.
Rooms stay small and curated — no endless feeds. You actually get to know who’s here.
A Host sets the vibe and keeps the room on track. Members show up to recurring Soaks worth coming back for.
No public profiles, no anonymous chat, no DMs. Every conversation is opt-in, with people who chose to be here.