149
you are viewing a single comment's thread
view the rest of the comments
[-] Unpigged@lemmy.dbzer0.com 17 points 2 weeks ago

Lemma 1 mentions "definition of phi", but the phi is never defined. Wtf.

[-] NeatNit@discuss.tchncs.de 9 points 1 week ago

OP posted the two pages in the wrong order, so you (and I) saw page 2 before page 1.

[-] Technoworcester@feddit.uk 7 points 1 week ago* (last edited 1 week ago)
[-] WhyJiffie@sh.itjust.works 2 points 1 week ago

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

this post was submitted on 13 Feb 2026
149 points (93.6% liked)

Programmer Humor

30053 readers
1573 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

founded 2 years ago
MODERATORS