this post was submitted on 24 Oct 2025
882 points (99.1% liked)
Science Memes
20648 readers
2691 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.
Meta Post Tags
Rules
- Don't throw mud. Behave like an intellectual and remember the human.
- Keep it rooted (on topic).
- No spam.
- Infographics welcome, get schooled.
If you are here asking: "Is this a science meme?"
Probably, yes. We use the Dawkins definition of meme: a replicating idea, not just an image macro with a fact on it. A good post here doesn't need to teach you something. It needs to make you ask something: who, what, where, when, and especially why or how.
Science isn't a filing cabinet of facts, it's a conversation. For example, a photo of an eel or other localized wildlife counts because most people never see one, and wonder is the first step of inquiry. A car meme counts if it makes you curious about what's under the bonnet. If you want to talk about something you noticed in the world, chances are someone else wants to talk about it too.
We moderate for vibe, not category. Pruning is light, especially where a post creates interesting discussion. Experimenting is encouraged.
See the pinned paper on Shitposting as Public Pedagogy if you want the academic case for why this works.
Research Committee
Other Mander Communities
Science and Research
Biology and Life Sciences
- !abiogenesis@mander.xyz
- !animal-behavior@mander.xyz
- !anthropology@mander.xyz
- !arachnology@mander.xyz
- !balconygardening@slrpnk.net
- !biodiversity@mander.xyz
- !biology@mander.xyz
- !biophysics@mander.xyz
- !botany@mander.xyz
- !ecology@mander.xyz
- !entomology@mander.xyz
- !fermentation@mander.xyz
- !herpetology@mander.xyz
- !houseplants@mander.xyz
- !medicine@mander.xyz
- !microscopy@mander.xyz
- !mycology@mander.xyz
- !nudibranchs@mander.xyz
- !nutrition@mander.xyz
- !palaeoecology@mander.xyz
- !palaeontology@mander.xyz
- !photosynthesis@mander.xyz
- !plantid@mander.xyz
- !plants@mander.xyz
- !reptiles and amphibians@mander.xyz
Physical Sciences
- !astronomy@mander.xyz
- !chemistry@mander.xyz
- !earthscience@mander.xyz
- !geography@mander.xyz
- !geospatial@mander.xyz
- !nuclear@mander.xyz
- !physics@mander.xyz
- !quantum-computing@mander.xyz
- !spectroscopy@mander.xyz
Humanities and Social Sciences
Practical and Applied Sciences
- !exercise-and sports-science@mander.xyz
- !gardening@mander.xyz
- !self sufficiency@mander.xyz
- !soilscience@slrpnk.net
- !terrariums@mander.xyz
- !timelapse@mander.xyz
Memes
Miscellaneous
founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Wrong formula aside, what is the meaning of dividing an entire equation? (x = b) / a
quotient equivalence under an equivalence relation "a" https://en.wikipedia.org/wiki/Quotient_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.
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
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.