851
Velma can't math. (mander.xyz)
submitted 2 weeks ago by fossilesque@mander.xyz to c/science_memes@mander.xyz
82 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[-] Crazazy@feddit.nl 2 points 1 week ago* (last edited 1 week ago)

Oh yeah was a bit sleepy and thought you could just put arbitrary expressions in the numerator instead of just the type.

But consider this: heterogeneous propositional equality type of types x and b under equivalence relation a, which is bound somewhere else in the aether that we can't see in the screenshot

Constructors of this equality type? No fucking clue but I'm sure there exist some to make the need for an equivalence relation make sense

[-] Gobbel2000@programming.dev 3 points 1 week ago

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.

this post was submitted on 24 Oct 2025
851 points (100.0% liked)

Science Memes

17282 readers
2414 users here now

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.

Rules

  1. Don't throw mud. Behave like an intellectual and remember the human.
  2. Keep it rooted (on topic).
  3. No spam.
  4. Infographics welcome, get schooled.

This is a science community. We use the Dawkins definition of meme.

Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

founded 2 years ago
MODERATORS
Sal@mander.xyz
fossilesque@mander.xyz
SciBot@mander.xyz
fossilesque@lemmy.dbzer0.com