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.

How Yzena Versions Software and Interfaces

This is the versioning scheme for Yzena software, especially for the Yc monorepo.

Version Interfaces, Not Implementations

In which I steal the thunder of a smart man and write a blog post for him showing that we should not version implementations, but interfaces.

No, Tech Debt Is Not Malpractice

So the Changelog podcast had some critiques of my description of tech debt, and I have a critique of their critique.

Is "Source Available" Really That Bad?

In which I argue that Source Available Modifiable Software still respects end users.