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
This joke is out of this world
What a coincidence
Wow haven’t heard those names in ages
You could always get a 4k video from one source and a dubbed video from the other and remux it yourself. Audio quality won’t be as high probably but at least you’ll get good video
You’d probably have much better success searching the internet in that language instead of English. My in-laws use a lot of Chinese sources to source their Chinese sub/dubbed shows, but English sources don’t really offer that in my opinion
Thanks for the gold kinda lemur!
… 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?
Federation is absolutely amazing. So many communities can come together here
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
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