mikidep@lemmy.world to

Programmer Humor@programming.dev · 1 年前

We did this to ourselves

113

We did this to ourselves

mikidep@lemmy.world to

Programmer Humor@programming.dev · 1 年前

Chat

kronicmage@lemmy.ca
link
fedilink
arrow-up
25·
1 年前
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
- spicyemu@programming.dev
  link
  fedilink
  arrow-up
  3·
  1 年前
  That looks like something I’ve seen somewhere and didn’t understand.

Programmer Humor@programming.dev

programmer_humor@programming.dev

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !programmer_humor@programming.dev

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

Keep content in english
No advertisements
Posts must be related to programming or programmer topics

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

2.77K users / day
5.05K users / week
9.66K users / month
16.1K users / 6 months
1 local subscriber
22.2K subscribers
1.29K Posts
45K Comments
Modlog