// 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.
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.
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.
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.