If you have Telegram, you can view and join
Formal Compilers and Static Analyzers right away.