Hi, I'm hyperpolymath 👋

I'm an independent academic — I do real research, in the open, without
institutional funding behind it. No grant, no department, no budget line:
just the work itself, shared freely with anyone who finds it useful.

My interests are broad. I work across programming languages, type and trope systems,
formal verification, and the foundations of trustworthy software — but I care
most about ideas that are useful far beyond any one field. Everything I make is
open source and stays that way.

I'd love to collaborate 🤝

This is the part that matters most to me: I'm genuinely looking for
collaborators. Whether you're a researcher, a developer, a student, or just
someone curious who wants to get involved — I'd love to hear from you. Open an
issue, start a discussion, or just say hello. Good ideas don't need
credentials, and I learn the most from people who think differently than I do.

Why sponsor?

Doing serious research without funding means every hour comes out of my own
pocket. Sponsorship — at any level — is what lets me keep this work free,
open, and sustainable instead of squeezing it into the margins. You're not
buying a product; you're keeping independent, open scholarship alive.

Thank you for being here. It genuinely makes a difference. 🙏