2013-11-13 § 4 Comments
There is a new feature of Pages and Keynote, not mentioned in any of Apple’s publicity nor in any press coverage I’ve seen, that is really very interesting. Perhaps it will even one day prove to have been revolutionary, in a quiet way. « Read the rest of this entry »
2013-08-18 § 29 Comments
I hate the Pumping Lemma for regular languages. It’s a complicated way to express an idea that is fundamentally very simple, and it isn’t even a very good way to prove that a language is not regular.
Here it is, in all its awful majesty: for every regular language L, there exists a positive whole number p such that every string w∈L that has p characters or more can be broken down into three substrings xyz, where y is not the empty string and the total length of xy is at most p, and for every natural number i the string xyiz is also in L.
« Read the rest of this entry »
2013-08-16 § 6 Comments
2013-07-10 § Leave a Comment
2013-05-10 § Leave a Comment
2013-04-19 § 3 Comments
Quite a few people were surprised by my description of Adrift as a “new game” – even though it was very new at the time – because they had seen similar games or puzzles before.
Adrift puzzles are a little bit different, though: they’re on an unusual grid – the surface of half a cube, i.e. three square grids connected at the edges – and also there are rocks, squares you’re not allowed to use.
2013-03-13 § Leave a Comment
There’s a lovely new puzzle game for the iPhone called Adrift. I got it last week when I was in bed with flu, and it’s a fun way to spend a few hours.
The puzzles look like this:
And you solve them by connecting the coloured stars with paths of the same colour:
You can play a few demo levels on the web. This is a very simple example. Some of the more difficult ones are pretty fiendish.