RSS.Social

Languages and Architecture

follow: @[email protected]

Posts

Group Borrowing: Zero-Cost Memory Safety with Fewer Restrictions

On Joining the Mojo Compiler Team

Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness

Higher RAII, and the Seven Arcane Uses of Linear Types

Layer-wise inferencing + batching: Small VRAM doesn't limit LLM throughput anymore

Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches

An Unexpected Quest in Implementing Vale's Region Borrowing

How To Survive Your Project's First 100,000 Lines

How Memory Safety Approaches Speed Up and Slow Down Development Velocity

Zero-Cost Memory Safety with Vale Regions (Preview)

Hash Codes, Non-Determinism, and Other Eldritch Horrors

Vale 0.2 Released: Higher RAII, Concept Functions, Const Generics, FFI, Modules, Faster Compiles, set Keyword

Const Generics and the Compile Time Spread Operator

On Removing Let and Let Mut

Surprising Weak-Ref Implementations: Swift, Obj-C, C++, Rust, and Vale

Seamless, Fearless, and Structured Concurrency

Vale's Hybrid-Generational Memory

Zero-Cost References with Regions in Vale

The Next Steps for Single Ownership and RAII

Exploring Seamless Rust Interop for Newer Languages, Part 1

Vale's First Prototype for Immutable Region Borrowing

Generational References (Expanded)

Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection

Chasing the Myth of Zero-Overhead Memory Safety (plus pictures of mythical birds!)

Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection

The Link Between Generics, Compile Times, Type-Erasure, Cloud Building, and Hot-Code Reloading

What Vale Taught Me About Linear Types, Borrowing, and Memory Safety

Implementing a New Memory Safety Approach, Part 1

When to Use Memory Safe Languages, Part 1: Safety in Non-Memory-Safe Languages

Perfect Replayability

Vale's Fearless FFI, for Safer Dependencies and Supply-Chain Attack Mitigation

Added to Vale 0.2 Beta: Concept Functions

A Tale of Yak Shaving: Accidentally Making a Language, for an Engine, for a Game

Vale's Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challenge