On leave from UT-CS; I work at Colicit, where I'm post-training LLMs to make them less bad at design.Philosophy enjoyer. Caffeine addict. Currently reading Enderton's "Elements of Set Theory".Just winging it.