Fernando Borretti personal blog
Austral: A systems language with linear types and capabilities
Introducing a new programming language.
- Points
- 211
- HN comments
- 155
- Submissions
- 2
- Cited by
- 9 commenters
Programming LanguagesSystems & Performance2022
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 29, 2022 | Austral: A systems language with linear types and capabilities by riidom | 211 | 120 |
| Mar 20, 2025 | Austral: A Systems Language with Linear Types and Capabilities (2022) by yamrzou | 155 | 35 |
Cited in comments
Linked from 9 Hacker News comments by 9 different people, from Mar 2023 to Apr 2025.
Most recent:
- hyperbrainer · Apr 20, 2025
- fwlr · Mar 19, 2025
- Taikonerd · Feb 7, 2025
- ocdtrekkie · Aug 27, 2024
- brabel · May 8, 2024
- steinuil · Feb 9, 2024
