Hacker News
- Austral: A systems language with linear types and capabilities https://borretti.me/article/introducing-austral 120 comments
Lobsters
- Introducing Austral: A Systems Language with Linear Types and Capabilities https://borretti.me/article/introducing-austral 20 comments plt
- Introducing Austral: A Systems Language with Linear Types and Capabilities https://borretti.me/article/introducing-austral 11 comments programminglanguages
Linking pages
- How Austral’s Linear Type Checker Works https://borretti.me/article/how-australs-linear-type-checker-works 25 comments
- Secure the Border and Build the Wall â A Compendium of Access Control on Unix-Like OSes https://venam.nixers.net/blog/unix/2023/02/28/access_control.html 23 comments
- GitHub - lambdaclass/austral.rs: An implementation of the Austral language compiler in Rust https://github.com/lambdaclass/austral.rs 8 comments
- A Compendium of Access Control on Unix-Like OSes https://venam.net/blog/unix/2023/02/28/access_control.html 0 comments
Linked pages
- Let’s stop copying C / fuzzy notepad https://eev.ee/blog/2016/12/01/lets-stop-copying-c/ 799 comments
- So you think you know C? https://wordsandbuttons.online/so_you_think_you_know_c.html 782 comments
- Thought-terminating cliché - Wikipedia https://en.wikipedia.org/wiki/Thought-terminating_clich%C3%A9 175 comments
- The Austral Programming Language https://austral-lang.org 123 comments
- Capability-based security - Wikipedia https://en.wikipedia.org/wiki/Capability-based_security 77 comments
- Most vexing parse - Wikipedia https://en.wikipedia.org/wiki/Most_vexing_parse 25 comments
- Dangling else - Wikipedia https://en.wikipedia.org/wiki/Dangling_else 10 comments
- Algebraic data type - Wikipedia https://en.wikipedia.org/wiki/Algebraic_data_type 8 comments
- Language-theoretic Security http://langsec.org/ 7 comments
- Lexer hack - Wikipedia https://en.wikipedia.org/wiki/Lexer_hack 1 comment
- Spectre (security vulnerability) - Wikipedia https://en.wikipedia.org/wiki/Spectre_(security_vulnerability) 1 comment
- Order of operations - Wikipedia https://en.wikipedia.org/wiki/Order_of_operations 0 comments
- Timing attack - Wikipedia https://en.wikipedia.org/wiki/Timing_attack 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:borretti.me
Search title: Introducing Austral: A Systems Language with Linear Types and Capabilities
See how to search.