hnrss.org

Austral: A Systems Language with Linear Types and Capabilities

Article URL: https://borretti.me/article/introducing-austral Comments URL: https://news.ycombinator.com/item?id=43419928 Points: 4 # Comments: 0

Mar 20, 2025 - 06:25
 0
Austral: A Systems Language with Linear Types and Capabilities

Article URL: https://borretti.me/article/introducing-austral

Comments URL: https://news.ycombinator.com/item?id=43419928

Points: 4

# Comments: 0

Lire plus

Tags :

Article précédent

iPhone 17 Pro : attendez-vous à du neuf pour la RAM et l’appareil photo

Article suivant

Fetch-MCP: Playwright-Based MCP Server with Batch URL Fetching Support

Articles similaires

The Business of Phish (2013)

The Business of Phish (2013)

Mar 19, 2025  0

Show HN: Open-source alternatives to tools you pay for

Show HN: Open-source alternatives to tools you pay for

Mar 1, 2025  0

State Department Will Use AI to Search for 'Pro-Hamas' Students to Deport

State Department Will Use AI to Search for 'Pro-Hamas' ...

Mar 9, 2025  0