Lemmy LIETUVA
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
Lena@gregtech.eu to Programmer Humor@programming.dev · 2 months ago

Based Haskell bluesky account

gregtech.eu

message-square
3
link
fedilink
0

Based Haskell bluesky account

gregtech.eu

Lena@gregtech.eu to Programmer Humor@programming.dev · 2 months ago
message-square
3
link
fedilink

source

alert-triangle
You must log in or # to comment.
  • yetAnotherUser@discuss.tchncs.de
    link
    fedilink
    arrow-up
    0
    ·
    2 months ago

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

    The only question is: What is a caine?

  • abbadon420@sh.itjust.works
    link
    fedilink
    arrow-up
    0
    ·
    2 months ago

    What?

    • msfroh@lemmy.ca
      link
      fedilink
      arrow-up
      0
      ·
      2 months 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.

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.

  • 81 users / day
  • 359 users / week
  • 1.31K users / month
  • 2K users / 6 months
  • 0 local subscribers
  • 31.4K subscribers
  • 400 Posts
  • 4.72K Comments
  • Modlog
  • mods:
  • adr1an@programming.dev
  • Feyter@programming.dev
  • BurningTurtle@programming.dev
  • Pierre-Yves Lapersonne@programming.dev
  • BE: 0.19.18
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org