Honestly? Probably $950k+ https://types.pl/web/@9to5Mac@mastodon.online/110198775805011691
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
