Very interesting talk by Dmitry Petrashko about Sorbet, a type checker for Ruby.
https://www.infoq.com/presentations/sorbet-type-checker-ruby/
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!