// TODO: I’m martinuke0
Welcome to my corner of the internet. This website is a personal blog which I use as a platform to document my learning journey and showcase it for the world to see.
Implementing Structural Subtyping in Modern Compiler Backend Passes
A deep dive into integrating structural subtyping into compiler backend passes, with concrete implementation patterns and performance tips.
The Mechanics of Linear Types in Memory‑Safe Systems
An in‑depth look at linear types, their theoretical roots, and practical implementations that keep memory safe without runtime overhead.
Implementing Backpressure in Go Channels Without Deadlocks
A practical guide to adding backpressure to Go channel pipelines while preventing deadlocks, with code patterns and performance tips.
Implementing Formal Verification for Critical Rust Memory Safety Transitions
A step‑by‑step guide to integrating formal verification into Rust projects, focusing on memory‑safety transitions and practical toolchains.
Implementing Lockless Ring Buffers for High Throughput Rust Applications
A deep dive into lock‑less ring buffers in Rust, from theory to production‑ready code, with performance numbers and debugging tips.