-
Archives
- October 2018
- August 2016
- July 2016
- April 2015
- December 2014
- August 2014
- June 2014
- February 2014
- November 2013
- August 2013
- July 2013
- May 2013
- April 2013
- March 2013
- October 2012
- July 2012
- May 2012
- February 2012
- December 2011
- August 2011
- July 2011
- May 2011
- April 2011
- August 2010
- November 2009
- May 2009
- July 2007
- June 2006
- May 2006
-
Meta
Category Archives: chatter
“Venn diagram” partitioning
Paddy3118 wrote about partitioning elements in the same way a Venn diagram does. So, if we have sets A, B and C, the partitions are
Posted in algorithms, chatter
Leave a comment
Linear Logic without Units
My PhD thesis (2007) was available for several years from my web site at the University of Manchester, but since that site was taken down it’s been unavailable. Today’s announcement is that I’ve finally got round to uploading it to GitHub.
Posted in chatter
Leave a comment
Puzzles like Adrift
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. You can read some of … Continue reading
Posted in chatter
3 Comments
John H Conway and the invention of the filing cabinet
Conway is incredibly untidy. The tables in his room at the Department of Pure Mathematics and Mathematical Statistics in Cambridge are heaped high with papers, books, unanswered letters, notes, models, charts, tables, diagrams, dead cups of coffee, and the most … Continue reading
The Prisoner’s Dilemma
The Prisoners’ Dilemma The Prisoner’s Dilemma is a game, but a game that seems to bear lessons for the conduct of human affairs more generally, and it has attracted a great deal of attention from men not noted for their … Continue reading
Posted in chatter, Mathematics
23 Comments
Something all bash scripters need to know (and most of us don’t)
Calling all bash users. This is a public service announcement. Here’s something you need to know if you want to write bash scripts that work reliably, but you probably don’t.
Posted in chatter
24 Comments
How to record a screencast video for free on Mac OS X
It’s hard to find any detailed information on the web about how to record a screen video without buying expensive software. I found out how to do it, so here I’m going to explain what I did for the benefit … Continue reading
Posted in chatter
38 Comments
