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

Lucky enough, I am C++ Developer

feddit.org

message-square
80
link
fedilink
304

Lucky enough, I am C++ Developer

feddit.org

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

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

    • entwine@programming.dev
      link
      fedilink
      arrow-up
      11
      ·
      4 hours ago

      The White House?

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

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

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.75K users / day
  • 4.68K users / week
  • 8.71K users / month
  • 19.2K users / 6 months
  • 1 local subscriber
  • 27.4K subscribers
  • 1.33K Posts
  • 33.4K 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