Jo is a statically typed language that enables compile-time sandboxing | Hacker News Reader