SDF Chatter
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
Lena@gregtech.eu to Programmer Humor@programming.dev · 1 day ago

Based Haskell bluesky account

gregtech.eu

message-square
12
link
fedilink
146

Based Haskell bluesky account

gregtech.eu

Lena@gregtech.eu to Programmer Humor@programming.dev · 1 day ago
message-square
12
link
fedilink

source

alert-triangle
You must log in or register to comment.
  • abbadon420@sh.itjust.works
    link
    fedilink
    arrow-up
    19
    ·
    1 day ago

    What?

    • msfroh@lemmy.ca
      link
      fedilink
      arrow-up
      38
      ·
      1 day ago

      https://en.wikipedia.org/wiki/Peano_axioms

      In this case, they’re talking about being in the natural numbers club, and applying the “successor” (or “succ”) function.

      • MissesAutumnRains@lemmy.blahaj.zone
        link
        fedilink
        arrow-up
        37
        ·
        1 day ago

        Holy fuck this is some top tier niche humor

        • lambalicious
          link
          fedilink
          English
          arrow-up
          3
          ·
          1 day ago

          This and ich_iel are why I like the Fediverse!

          in as much as reaching into BS can be considered “Fediverse”

          • Drekaridill@lemmy.wtf
            link
            fedilink
            arrow-up
            1
            ·
            4 hours ago

            I’m not even German, but ich_iel has some quality stuff

      • abbadon420@sh.itjust.works
        link
        fedilink
        arrow-up
        8
        ·
        1 day ago

        Thanks <3

  • yetAnotherUser@discuss.tchncs.de
    link
    fedilink
    arrow-up
    11
    ·
    1 day ago

    Fucking category theorists thinking they’re doing “math” when it’s clearly cocaine.

    The only question is: What is a caine?

    • ornery_chemist@mander.xyz
      link
      fedilink
      arrow-up
      4
      arrow-down
      1
      ·
      24 hours ago

      This one got me giggling. And now I’m trying to explain to my MBA colleague what’s so funny about a pun from an (admittedly less and less) obscure niche of the programming community.

  • StarvingMartist@sh.itjust.works
    link
    fedilink
    English
    arrow-up
    13
    ·
    1 day ago

    What you think programmers never get sloshed on amaretto stone sours and take to social media creating a very uncomfortable situation with their mother in law?

    Because I can tell you it happens

  • Jankatarch@lemmy.world
    link
    fedilink
    arrow-up
    6
    ·
    edit-2
    1 day ago

    “As a treat” :3

  • PotatoesFall@discuss.tchncs.de
    link
    fedilink
    arrow-up
    3
    ·
    1 day ago

    help what is a Nat or a peano

    • abbadon420@sh.itjust.works
      link
      fedilink
      arrow-up
      3
      ·
      1 day ago

      See msfroh’s comment

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.48K users / day
  • 6.95K users / week
  • 9.21K users / month
  • 18.4K users / 6 months
  • 340 local subscribers
  • 30.4K subscribers
  • 2.19K Posts
  • 86K 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