":sigmacap: notation in math feels like unnecessary gatekeeping :marseynails:, proofs must be written in pseudocode for-loops :marseyagree:"

https://twitter.com/FranklinLynam/status/1436725720810758148

:#marseyhesright:

![](/images/16578164433688195.webp)

156
Jump in the discussion.

No email address required.

Literal :marseybrainlet: energy right here.

Jump in the discussion.

No email address required.

I love Twitter for amplifying the most brainlet takes under the sun. If sum notation in math is to hard to understand unironically get the frick out of math.

Jump in the discussion.

No email address required.

What if plus signs are too hard to understand too? Math needs to stop ableistly gatekeeping people of sub-80 IQ.

Jump in the discussion.

No email address required.

Lol nvm actually let these morons have degrees in math without understanding basic notation, only gonna accelerate how little a degree means

Jump in the discussion.

No email address required.

Implying a degree means anything anymore, has been like this for years already

Jump in the discussion.

No email address required.

It means I'm not a dropout like you :#marseymajorgeneral:

Jump in the discussion.

No email address required.

the only point of my math degree is to prove im not a mouthbreather who did poli sci or some shit, plz dont take that away form me

Jump in the discussion.

No email address required.

You can denote the additive operation in a field with any symbol you want bro

Jump in the discussion.

No email address required.

field

just use a ring bro, you dont need a whole field

save the planet

Jump in the discussion.

No email address required.

Back to fundamentals. Addition as set operations on sets containing the empty set


:!marseybarrel: :marseybarreldrunk:

Jump in the discussion.

No email address required.

I saw this on Twitter yesterday, very relevant

![](/images/1657824583651528.webp)

Jump in the discussion.

No email address required.

The follow-up's even funnier

![](/images/16578246134932775.webp)

Jump in the discussion.

No email address required.

Funniest shit I’ve read today

:#marseyxd:

Laughing at r-slurs is my lifeblood


Jump in the discussion.

No email address required.

this absolutely perfectly describes my attempt to understand category theory

"As you know, sheaves are very important, and you are dumb for not knowing them. Go away."

Jump in the discussion.

No email address required.

dumbest mechanic :marseymechanic: :marseykingcrown:

you inspired me to mull over ncatlab [1, 2] for an hour

i think i'm starting to get it, the contravariance jibes with the probing analogy

but did they really switch from an example with notation X↦[X,ℬ nU(1)] to an example with notation U↦[U,X] :marseyretard:

Jump in the discussion.

No email address required.

I’m absolutely hopeless. I was trying to understand topoi and I don’t remember why. I think it was some nerdy gay foundations shit.

Category theory is extremely important for :marseymechanic:

(Actually that second link is pretty helpful now that I’ve taken the time to read it, that’s a really good explanation, I’m now closer to understanding that I will never understand sheaves tyvm)

Jump in the discussion.

No email address required.

My neighbor Yoneda


:!marseybarrel: :marseybarreldrunk:

Jump in the discussion.

No email address required.

Its stacks of sheaves all the way down. The fact that more than 0 people here know sheaves is alarming at best.


:!marseybarrel: :marseybarreldrunk:

Jump in the discussion.

No email address required.

Arent those integrals divergent?

Im not gonna do the msth but they look divergent also the notatuon is wrong

Jump in the discussion.

No email address required.

first one i dont know enough about tensor calc but the second line looks like a standard gaussian to me and first noticing the integrand is even and then doing the whole fubini theorem trick

Jump in the discussion.

No email address required.

The second one diverges so you cant integrate it defined

Jump in the discussion.

No email address required.

Im confused, is it not just this? https://en.wikipedia.org/wiki/Normal_distribution

Jump in the discussion.

No email address required.

No?

Jump in the discussion.

No email address required.

More comments

Woohoo 3d real sequences.


:!marseybarrel: :marseybarreldrunk:

Jump in the discussion.

No email address required.

This is the equivalent of I FRICKING LOVE SCIENCE :soyjakfront: but for math.

Jump in the discussion.

No email address required.

Guy definitely went into programming because he was afraid of the big scary :integral:

Jump in the discussion.

No email address required.

Hurr durr integration is basically addition


:!marseybarrel: :marseybarreldrunk:

Jump in the discussion.

No email address required.

wrong, its more like subtraction

Jump in the discussion.

No email address required.

…No?

Jump in the discussion.

No email address required.

turn the side on its side and straighten it out a bit, idiot

Jump in the discussion.

No email address required.

I just don’t want to piss off the Greeks

Jump in the discussion.

No email address required.

If you can't write mathematical proofs or react applications using a series of ratios then you might as well keep yourself safe :marseyropeyourself:

Jump in the discussion.

No email address required.

Nothing like the Anglosphere pride in being mathematically illiterate.

