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