janriemer, The #Austral Programming Language
"Austral is a new systems #ProgrammingLanguage. You can think of it as #Rust: The Good Parts or a modernized, stripped-down #Ada. It features a strong #StaticTypeSystem, #LinearTypes, capability-based security, and strong modularity."
Introducing Austral: A Systems Language with Linear Types and Capabilities:
https://borretti.me/article/introducing-austral
Looks like my prediction of future programming langs hold true:
https://floss.social/@janriemer/109727164361812679