The reference in the name & the monospaced font work well to establish a sense of being a developer‘s company, but not just anyone but someone with a background in math(?). Perfect marketing to get me, although I‘m not a lucrative prospect. Is it possible that you’d catch bigger fish by going corporate? Possible, yes. But it’s my impression this has and still is shifting drastically.
One meta-issue for now: somehow, I always read the imprint when I am checking out some software or service. I can’t really make a case why it’s helpful, and you are obviously free to maintain an air of mystery. But if it’s just an oversight or you haven’t gotten around to it, just naming a city & country goes a long way to convincing me that you exist. Short bios are also useful, or links to your Twitter accounts, although J found those with only minimal stalking.(This preference may just be a result from my home country of Germany requiring such data and making it possible to get into the habit).