// 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.
Illustration of Rust code with lock symbols forming a deadlock cycle.

How Formal Verification Prevents Deadlocks in Concurrent Rust Systems

A deep dive into how formal verification methods—like model checking and type‑level proofs—eliminate deadlocks in Rust’s concurrent code, with practical examples and tool recommendations.

May 16, 2026 · 7 min · 1460 words · martinuke0
Illustration of Rust code transforming into a WebAssembly binary with memory management symbols.

The Performance Cost of Garbage Collection in Rust WebAssembly Modules

A deep dive into the hidden performance costs of garbage collection in Rust‑compiled WebAssembly, with benchmarks, analysis, and mitigation tactics.

May 16, 2026 · 7 min · 1326 words · martinuke0
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
Feedback