148
Well. That escalated quickly
(feddit.uk)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 13 Feb 2026
148 points (93.5% liked)
Programmer Humor
29845 readers
368 users here now
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
founded 2 years ago
MODERATORS
Fuck. I’m having nightmarish flashbacks looking at this. Hell.
Hmm, "atomic office" you say?
Lemma 1 mentions "definition of phi", but the phi is never defined. Wtf.
OP posted the two pages in the wrong order, so you (and I) saw page 2 before page 1.
oh I thought it's a joke that things are defined, or others are "immediate from" something else, while actually not. like how they love to teach this topic without explaining what is necessary
Oops. Sorry.
It did bother me there was no fall through.
follow?
There’s no fall through case, it’s ambiguous what the room state should be
Oh, yes, sorry. Quick read. 🖖🏼