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

Lucky enough, I am C++ Developer

feddit.org

message-square
112
fedilink
399

Lucky enough, I am C++ Developer

feddit.org

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

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

    • entwine@programming.dev
      link
      fedilink
      arrow-up
      13
      ·
      3 days ago

      The White House?

    • edinbruh@feddit.it
      link
      fedilink
      English
      arrow-up
      5
      ·
      3 days 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
        ·
        2 days ago

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

      • massive_bereavement@fedia.io
        link
        fedilink
        arrow-up
        1
        ·
        3 days 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.

  • 1.58K users / day
  • 5.36K users / week
  • 6.58K users / month
  • 18.6K users / 6 months
  • 1 local subscriber
  • 27.4K subscribers
  • 1.95K Posts
  • 29.2K Comments
  • Modlog
  • mods:
  • Feyter@programming.dev
  • adr1an@programming.dev
  • BurningTurtle@programming.dev
  • Pierre-Yves Lapersonne@programming.dev
  • BE: 0.19.5
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org