[loxias]

This is really fun. Multiple questions seem to yield a blank page, does this mean it's hugged to death, or are my questions too difficult? :)

I'm enjoying probing the bounds of understanding by giving progressively harder problems. It found the roots of a cubic, and proved sqrt(2) and pi were irrational.

Too difficult to read the handwriting, and I'm curious about "how it works". All in all, a fantastic demo.