Discover
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
mikidep@lemmy.world to Programmer Humor@programming.dev · 1 year ago

We did this to ourselves

lemmy.world

message-square
16
link
fedilink
83

We did this to ourselves

lemmy.world

mikidep@lemmy.world to Programmer Humor@programming.dev · 1 year ago
message-square
16
link
fedilink
  • kronicmage@lemmy.ca
    link
    fedilink
    arrow-up
    16
    ·
    1 year ago

    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
      2
      ·
      1 year ago

      That looks like something I’ve seen somewhere and didn’t understand.

Programmer Humor@programming.dev

programmer_humor@programming.dev

Subscribe from Remote Instance

Create a post
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
globe

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

  • 3.46K users / day
  • 5.34K users / week
  • 9.85K users / month
  • 15.9K users / 6 months
  • 1 local subscriber
  • 22.4K subscribers
  • 1.29K Posts
  • 38.4K Comments
  • Modlog
  • mods:
  • Feyter@programming.dev
  • adr1an@programming.dev
  • BurningTurtle@programming.dev
  • Pierre-Yves Lapersonne@programming.dev
  • BE: 0.19.11
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org