How Austral’s Linear Type Checker Works | Dark Hacker News