@typedarrows

interested in math & ai: category theory, rl, llms.