0x0@lemmy.zip to

Programmer Humor@programming.dev · 7 months ago

race conditions

879

race conditions

0x0@lemmy.zip to

Programmer Humor@programming.dev · 7 months ago

Chat

nialv7@lemmy.world
link
fedilink
arrow-up
2·
7 months ago
I did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
- JackbyDev@programming.dev
  link
  fedilink
  English
  arrow-up
  1·
  7 months ago
  
  I did say “general purpose”.
  
  I did say “fun fact”.

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.68K users / day
3.69K users / week
8.03K users / month
17.3K users / 6 months
197 local subscribers
28.1K subscribers
2.02K Posts
77.9K Comments
Modlog