You’re probably on the right track. Every hunk of symbols is probably a valid type expression in some system. Including a square root type.

Okay, but even if we assumed (x=b) to be a very small equivalence relation, it should appear in the denominator position to form an equivalence quotient.

Wrong formula aside, what is the meaning of dividing an entire equation? (x = b) / a

Ah, from the picture I thought he would teach us how to read barcodes (which do underpin human reality), but it’s just some boring simulation stuff.

We have no clue what electricity is, because we, the authors, are dumb as fuck.

What bias is it if the only entry I’ve read in this table is the one for confirmation bias?

Like rocket engines in space, the sun has its own oxidizer tank. Let’s hope it won’t run out anytime soon.