Gollum@feddit.org to

Programmer Humor@programming.dev · 2 months ago

Lucky enough, I am C++ Developer

405

Lucky enough, I am C++ Developer

Gollum@feddit.org to

Programmer Humor@programming.dev · 2 months ago

Chat

Miaou@jlai.lu
link
fedilink
arrow-up
4
arrow-down
1·
2 months ago
I started learning Coq recently. Where does that place me?
- entwine@programming.dev
  link
  fedilink
  arrow-up
  13·
  2 months ago
  The White House?
- edinbruh@feddit.it
  link
  fedilink
  English
  arrow-up
  5·
  2 months ago
  It places you one year ago before they rebranded in rocq (obviously to stop the puns)
  - massive_bereavement@fedia.io
    link
    fedilink
    arrow-up
    1·
    2 months ago
    That sounds harder.
  - Miaou@jlai.lu
    link
    fedilink
    arrow-up
    1·
    2 months ago
    I know but I choose to ignore the rebranding, for exactly the same reason

Programmer Humor@programming.dev

programmer_humor@programming.dev

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

This community can be federated to other instances and be posted/commented in by their users.

1.08K users / day
5.18K users / week
5.26K users / month
16.1K users / 6 months
1 local subscriber
28.6K subscribers
2.04K Posts
31.7K Comments
Modlog