Austral Programming Language - https://news.ycombinator.com/item?id=36898612 - July 2023 (118 comments)
What Austral proves - https://news.ycombinator.com/item?id=34845895 - Feb 2023 (21 comments)
Austral: A systems language with linear types and capabilities - https://news.ycombinator.com/item?id=34168452 - Dec 2022 (120 comments)