I hate the symbols in math so much. It just feels like unnecessary gatekeeping for trivial concepts. How many mathematical proofs could be made widely accessible with just a little bit of psuedocode?
— Franklin Lynam (@FranklinLynam) September 11, 2021
" notation in math feels like unnecessary gatekeeping , proofs must be written in pseudocode for-loops "
https://x.com/FranklinLynam/status/1436725720810758148
- 145
- 156
Jump in the discussion.
No email address required.
Literal 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
Jump in the discussion.
No email address required.
More options
Context
More options
Context
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.
More options
Context
More options
Context
You can denote the additive operation in a field with any symbol you want bro
Jump in the discussion.
No email address required.
just use a ring bro, you dont need a whole field
save the planet
Jump in the discussion.
No email address required.
More options
Context
More options
Context
Back to fundamentals. Addition as set operations on sets containing the empty set
Jump in the discussion.
No email address required.
More options
Context
More options
Context
I saw this on Twitter yesterday, very relevant
Jump in the discussion.
No email address required.
The follow-up's even funnier
Jump in the discussion.
No email address required.
Funniest shit I’ve read today
Laughing at r-slurs is my lifeblood
Jump in the discussion.
No email address required.
More options
Context
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
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]
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
(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.
More options
Context
My neighbor Yoneda
Jump in the discussion.
No email address required.
More options
Context
More options
Context
Its stacks of sheaves all the way down. The fact that more than 0 people here know sheaves is alarming at best.
Jump in the discussion.
No email address required.
More options
Context
More options
Context
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 options
Context
More options
Context
More options
Context
More options
Context
More options
Context
More options
Context
Woohoo 3d real sequences.
Jump in the discussion.
No email address required.
More options
Context
More options
Context
This is the equivalent of I FRICKING LOVE SCIENCE but for math.
Jump in the discussion.
No email address required.
More options
Context
More options
Context
Guy definitely went into programming because he was afraid of the big scary
Jump in the discussion.
No email address required.
Hurr durr integration is basically addition
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.
More options
Context
More options
Context
More options
Context
More options
Context
More options
Context
I just don’t want to piss off the Greeks
@Transgender_spez
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
Jump in the discussion.
No email address required.
More options
Context
More options
Context
Nothing like the Anglosphere pride in being mathematically illiterate.
Jump in the discussion.
No email address required.
More options
Context
I HATE MATHLETS I HATE MATHLETS I HATE MATHLETS I HATE MATHLETS
Jump in the discussion.
No email address required.
I'm losing braincels by reading the responses holy frick
Jump in the discussion.
No email address required.
More options
Context
More options
Context
More options
Context
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:
Why did we both independently pick on French speakers?
Jump in the discussion.
No email address required.
More options
Context
Jump in the discussion.
No email address required.
More options
Context
No, I do not want to understand what the french say
Jump in the discussion.
No email address required.
More options
Context
More options
Context
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
Jump in the discussion.
No email address required.
More options
Context
More options
Context
I would like to see how he writes his calculus exam in pseudocode lmao.
Jump in the discussion.
No email address required.
Jump in the discussion.
No email address required.
More options
Context
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
Jump in the discussion.
No email address required.
More options
Context
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.
More options
Context
More options
Context
More options
Context
English speakers will not stop until we colonize all Romance languages
Jump in the discussion.
No email address required.
Half of Anglo-Saxon gibberish is already french
Jump in the discussion.
No email address required.
More options
Context
More options
Context
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 "writing logic in code is easier" dramanaut vs the Kenneth E. Iverson:
link
Jump in the discussion.
No email address required.
tisms say the darndest things literally nobody cares about
Jump in the discussion.
No email address required.
More options
Context
More options
Context
More options
Context
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 pointJump 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 Or do we need to learn a new syntax with different kinds of equal signs that no one will even agree onJump 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
Jump in the discussion.
No email address required.
More options
Context
More options
Context
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.
More options
Context
More options
Context
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.
Wrong
Jump in the discussion.
No email address required.
More options
Context
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.
Jump in the discussion.
No email address required.
Jump in the discussion.
No email address required.
TC or GTFO
Jump in the discussion.
No email address required.
More options
Context
More options
Context
More options
Context
More options
Context
More options
Context
More options
Context
And also don't fit any publication's style requirements
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.
More options
Context
More options
Context
More options
Context
$\sum_{n=1}^{n=4}\left(3n\right)^{4}$
rdrama natively supports LaTeX when?
Jump in the discussion.
No email address required.
More options
Context
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.
More options
Context
More options
Context
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.
More options
Context
I agree both with the OP and u
Jump in the discussion.
No email address required.
More options
Context
You're more tolerant than I am. I think French speakers should be executed
Jump in the discussion.
No email address required.
More options
Context
More options
Context
I would totally have published some unique insights in topological theory if it wasn't for those inscrutable mathematical symbols.
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.
More options
Context
More options
Context
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.
More options
Context
More options
Context
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
Jump in the discussion.
No email address required.
More options
Context
More options
Context
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.
More options
Context
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.
More options
Context
More options
Context
you mean Pi for product?
Jump in the discussion.
No email address required.
More options
Context
More options
Context
and 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.
More options
Context
More options
Context
More options
Context
More options
Context
More options
Context
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.
More options
Context
More options
Context
More options
Context