From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

I'm a programmer, with strong interests in programming language design, mathematics, theorem proving, and 3D graphics.

Notes to myself: at some point I should write or edit articles on polyhedral symmetries, template metaprogramming, cylindrical algebraic decomposition, quantifier elimination, resultant (c.f. discriminant), authors Ardagh and Caudwell (but not before I remember their first names!), MITSFS, Sharon Shinn, Samaria (fictional world), OpenGL shading language (reference vertex and pixel shaders), JHDL, R. Austin Freeman and Dr. Thorndyke, Joseph C. Lincoln, Book of Counted Sorrows (summarize the extreme weirdness of the introduction)