Category Archives: Math

Sequent calculus fun with Logitext

(This post is overdue; I’ve been more than usually busy at work on a new project, and have not had the energy to do anything interesting when I get home. Well, I saw this a while ago and today out … Continue reading

Posted in Math, Programming | Tagged , | 2 Comments

Manufactoria

Last Friday I stumbled on Manufactoria, a cute web-based game in which the object is to build machines for testing and repairing robots. This is done by manipulating a robot’s code, a sequence of red and blue symbols. Each part … Continue reading

Posted in Games, Math, Programming | Tagged , , | 4 Comments

Images in space

A common project attempted by programmers of a certain naiveté is classification. For example, classifying images based on their characteristics. A lot of applied AI is about classifying stuff. The applications are things like a search engine for similar images, … Continue reading

Posted in Math, Programming | Tagged , , | 1 Comment

Crop circles and other rounding errors

My first attempt at adding fixed-point calculation to my fractal revealed a strange phenomenon:

Posted in Math, Programming | Tagged | Leave a comment

Mathy CAPTCHA

I was confronted with this CAPTCHA today:

Posted in Math, Reflections | Tagged , | Leave a comment

Prolog and the Einstein puzzle

My attempt at solving the “Einstein Puzzle”, seen recently on Reddit’s /r/math.

Posted in Math, Programming | Tagged , | 2 Comments

LaTeX in WordPress

I just found out that WordPress.com supports LaTeX math markup! It’s pretty easy to use. (For lack of any ideas original or even remotely profound!)

Posted in Math, Reflections | Tagged , , | Leave a comment