Some US states are trying to turn Linux into spyware. Here's an idea to ruin their plans.

Poor UX and terrible customer service cost me money and lost me service.

Could we have cheap formal verification? Yes, and this post describes how.

The Expression Problem is the biggest unsolved problem in programming languages. I solved it, and here's how.

So MITRE might lose funding for CVE. Let's talk about why that is an opportunity.

This is my report on the 2024 Advent of Code.

I don't like Advent of Code, but this year is different. It will be my first ever.

Adolfo Ochagavía wrote a great post on whether people should broadcast themselves. As someone who is infamous, I have some more advice.

Joseph Gentle wrote a post on how he wants Rust to change. I am already working on that.

GUI frameworks have a curse, and I'm going to try to cure it.