lemmy.dudeami.win
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
mikidep@lemmy.world to Programmer Humor@programming.dev · 2 years ago

We did this to ourselves

lemmy.world

message-square
9
fedilink
1

We did this to ourselves

lemmy.world

mikidep@lemmy.world to Programmer Humor@programming.dev · 2 years ago
message-square
9
fedilink
  • tatterdemalion@programming.dev
    link
    fedilink
    arrow-up
    1
    ·
    2 years ago

    It’s making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they… don’t.

    • DumbAceDragon@sh.itjust.works
      link
      fedilink
      English
      arrow-up
      1
      ·
      2 years ago

      Dynamic languages were invented by runtime error companies to sell more runtime errors.

    • deegeese@sopuli.xyz
      link
      fedilink
      arrow-up
      0
      ·
      2 years ago

      Turns out getting working code is a lot cheaper and more useful than formally proven code.

      • Anders429@programming.dev
        link
        fedilink
        arrow-up
        0
        ·
        2 years ago

        Cheaper? Yes, I guess so, depending on how you measure cost. More useful? Absolutely disagree.

        • deegeese@sopuli.xyz
          link
          fedilink
          arrow-up
          0
          ·
          2 years ago

          Industry will pick functionality over verification every time.

          • Buttons@programming.dev
            link
            fedilink
            English
            arrow-up
            1
            ·
            2 years ago

            Industry will leak PII without consequence every week.

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.

  • 350 users / day
  • 3.7K users / week
  • 8.82K users / month
  • 19.8K users / 6 months
  • 1 local subscriber
  • 24.7K subscribers
  • 1.38K Posts
  • 43.3K Comments
  • Modlog
  • mods:
  • Feyter@programming.dev
  • adr1an@programming.dev
  • BurningTurtle@programming.dev
  • Pierre-Yves Lapersonne@programming.dev
  • BE: 0.19.8
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org