A Hottub
Formally verifiable Ada — provably safe code for the highest-stakes systems. The global Hottub for SPARK (Ada) — find others who write SPARK (Ada), 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.