Dotty 0.4.0-RC1 released | Hacker News Reader