okr765
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
Gollum@feddit.org to Programmer Humor@programming.dev · 2 days ago

Lucky enough, I am C++ Developer

feddit.org

message-square
107
fedilink
418

Lucky enough, I am C++ Developer

feddit.org

Gollum@feddit.org to Programmer Humor@programming.dev · 2 days ago
message-square
107
fedilink
  • Miaou@jlai.lu
    link
    fedilink
    arrow-up
    4
    arrow-down
    1
    ·
    1 day ago

    I started learning Coq recently. Where does that place me?

    • entwine@programming.dev
      link
      fedilink
      arrow-up
      16
      ·
      1 day ago

      The White House?

    • edinbruh@feddit.it
      link
      fedilink
      English
      arrow-up
      3
      ·
      1 day ago

      It places you one year ago before they rebranded in rocq (obviously to stop the puns)

      • Miaou@jlai.lu
        link
        fedilink
        arrow-up
        1
        ·
        12 hours ago

        I know but I choose to ignore the rebranding, for exactly the same reason

      • massive_bereavement@fedia.io
        link
        fedilink
        arrow-up
        1
        ·
        21 hours ago

        That sounds harder.

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.

  • 2.1K users / day
  • 4.68K users / week
  • 8.69K users / month
  • 19K users / 6 months
  • 1 local subscriber
  • 27.4K subscribers
  • 1.72K Posts
  • 55.3K Comments
  • Modlog
  • mods:
  • Feyter@programming.dev
  • adr1an@programming.dev
  • BurningTurtle@programming.dev
  • Pierre-Yves Lapersonne@programming.dev
  • BE: 0.19.9
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org