A helpful 5-page machine learning cheatsheet to assist with exam reviews, interview prep, and anything in-between.

Clever Algorithms: Nature-Inspired Programming Recipes

An open-source, customizable intermediate logic textbook

Formalizations of Gödel's Ontological Proof of God's Existence

Automatic gradient descent

Reference manual for ForwardCom instruction set and software standards

Automatically exported from code.google.com/p/colore

Learning to Discover Efficient Mathematical Identities

"An AGI architecture in vector space" Paper to be submitted to AGI-16

The Glulx Runtime Instrumentation Project (GRIP) provides debugging tools for authors of interactive fiction (IF) by building on the capabilities of the Glulx virtual machine.

Genifer - general inference engine, version 5

My autobiography in Latex

Tutorials for statistical inference concepts