I've been trying to say away from the whole political thing lately. Any time that I open my mouth to say anything about politicians, I get a bunch of assholes…
The Basics of Software Transactional Memory
As promised, it's time for software transactional memory! A bit of background, first. For most of the history of computers, the way that we've built software is very strongly based…
LaTeX Issues Fixed, Hopefully
A quick administrative note. For people reading this blog via RSS readers, there've been problems with LaTeX equations for a couple of months. I've set up a local tex server…
The Wrong Way To Write Concurrent Programs: Actors in Cruise
I've been planning to write a few posts about some programming stuff that interests me. I've spent a good part of my career working on systems that need to support…
Sidetrack from the CCCs: Lambda Calculus
So, last post, I finally defined closed cartesian categories. And I alluded to the fact that the CCCs are, essentially, equivalent to the simply typed λ calculus. But I didn't…
Admin: Spam Burst
Just a quick administrative note. For the last few days, there's been a huge increase in spam comments. As a result, I'm tightening up the spam filters to prevent them…
The Banach-Tarski non-Paradox
For some reason, lately I've been seeing a bunch of mentions of Banach Tarski. B-T is a fascinating case of both how counter-intuitive math can be, and also how profoundly…
Categorical Computation Characterized By Closed Cartesian Categories
One of my favorite categorical structures is a thing called a closed cartesian category, or CCC for short. Since I'm a computer scientist/software engineer, it's a natural: CCCs are, basically,…