A Plan for Professionalism

If we are going to make software engineering a true professional profession, what would that look like?

My Programming Journey

This is my story about how I started programming up until today.

A Better OS Design

If I had the time to make a new operating system, this is how I would design it.

Traits, Destructors, "Higher RAII," and Exceptions

The creator of Vale gushes about what he calls Higher RAII, but he has not figured out the optimal to make them work with exceptions. Rust has traits, but they are limiting. The solution to both is the same.

What Rust Got Wrong on Formal Verification

I don't like Rust. I think it could be simpler. And because the creator of Rust wrote something recently, I thought it was time to lay out my vision.

A Grateful Open Letter to JeanHeyd Meneide

JeanHeyd Meneide wrote a post about saving C, so I wrote a thank you.

You Do Not Need Systemd to Replace Sudo

Systemd just got run0 to replace sudo, so I made my own version.

Build System Schism: The Curse of Meta Build Systems

In which I talk about why meta build systems are forever cursed to remain hobbled throughout eternity.