Jump in the discussion.

No email address required.

I HATE MATHLETS I HATE MATHLETS I HATE MATHLETS I HATE MATHLETS

:#marseytrollcrazy:

Jump in the discussion.

No email address required.

Srly? that's their symbols for loops? wtf.... Also how the heck is one suppose to google these symbols if you don't know their name.

I'm losing braincels by reading the responses holy frick :marseytinfoil:

Jump in the discussion.

No email address required.

Person used to reading code finds math symbols confusing. Wants math symbols replaced by code. Somehow unaware that people who are used to reading math symbols would find code confusing.

In other news, I think French speakers should be made to speak English, because I find French very confusing, and English seems so easily understood by comparison. So we'd actually be helping them.

Jump in the discussion.

No email address required.

I agree, we should make francs speak a real language like English.

Jump in the discussion.

No email address required.

I posted my reply here without actually reading the Twitter conversation. And now I have, there's a guy posting this:

This is like an English speaker being mad that a movie is in French.

Why did we both independently pick on French speakers?

Jump in the discussion.

No email address required.

![](/images/1657820796299844.webp)

Jump in the discussion.

No email address required.

No, I do not want to understand what the french say

Jump in the discussion.

No email address required.

Code monkeys too dumb to understand why DSLs are useful.

Jump in the discussion.

No email address required.

how is that even possible lol ? its in the name. they are good for sucking peepee :marseylaugh:

Jump in the discussion.

No email address required.

I would like to see how he writes his calculus exam in pseudocode lmao.

Jump in the discussion.

No email address required.

:marseyspecial:

Function Main
    Output "Hello world!"
End
Jump in the discussion.

No email address required.

I literally did stuff like this. When I was in high school, graphing calculators were fairly new, and we were allowed to use them on tests. Many of the teachers didn't realize or didn't care that you could program all the formulas into them, so that's what all the programmercels did. It's not cheating if you exploit a loophole they didn't ban yet

Jump in the discussion.

No email address required.

LPT i used a ti89 with symbolic diff/integration through hs. OP


:!marseybarrel: :marseybarreldrunk:

Jump in the discussion.

No email address required.

tbf if you programmed it yourself you probably retained it better than your classmates and learned something like programming which is a win for society too.

Jump in the discussion.

No email address required.

English speakers will not stop until we colonize all Romance languages

:#marseybongo:

Jump in the discussion.

No email address required.

Half of Anglo-Saxon gibberish is already french :marseybong:

Jump in the discussion.

No email address required.

actually we used to define computational logic in math symbols,

but that's a terrible way of writing logic that's understable, so we stopped doing that very quickly.

Jump in the discussion.

No email address required.

The :chudsey: "writing logic in code is easier" dramanaut vs the :marseychadthundercock: Kenneth E. Iverson:

Mathematical notation provides perhaps the best-known and best-developed example of language used consciously as a tool of thought. Recognition of the important role of notation in mathematics is clear from the quotations from mathematicians given in Cajori ' s A History of Mathematical Notations [2, pp.332,3313. They are well worth reading in full, but the following excerpts suggest the tone:

By relieving the brain of all unnecessary work, a good notation sets it free to concentrate on more advanced problems, and in effect increases the mental power of the race.

The quantity of meaning compressed into small space by algebraic signs, is another circumstance that facilitates the reasonings we are accustomed to carry on by their aid.

-Charles Babbage

link

Jump in the discussion.

No email address required.

:#marseyautism:

tisms say the darndest things literally nobody cares about

Jump in the discussion.

No email address required.

No you still see standard math notation in computer science papers all the fucking time, this guy's just incredibly autistic

If nothing else, typesetting pseudocode in a paper takes at least a thousand times as long as a_i\in\mathbb{Z}\ \forall\ i\in\{1,2,...,x\}\Rightarrow\exists\ \{b_1,b_2,...,b_x\}\in\mathbb{Z}\ :\ (\prod_{i=1}^{x}a_i\lambda(n)+1)=(\sum_{i=1}^{x}b_i\lambda(n)^i)+1, which is already ugly enough, and god forbid you have to rearrange it at some point

Jump in the discussion.

No email address required.

Using simple math logic symbols makes things so much clear and understandable. The math notation produce so much less clutter and shit than pseudocode.

Jump in the discussion.

No email address required.

I don't even know how you would show a logical inference in pseudocode either. A implies B is kind of a cornerstone of any math worth writing out :marseyfacepalm: Or do we need to learn a new syntax with different kinds of equal signs that no one will even agree on :marseysigh:

Jump in the discussion.

No email address required.

....you mean this?

A | B |A->B


T | T | T

T | F | F

F | T | T

F | F | T


:!marseybarrel: :marseybarreldrunk:

Jump in the discussion.

No email address required.

