I've got a copy of Conceptual Mathematics: A First Introduction to Categories, and I'm more actively working through Benjamin Pierce's Software Foundations (which covers a range of material from the Functional Programming and Automated Program Verification slots). I've got a nice torrent full of textbooks for various branches of math, machine learning, and AI (extending from undergrad Intro to AI up through Hutter's Universal AI).

I can also firmly say that statistics class (which I'm taking officially this semester) is a bitch due to the sheer amount of extra symbology to learn and, of course, loads and loads of integrals.

• Name: Eli

• Race: Dwarf

• Class: Spiral Warrior (also second-year research grad-student)

• Level: two papers in the works, one under submission to a conference

• Optimization Power: I haven't precisely counted, but my life is very improbable