Slevin.Horse
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
Lena@gregtech.eu to Programmer Humor@programming.dev · 9 days ago

Based Haskell bluesky account

gregtech.eu

message-square
12
link
fedilink
161

Based Haskell bluesky account

gregtech.eu

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

source

alert-triangle
You must log in or # to comment.
  • abbadon420@sh.itjust.works
    link
    fedilink
    arrow-up
    21
    ·
    9 days ago

    What?

    • msfroh@lemmy.ca
      link
      fedilink
      arrow-up
      43
      ·
      9 days 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
        42
        ·
        9 days ago

        Holy fuck this is some top tier niche humor

        • lambalicious@lemmy.sdf.org
          link
          fedilink
          English
          arrow-up
          4
          ·
          9 days 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
            2
            ·
            8 days ago

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

      • abbadon420@sh.itjust.works
        link
        fedilink
        arrow-up
        8
        ·
        9 days ago

        Thanks <3

  • StarvingMartist@sh.itjust.works
    link
    fedilink
    English
    arrow-up
    14
    ·
    9 days 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

  • yetAnotherUser@discuss.tchncs.de
    link
    fedilink
    arrow-up
    12
    ·
    9 days 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
      ·
      9 days 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.

  • Jankatarch@lemmy.world
    link
    fedilink
    arrow-up
    7
    ·
    9 days ago

    “As a treat” :3

  • PotatoesFall@discuss.tchncs.de
    link
    fedilink
    arrow-up
    4
    ·
    9 days ago

    help what is a Nat or a peano

    • abbadon420@sh.itjust.works
      link
      fedilink
      arrow-up
      3
      ·
      9 days 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: [email protected]

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.

  • 335 users / day
  • 5.9K users / week
  • 9.94K users / month
  • 18K users / 6 months
  • 1 local subscriber
  • 30.6K subscribers
  • 1.1K Posts
  • 21.3K Comments
  • Modlog
  • mods:
  • adr1an@programming.dev
  • Feyter@programming.dev
  • BurningTurtle@programming.dev
  • Pierre-Yves Lapersonne@programming.dev
  • BE: 0.19.13
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org