Lemmy
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
Lena@gregtech.eu to Programmer Humor@programming.dev · 7 天前

Based Haskell bluesky account

gregtech.eu

message-square
12
link
fedilink
127

Based Haskell bluesky account

gregtech.eu

Lena@gregtech.eu to Programmer Humor@programming.dev · 7 天前
message-square
12
link
fedilink

source

alert-triangle
You must log in or # to comment.
  • abbadon420@sh.itjust.works
    link
    fedilink
    arrow-up
    14
    ·
    7 天前

    What?

    • msfroh@lemmy.ca
      link
      fedilink
      arrow-up
      34
      ·
      7 天前

      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
        ·
        7 天前

        Holy fuck this is some top tier niche humor

        • lambalicious@lemmy.sdf.org
          link
          fedilink
          English
          arrow-up
          4
          ·
          7 天前

          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
            ·
            6 天前

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

      • abbadon420@sh.itjust.works
        link
        fedilink
        arrow-up
        8
        ·
        7 天前

        Thanks <3

  • StarvingMartist@sh.itjust.works
    link
    fedilink
    English
    arrow-up
    9
    ·
    7 天前

    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

  • yetAnotherUser@discuss.tchncs.de
    link
    fedilink
    arrow-up
    8
    arrow-down
    1
    ·
    7 天前

    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
      3
      arrow-down
      1
      ·
      7 天前

      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.

  • Jankatarch@lemmy.world
    link
    fedilink
    arrow-up
    4
    ·
    7 天前

    “As a treat” :3

  • PotatoesFall@discuss.tchncs.de
    link
    fedilink
    arrow-up
    4
    ·
    7 天前

    help what is a Nat or a peano

    • abbadon420@sh.itjust.works
      link
      fedilink
      arrow-up
      3
      ·
      7 天前

      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.

  • 879 users / day
  • 6.06K users / week
  • 9.43K users / month
  • 18.3K users / 6 months
  • 1 local subscriber
  • 30.5K subscribers
  • 1.68K Posts
  • 47.7K Comments
  • Modlog
  • mods:
  • adr1an@programming.dev
  • Feyter@programming.dev
  • BurningTurtle@programming.dev
  • Pierre-Yves Lapersonne@programming.dev
  • BE: 0.19.16
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org