Chasing the Myth of Zero-Overhead Memory Safety (plus pictures of mythical birds!) Languages and Archit Programming LanguagesVale Programming Language 3 years ago
Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection Languages and Archit Programming LanguagesVale Programming Language 3 years ago
MDN doc updates: CSS selectors & media queries, WebGPU & WebTransport APIs, Progressive web apps MDN Blog 3 years ago
The Link Between Generics, Compile Times, Type-Erasure, Cloud Building, and Hot-Code Reloading Languages and Archit Programming LanguagesVale Programming Language 3 years ago
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety Languages and Archit Programming LanguagesVale Programming Language 3 years ago