User Portlet

Grade-school student and lover of computers.

Interested in a bit of everything, but most recently in geodetics, human-computer interaction, computer-search for theorem proving, and optimal trolling of large language models.

Considered harmful.