wetdry.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
We are a community focused on gaming, tech, entertainment, and more.

Administered by:

Server stats:

744
active users

ATTENTION MATH PEOPLE:
if someone studying ""computer science"" (blasphemous demon) comes up to you and asks if you want to learn about "lambda calculus", DO NOT ENGAGE! I REPEAT, DO NOT ENGAGE!!! this is how they TRICK poor innocent mathematicians into turning towards the DARK SIDE (computer).
it is NOT the calculus you know
it is EVIL
stay AWAY

Quiet public

@Yoshi@wetdry.world lambda calculus is the way, and we have curry. Calculus = calculation (always has been), and don't worry, we won't change it on you.

Public

@Yoshi Or if you want to use a bit of abstraction-judo to neutralize the threat, you can tell them "Pi calculus or GTFO".

If you think computer scientists are dangerous, though, that tells me that you've never had to deal with a physicist doing calculus - and that *is* (a recognizable approximation to) the calculus you know.