This is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf

This is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf

smbc robot comics, true classic genre

A lot of these jokes are literally older than some of the people in my computer science program

… since it joins these users together like a karabiner, maybe we could use that as a name for this kind of thing… Maybe karbin or something?

We all have to do our part to talk about the products and services we use here on Lemmy. Does anyone know of a good community similar to /r/buyitforlife on the fediverse?

Second this – Kagi has been excellent for me

Its a commonly taught thing in English classes where I’m from (Ontario) – we would get harped on it fairly regularly