jorty (deprecated aspect) is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
jorty (deprecated aspect) @jordyd

I once expanded upon one of my OkCupid answers with something containing the phrase “forms a natural bijection with the set of 3-digit binary numbers”

@jordyd How'd that work? I once didn't not get a tech job because I recognized a line from Aristophanes.

@clew it was a probability question involving coins I don’t remember exactly what it was but a lot of people were getting it wrong

@clew the bijection explanation was one of a few, progressively more formal explanations

@clew to clarify the bijection was the most formal one