@132ikl I should clarify that I voted num-pie. I pronounce it in my head as num-pee though. I never dare say num-pee out loud though, so when talking with people I say num-pie
@dean same though
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.