// 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.
Diagram of a compiler pipeline with type graphs overlay.

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.

May 16, 2026 · 10 min · 1953 words · martinuke0
Diagram illustrating resource flow through linear types.

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.

May 16, 2026 · 9 min · 1771 words · martinuke0
Illustration of Go channels flowing through a pipeline with a throttling valve.

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.

May 16, 2026 · 8 min · 1626 words · martinuke0
Illustration of a Rust program with formal verification symbols overlayed.

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.

May 16, 2026 · 6 min · 1268 words · martinuke0
Illustration of a circular buffer with arrows indicating lock‑free data flow.

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.

May 15, 2026 · 10 min · 1988 words · martinuke0
Feedback