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

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.

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

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.

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.

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.

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