Browse articles, tutorials, research notes, and technical writing connected through this selected tag.
Search technical articles, systems projects, research, publications, and tutorials.
Explore the full portfolio across systems programming, academic research, projects, publications, technical writing, education, and professional experience.
A systems-oriented examination of how explicit ownership, bounded interfaces, error propagation, cleanup discipline, and compiler diagnostics make C programs easier to reason about.