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
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