Formality-Core: an optimal, parallel compile target for functional languages | Hacker News Reader