Gödel's incompleteness theorems

Blog » In fact I have two publishing deals. Some of you may have already seen this news, and you may be able to guess where this is going. The first deal is with Ballantine Books, a US-based publisher which is part of Penguin Random House. The second deal is with Del Rey, a UK-based publisher which is also part of Penguin Random House. Ballantine...

Blog » I just want to see it. Just once. I want to watch that earthquake ripple through all of global electronic timekeeping. I want to see which organisations make it to January morning with nothing on fire. You know what a leap second is. The short version is that planet Earth is a terrible clock. I love leap seconds. I love the unsolvable...

Blog » At work we recently started experimenting with generative AI for assistance with programming. We have a new Visual Studio Code plugin which we can ask questions in English, and it spits back code. It was a really interesting piece of, well, mandatory training. I've formed some opinions. The main thing I dislike about AI coding assistance...

Blog » Mirror's Edge came out for the PlayStation 3 in 2008 and it is literally the only PlayStation 3 game I own. I bought the console in 2011 because it was a top-of-the-line Blu-ray player and I guess Mirror's Edge was the only game for the console I had any interest in playing. I wrote a belated post-mortem of the game in 2012 and concluded...

Blog » Control is a 2019 third-person action shooter developed by Remedy Entertainment. The game takes inspiration from a variety of sources, but its most prominent and notable influence is the SCP project, which is very important to me, for obvious reasons. (I don't like to call it the "SCP wiki" these days... I think this gives people the false...