Stories by verdagon

Group Borrowing: Zero-cost memory safety with fewer restrictions

Understanding SIMD: Infinite Complexity of Trivial Problems

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

Rhovas: A programming language for API design and enforcement

You Need More Constraints

Five Years of Rhovas

Experimenting with Memory Management for Basil

Single Ownership and Memory Safety Without Borrow Checking, RC, or GC

What’s the Smallest Variety of Cheri?

Sources of Complexity: Constraints

Implementing a New Memory Safety Approach, Part 1

Hash Codes, Non-Determinism, and Other Eldritch Horrors

What is Systems Programming, Really? (2018)

Which Programming Languages Use the Least Electricity?

Next-Gen Language Features: User Code on the GPU

Vale 0.2 Released: Higher RAII, Concept Functions, Const Generics, FFI, Modules

Added to Vale 0.2 Beta: Concept Functions

On removing let and let mut

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

Data races in Python, despite the Global Interpreter Lock