Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, necessity, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex, although rule 34 keeps sabotaging him.