The Typelevel fork of the Scala compiler has been reinvigorated by the recent community fix for SI-2712, a long-standing problem of type inference for projects which make extensive use of higher-kinded types. Thanks to newly arrived improvements in the compiler build process and SBT it is now dramatically easier to explore and work on compiler internals and use the results in existing Scala projects. Moreover the experience over the last year of activity and collaboration between other Typelevel projects means that we have a clearer idea of what new language features and compiler bug fixes are really of value to the community. The combination of these developments has lowered the barriers to participation in compiler development and provided focus. In this talk I will show what's new in Typelevel Scala, explain how you can use it in your projects today, discuss the collaboration with the Scala team at Lightbend which is making this possible, and encourage you to get involved yourselves.