So what’s Formal Verification anyway?

April 6th, 2010

Added short page on Formal Verification.
/M

Why develop games?

April 6th, 2010

I’ve worked with business to business since I left university. Why do I now develop games? One reason is that I share the not very controversial opinion that playing games is a great way of learning.

For twenty odd years my company has been communicating benefits of Formal Verification. Let’s see if there are any lessons here, useful to the marketing of my game Chrome-8. The puzzle generator for Chrome-8 is a trivial application in comparison to the endlessly complex, real world applications of Formal Verification accomplishing great business (and society!) benefits. They both, however, share some of the basic techniques.

I’ll come back to this subject shortly.
/M

Chrome-8 Hints

April 1st, 2010

In response to user requests, hints will be coming to Chrome-8. In the mean time, you can learn to recognize graph patterns, and how the graphs can be colored, by studying the Apprentice level. ;-)
/M

Crowded Marketplace

March 29th, 2010

The AppStore is a crowded place. After my first app release I believe the market for App Reviewers is rather crowded, if not to over established, too. It takes time to review the reviewers.
Don’t you think?
/M

[update:] Although Travis Dunn’s post is of great help when starting out on your App Marketing adventure! /M

Chrome-8 Press Release

March 29th, 2010

Finished tidying up after the Chrome-8 release campaign. Preparing follow up activities.
/M

Thrashing

March 28th, 2010

Two apps in the pipeline, feature updates for Chrome-8, and, last but not least, tons of marketing work.
The post-release trauma has hit hard.
Staying focussed,
M

Announcement, Chrome-8

March 28th, 2010

This is an announcement about me starting to “blog” (I dislike that verb) in my role as a developer. My first published iPhone App is Chrome-8.

Thanks,

M