Over 1 Formal Methods starter packs to help you get started on Bluesky.
Bluesky starter pack
Theoretical Computer Science, broadly construed. Get in touch if you think you should be added. Likely has an unintentional slant towards "Theory A" (algorithms & complexity) just because of who created it.
Joshua Grochow
