Tag
ownership
- Sep 11, 2026 Reference Counting and Its Structural Blindness to Cycles Why a count per object frees memory deterministically and still leaks a two-node cycle, what the counting discipline costs per assignment, and how trial deletion recovers. language runtimes
- Aug 6, 2026 Reference Counting and the Cycle It Cannot Break How an atomic count turns ownership into a distributed protocol, why strong counts cannot reclaim a cycle, and what weak references and trial deletion cost to add. programming languages
- Jul 24, 2026 Atomic Reference Counts and the Cycle They Cannot Collect The instruction cost of shared ownership, why the count must be atomic, and the reachability problem that makes a pure reference-counting collector leak. systems programming
- Nov 6, 2025 Ownership Across the FFI Boundary and Who Frees What Two runtimes with two allocators meet at a foreign function call, and every pointer that crosses must have an unambiguous owner, layout, and deallocation routine. systems programming
- Mar 21, 2025 Move Semantics and the State Left Behind in the Source What transferring ownership actually changes in memory, why a moved-from object must still be destructible, and how unique ownership differs from a shallow copy. systems programming
- Jan 28, 2025 Move Semantics and the Affine Type Discipline Why a move is a byte copy plus a compile-time promise, how C++ and Rust enforce that promise differently, and what a moved-from value is still allowed to do. programming languages
- Jan 14, 2025 malloc, free, and the Conventions That Replace a Type System What the allocator stores around every block, why the ownership rule must be maintained by hand, and which C idioms encode it well enough to survive review. programming languages
- Jul 22, 2024 Ownership and Borrowing as a Static Lifetime Proof How move semantics, exclusive borrows, and non-lexical lifetimes let a compiler prove that no pointer outlives its referent, and where the proof stops being able to help. memory systems
- May 30, 2023 Cross-Language Calls and the Structure-Passing Contract What a foreign function interface has to agree on beyond the function name, from name mangling and by-value aggregates to error conventions and memory ownership. systems programming
- Jun 19, 2022 Linearity and Aliasing as a Confinement Discipline How unique ownership, borrowing, and linear types let a compiler prove that a value crosses a boundary exactly once, and where the proof stops being able to say anything about authority. language runtimes