I have a lot of ideas, and I want to see most of them happen. I can't do it all, so here is all you need to steal my ideas. Except skill. I can't help with that.

In my "Computing Is Broken" post, I suggested the possibility of implementing a fast microkernel if the hardware had the capability of passing data between process itself. In this post, I crudely test that theory.

I had an interesting idea about how to factor integers. It's still exponential, but the idea is interesting enough that I still wanted to share it.

Real engineers are professionals, with a body of knowledge that they must know. This is what such a body of knowledge could look like for software engineers.

I cannot trust GitHub anymore. This is why.

Computing is broken, but what will it take to fix it? More than you might think.

If you didn't have enough reasons to hate patents, here is another.

I recently started managing my own server, and I made a few security mistakes. This post contains the lessons I learned.

Paul Graham says that we could design the Hundred-Year language now. Let's give it a shot.

There are 8 questions that must be answered to design a good type system. In this post, I attempt to do just that.