An Idea for Bypassing Linux Age Verification
Some US states are trying to turn Linux into spyware. Here's an idea to ruin their plans.
Gavin D. Howard
Latest posts
Do Not Use Sectorlink
Poor UX and terrible customer service cost me money and lost me service.
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
Could we have cheap formal verification? Yes, and this post describes how.
How I Solved the Expression Problem
The Expression Problem is the biggest unsolved problem in programming languages. I solved it, and here's how.
Replacing CVE
So MITRE might lose funding for CVE. Let's talk about why that is an opportunity.
Advent of Code 2024: Report
This is my report on the 2024 Advent of Code.
Advent of Code 2024: Getting Started
I don't like Advent of Code, but this year is different. It will be my first ever.
To Broadcast or Not to Broadcast: A Nuanced Perspective
Adolfo Ochagavía wrote a great post on whether people should broadcast themselves. As someone who is infamous, I have some more advice.
Rewriting Rust: A Response
Joseph Gentle wrote a post on how he wants Rust to change. I am already working on that.
Curing the Framework Curse
GUI frameworks have a curse, and I'm going to try to cure it.
A Better OS Design 2: Microkernel Performance
Here are some more ideas for a better OS.
Is Crowdstrike the Final Straw?
Crowdstrike and Microsoft brought the world down today. Is that the final straw before society cracks down on us?
Why I Hope Rust Does Not Oxidize Everything
Rust is great, and I hope it is used more. However, I hope it won't be used for everything, and here's why.
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 New Architecture for a GUI Framework
If I had the time to make a GUI framework, this is how I would design it.
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.