Programming

Natural Language Processing

(TODO: upload files to this server)
Opthol, my (semi-Horn) first-order logic (FOL) inference engine.
Probqa, a logical-forms extraction and recognizing-textual-entailment (RTE) system.

Go

Yagomp (bot)

Entirely pattern-based but still manages to play pretty well, assuming you don't start a difficult fight. The fuseki and early mid-game tends to leave it several points ahead against 4-8 kyu, and plunge from there. Trained on about 60000 pro games and 30000 amateur games.
Example SGF
Image depiction of move priority (lowest priority) blue -> green -> cyan -> yellow -> red (highest priority). The bot plays black.

Gomocca (bot)

The usual Monte Carlo tree search.

Neurogo (bot)

Based on neural nets. Still trying to recover the code from a crashed harddrive.