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.
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.
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
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
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