one-two

great idea, do you know anyone who would be willing to do it for a technical resume?

I am exactly the same way. Look forward to any feedback. Serg

Formal (math) notation has been around forever and it will probably stay that way. Using it to specify software is a recent application, but the meanings of symbols and their relationships are well established. Programming language syntax rules change, math does not. Also, math is more concise, more precise, and easier to analyze (prove that something is possible/impossible) than a programming language.

P.S. Check out Using Z (usingz.com). It is fantastic.

You can build an html5 app for either mobile platform, but it will have to run in a browser, not natively.

take the button of my boxers and flip it as a coin to produce a random binary string. break it down into even chunks of the appropriate length and convert to decimal. OR inspect the threads of the undergarment cloth like they did in "Wanted", except encode each type of thread as a number instead of a character

That's cool, but if everyone works out, they run out of money. I realize that is unlikely, but it is a system just asking to be gamed.

A free gym membership where you pay $1 for the days you don't show up

tell us more about your project, complexity, schedule, platform.

Textmate, Transmit, and Navicat ALL DAY