inftheory: various other notes