Yeah, but the problem with simple math logic symbols is that you have to do the work. With pseudocode, you just type it in, and the machine does all the work.

Jump in the discussion.

No email address required.

there are plenty of latex packages for coding that are super easy

Jump in the discussion.

No email address required.

If you're looking for something easy, you're in the wrong place. Coding is hard work and takes a lot of dedication. If you're not willing to put in the effort, you might as well give up now.

Jump in the discussion.

No email address required.

Coding is hard work and takes a lot of dedication

Wrong

Jump in the discussion.

No email address required.

true that’s why i work at F@gman

Jump in the discussion.

No email address required.

Why don't you go work at McDonald's if you're so unhappy with your current job?

Jump in the discussion.

No email address required.

:marseycapitalistmanlet:

Jump in the discussion.

No email address required.

:marseyseethe:

Jump in the discussion.

No email address required.

TC or GTFO

Jump in the discussion.

No email address required.

More comments

And also don't fit any publication's style requirements :marseydoomer:

Jump in the discussion.

No email address required.

if self publishing is enough for flat earthers it’s enough for codecels

Jump in the discussion.

No email address required.

$\sum_{n=1}^{n=4}\left(3n\right)^{4}$

rdrama natively supports LaTeX when?

Jump in the discussion.

No email address required.

Yeah like has he never read a paper on ML or recsys or anything tangentially related? They love their notation.

Jump in the discussion.

No email address required.

The whole point of math notation and writing everything in Greek and Latin was that so anyone who bothered to learn what those symbols meant would have to learn, at most, a few dozen symbols and words instead of having to translate entire phrases of one language into another.

The r-slur doesn't realize it's actually more accessible than just turning things into written English like "for all x from 0 to 10, add 1 to n" or some shit

Jump in the discussion.

No email address required.

In other news, I think French speakers should be made to speak English, because I find French very confusing, and English seems so easily understood by comparison. So we'd actually be helping them.

I agree both with the OP and u

Jump in the discussion.

No email address required.

I think French speakers should be made to speak English

You're more tolerant than I am. I think French speakers should be executed

Jump in the discussion.

No email address required.

I would totally have published some unique insights in topological theory if it wasn't for those inscrutable mathematical symbols.

:#soyjaktalking:

Jump in the discussion.

No email address required.

The comment syntax for math is totally broken. How am I supposed to know what part is the proof and what part I can safely ignore?

Jump in the discussion.

No email address required.

This is a great post to show the limitations of the human brain.

Jump in the discussion.

No email address required.

Domain dependence

Jump in the discussion.

No email address required.

Yes thats how your "for loops" were accomplished before computers, you dweebs.

Jump in the discussion.

No email address required.

For loops also aren't inclusive

![](/images/16581794127180243.webp)

Jump in the discussion.

No email address required.

I call the multiplication notation smegma (sigma but with a “M” for multiplication) and basically my entire signals class started using the term too

Jump in the discussion.

No email address required.

That's really sad that you have to resort to making up stupid names for things in order to feel superior. Grow up and learn to deal with reality.

Jump in the discussion.

No email address required.

Lol.

That's literally capital Greek Pi for product though. Not the hardest thing to remember.

Jump in the discussion.

No email address required.

The problem is that it’s just called product which kinda sucks for explaining verbally to people. Tbf though most proofs make 0 sense explained out loud, you have to read them to follow.

Jump in the discussion.

No email address required.

you mean Pi for product?

Jump in the discussion.

No email address required.

:sigmacap: and :picap: are defined and always do the same. If I see those I know what they do.

If I see a for-loop I have to look at it and read it to understand it. Because not every for-loop can be replaced by a math symbol.

Jump in the discussion.

No email address required.

For loop can always be replaced. If there is gonna be a known amount of iterations. If you don't know use another form of iteration

Jump in the discussion.

No email address required.

Why would you want to replace a for loop with something else if it's going to be a known amount of iterations? That doesn't make any sense.

Jump in the discussion.

No email address required.

I mean by the sigma notation. Then it is different thing about readability

Jump in the discussion.

No email address required.

You clearly don't know what you're talking about.

Jump in the discussion.

No email address required.

You can do it. Looks like shit and barely readable. It be sum function that doesn't sum anything. But just does other shit inside it.

Jump in the discussion.

No email address required.

Yeah, well maybe if you actually knew how to code you wouldn't be such a fricking moron. But since you're clearly an idiot, I'll spell it out for you: your code is garbage and barely readable because it doesn't do anything. So maybe you should learn how to code before you try and write any more.

Jump in the discussion.

No email address required.

Are you referring to loop unrolling? Because that would mean I have to even more code to notice if there's a small change from the "short" version.

Jump in the discussion.

No email address required.


Link copied to clipboard
Action successful!
Error, please refresh the page and try again.