serious-discussion

[toxic schooner]

[ripe wasp]

i find having a rigid schedule that i must stick to is the most reliable way

so ig im just gonna go with 1 hour study 15 min break

[quaint furnace]

good luck

[ripe wasp]

gonna try and finish the rest of the determinant chapter in hoffman kunze

and begin

elementary canonical forms

[charred mortar]

I tend to take breaks when I feel like my brain is too fried to do any more stuff

[flat harbor]

u can talk abt study strats and magic methods all u want

but it boils down to whether u have strong mental or not

if u have the drive n energy to get things done then ull gravitate towards methods that work for u

[bright hill]

I do 1 hour study 20 min break

completely coincidentally, an anime episode is around 20 minutes

[sleek wing]

Step 1: Stress is a powerful motivator
Step 2: Wait for your entire future to ride on the back of 2 exams
Step 3: Cover yourself in stress
Step 4: Grind

[bright hill]

wew is speaking out of experience lol

[sleek wing]

It’s worked 7 times in a row

[bright hill]

that's unironically based

[sleek wing]

It’s incredibly draining but it seems to work

[bright hill]

sean is a 9th grader tho

so

I don't think it applies to him lel

@ripe wasp don't feel bad about taking longer breaks tho

productivity goes down drastically when you you're tired

and that happens fairly quickly when doing math

[flat harbor]

just have strong mental

[brave hollow]

gunpoint is my favorite study spot

[bright hill]

"just" lmao

[sleek wing]

I'm pointing the gun at myself tbf

[dire mulch]

I finished my English exam. It was surprising went well.

Now semester is officially over.

[deep mango]

Hopefully you get a chance to relax for a little bit

Anything you're planning on doing this summer?

[dire mulch]

Yeah not doing math until next week.

[deep mango]

nice

[dire mulch]

Work, reading rudin and Hoffman. Spending time with friends.

My family isn’t planning much this summer.

Oh yeah, need to start working on my summer body.

[deep mango]

That sounds great

[neat frost]

Sorry I was looking for you before and didn’t see you, and took a nap after that message.
Good morning blo! 💙

[flat harbor]

it is 12 am

💙

[neat frost]

O: just on time

[deep mango]

[neat frost]

Sully me again ryc, I DARE you.

[neat lintel]

how do u develop a strong mental?

[flat harbor]

fuck if i know

[bright hill]

u just do it

lmao

[flat harbor]

uhhh gaslight urself into thinking u deserve better

have a goal but dont elaborate into it too much that might make u actly think abt the consequences and discourage u

go thru a lot of shit and suffer so u stop caring abt having strong mental but instead cling on for ur life

and have a lot of meta episodes abt inferiority complex

thats abt all i have

[neat lintel]

hm

[wanton marten]

How proofs are verified in academia ?

Some guy works - passes paper to people smarter than him ?

Or is it done by machines hese days?

[surreal sapphire]

peer review process

[neat lintel]

it can be

richard boecherds thinks every proof will be verified by a computer in 20 years

he's a field's medalist 💀

[limber thunder]

I mean he's a respectable guy and all but

every proof

[fair mural]

remembering how long some proofs can be

[limber thunder]

also verifying a proof requires someone to formalize it

[neat lintel]

lol yeah that's what im thinking

[wanton marten]

i thought they all are formalized

[neat lintel]

formalized as in

a computer can understand it

[limber thunder]

yes

[wanton marten]

got it

[limber thunder]

as in writing all the necessary definitions and preliminary results in a computer system like Lean or whatever the cool kids use these days

[neat lintel]

coq

[wanton marten]

metamath 👍

[neat lintel]

metameth

[wanton marten]

that's what i think of when i think about it

its the hardest thing i have seen in my life - first you formalize the syntax of proof

then you formalize the proof

there is pretty big chunk of set theory formalized for metamath software

[light needle]

20 yrs is unrealistic but i do think its the future

or maybe its not, maybe 20 yrs is more than we need

computers be growing

[slow moat]

should I read lots of analysis as an undergraduate? or is algebra a requisite for modern math in graduate school?

[neat lintel]

depends on which field you wanna go into in grad school

as an undergrad you should be doing a wide variety of stuff to find out what you like and dont like

in order to choose which field you wanna specialize in, when u go to grad skool

[neat lintel]

moore's law go brrrrr

[limber thunder]

yes and yes

having good knowledge of analysis and algebra is expected in pretty much any math grad program

[neat lintel]

@light needle how are you?

[hybrid quest]

Hasn't Moores law puttered out?

[modest rune]

Also, it has nothing to do with moore's law or even like, computers

the main issue is in the software and design of proof assistants and verifiers

They have sort of bridged the gap between symbolic and human proofs

but they are still way too close to symbolic for most mathematics to be translated

(without tons of thankless labor)

[limber thunder]

that's the main reason why it won't become widespread anytime soon

too much effort for little gain

as well as social reasons, i.e. academic structures being too conservative to accept new things, risking economic stability etc

[wanton shoal]

I think my friend failed probability

[sick burrow]

I have become too model theory brained

I'm doing a problem on my geometry final and my natural instinct to denote two triangles is $T$ and $\Gamma$

[fathom swallow]

geometry #1 enemy

[sick burrow]

[mild fiber]

Ok

[stark charm]

What is the problem

[distant latch]

guys is this correct ??

[leaden torrent]

,w 2 * sqrt(5) / (3 * \sqrt[4]{72}) = \sqrt[4]{450}/9

bleurgh

[fathom swallow]

Results provided by WolframAlpha

Click here to refine your query online
Upgrade to WolframAlpha Pro!

Requested by Namington#1983

[leaden torrent]

i didn't check the work but the actual statement is true.

[stark charm]

Yes the steps are correct

[distant latch]

,w sqrt[3]{5}/sqrt[5/3]5

..

tf

[cyan goblet]

do y’all think that the GRE will become significantly less important for highly competitive grad schools in a few years, just as ACT and SAT are becoming less important among competitive undergraduate schools?

[deep mango]

I do think so

[bright hill]

how tf is the sat not a joke?

imagine thinking mental arithmetic is at all predictor of mathematic ability

lmao

[stark charm]

Its an important part of the college selection process

Atleast in the United States

[sleek wing]

I literally cannot do 4*19 in my head although it's 76

[stark charm]

I cant do big multiplication in my head

[toxic schooner]

so true wew

[stark charm]

So I round to nearest multiples of ten and subtract

4*20 - 4

[bright hill]

I used to do big multiplication to get myself to be when I was younger

[stark charm]

Same here. I also knew the multiplication table

I slowly forgetten it and only remember about 3/4ths of them

[bright hill]

how big is that multiplication table? lol

[stark charm]

1-12

[fair estuary]

How do I write the symbol for natural numbers? Is it just $N$?

[fathom swallow]

TheDirtyHandsome

[fair estuary]

$\mathbb{N}$

[stark charm]

There are different fonts in latex. You can use \mathbb{N}

[fathom swallow]

TheDirtyHandsome

[stark charm]

Or you can use bold.

[fair estuary]

What is the bold version look like?

[stark charm]

I was talking about textbf

$\textbf{N}$

[fathom swallow]

Cole Lee

[fair estuary]

I think the N with the hole in the middle looks more professional

[fair estuary]

Thank you!

[deep mango]

THE DOUBLE LINE GOES ON THE LEFT!!!! AAAAAAAAARGH

Fuck you latex!!

[brave hollow]

are you ok ryc?

[deep mango]

I am staunchly opposed to double diagonal N

Based
Cringe

[fair mural]

$\mathbb{N}$

[fathom swallow]

quantum

[surreal sapphire]

just do mathbf

[fair mural]

oh shoot

i never noticed this

[surreal sapphire]

its called blackboard bold for a reason

it was never meant to be printed

[deep mango]

no i like using bbR and bbQ

[surreal sapphire]

i have this inner conflict that i write latex with serifs but boldface should go sans-serif

[deep mango]

Also this is your daily reminder that mathbbQ is meant to be written in one stroke.

🤨

I do analysis and still use it constantly

[fair mural]

i feel like this looks like that one musical Q

[deep mango]

Wat

Q isnt analysis

I draw R way more than Q

(and my R is also a lot less pretty)

[surreal sapphire]

i just use K

[sleek wing]

\mathbb{F} for me

[fair mural]

https://youtu.be/cyW5z-M2yzw this one

[deep mango]

Oh nice

Well mine is the best Q

Im very proud of having come up with that

[surreal sapphire]

this looks like

[fair mural]

bruh

[deep mango]

[surreal sapphire]

band logo

fraktur inspired though

[deep mango]

Of course yohan would be salivating over this

[sleek wing]

looks sick tbf

[sleek wing]

ohh my names ryc and I don't like calligraphy as an art form ooohhhohohoh

[surreal sapphire]

this is pretty good as far as metal band logos go

[deep mango]

I think it's cool. That doesn't mean I'm not gonna clock Yohan

[surreal sapphire]

from an art perspective

not great, but there is a lot worse

[sleek wing]

true!

[deep mango]

Lots of metal band logos are very silly

There are also lots of great ones

[surreal sapphire]

tbf the band transitioned from metal into prog rock

[deep mango]

👊 I may not be 6'8" but I have reach!

I'm a stealthy cookie thief

Watch it or I might just steal something from you

That seems pretty inconvenient

Do you own a fanny pack or something

Oh

What if it's hot out

Wow

That sounds so pretty

Idk where tf you live

I don't have my finger on the pulse of mesopotamian geohistory

Hmm

[hushed turret]

this is also meant to be the rationals isn't it

[fair mural]

$\mathbb{Q}$

[fathom swallow]

quantum

[fair mural]

i don’t think so

not that i’ve seen

[fair mural]

it’s either this or the bold Q

[surreal sapphire]

its just a fancy font

[hushed turret]

i mean from the context of the video it's the rationals
and that's just a font grant sanderson likes

[fair mural]

oh lol

[hushed turret]

it's not anything musical

[surreal sapphire]

its some measure theoretic statement

i recently researched a theorem due to stormer

and for some reason its connected to music theory

https://en.wikipedia.org/wiki/Størmer's_theorem#In_music_theory

i have to learn some music theory at some point

[bronze pelican]

I will read this

[pastel temple]

too bad most people don't use just intonation anymore lol

there's a book

https://www.google.fr/books/edition/The_Topos_of_Music/6I9U9-Rls8oC

[stark charm]

This has nothing to do with math

[surreal kindle]

@stark charm

[surreal sapphire]

hm?

[stark charm]

It doesnt seem to deal with music theory either

Just look at the preview

[dire mulch]

@surreal kindle how reading up on religious texts somehow enables one to analyze situations to tell right from wrong?

[surreal kindle]

Oh yeah it's miss shaped

I wrote the whole thing wrong

Let me re-phrase what i meant

I often tend to encounter individuals, whom express their opinions, or whatever they tend to call it, according to them, "facts", for instance, about immigration related to some religion, in my case, Islam.

So what i meant was, before doing such things, educate yourself in that topic so you can then re-judge such topics.

[pastel temple]

what are we talking about

[surreal kindle]

I mean i met a guy who critized having several wives is COMPLETELY bad

[dire mulch]

Ok I agree with you on that. If it was the other case I would have went off.

[surreal kindle]

Yet one of the reasons is that if her husband dies, shes verry poor etc

He can take care of her

Ofcourse i dont support having more wives

But gashlighting the whole concept, making it look more worse then it is

[dire mulch]

The problem is people are always using their social norms to judge other people with different social norms.

[surreal kindle]

Yeah ofcourse :)

[surreal kindle]

Yep

Thats why, i just wanted to recommend people

To educate themselves

Before expressing themselves in a few topics

I mean i encounter Americans who thinks being a socialist equals being a communist

Which is of course wrong.

[pastel temple]

god damn am i glad i left my country

[surreal kindle]

Same thing as people saying, in order to prevent crime, we need to raise the penalty etc

Yet statistics shows that such terms doesn't reduce the precentage.

[dire mulch]

They wasn’t mad.

[stark charm]

I think this works

[pastel temple]

lmao "they wasn't"

[stark charm]

Violence is definitely the answer to most social issues

[surreal kindle]

💀

[stark charm]

But its cruel and immoral

[surreal kindle]

Well i respect your opinion

I've read Hitlers manifesto, i've read Islam, i've read marxism

[stark charm]

In the most basic form social issues are situations with imbalance in privilege

Violence eliminates imbalances

[surreal kindle]

Before i was a clown who yet tried to express myself in those topics, uneducated lol

[stark charm]

or exaggerates

[pastel temple]

everyone agrees with you when everyone who disagrees with you can't do so freely

[surreal kindle]

truers

[stark charm]

Lol reading islam

[surreal kindle]

Yeah

[dire mulch]

That is why we need daredevil in every streets.

[stark charm]

You mean you read about islam?

[surreal kindle]

We have a lot of controversial opinions in my country towards that religion

So i studied it

In order to grasp the concept better

[surreal kindle]

Yeah whole koran

What i learnt?

They use it to control people lol

[stark charm]

Im starting to doubt you

[surreal kindle]

Thats up to you

[sick burrow]

[pastel temple]

huh i was expecting something else but yeah

[stark charm]

Just by your use if language I doubt you

[pastel temple]

that was my experience as well

[surreal kindle]

Well i dont care lol

[dire mulch]

So Christian.

[surreal kindle]

^^

[velvet dagger]

Your use of the word "the" in that sentence about violence communicates a very different message than you intend to Cole

[surreal kindle]

Oh yeah

I mean

[stark charm]

Starting to realize that I sound insane lol

[surreal kindle]

Ngl we would probably have fallen for that too, back in those days.

[velvet dagger]

The tricky thing about analyzing religion is that a lot depends on historicity of certain claims

[pastel temple]

idk not to brag but i always found it sort of bullshit...

[surreal kindle]

Yep

I agree 100%

[pastel temple]

despite being rather immersed in it

[velvet dagger]

No matter how much one dislikes, say Christianity

If you could go back in time and literally witness Jesus waking up from the dead

[surreal kindle]

😆

Newton versus Jesus

[velvet dagger]

Then that implies the religion just is correct and any disagreement you have with messages in the Bible would be a failure of your moral intuition

[surreal kindle]

yep

[velvet dagger]

Well okay with Christianity it's messier because the Bible isn't verbatim word of God

[dire mulch]

I am at the border edge. I was raised as. Christian for 18 years of my life and now I am seeing many faults and contradicting things with Christianity. Also I wrote two papers for my class on this.

[dire mulch]

Thank you.

[velvet dagger]

So in principle even if you can confirm the abstract claim that Jesus is son of God, you could take issue with a given book or other, etc. I feel like Christianity is one of the harder religions to analyze at some level precisely because there's a lot of question marks as to "what counts"

[dire mulch]

My first paper was about that.

[pastel temple]

i've been at the peak of apathy towards religion my whole life

for me religion = not liking that other people don't think like you

[sick burrow]

math server religion discourse

[velvet dagger]

Well, that's a bit religion-dependent lol

[stark charm]

I dunno if its that simple

[pastel temple]

alright

[stark charm]

Religion is the biggest cultural influence for most people on earth

[pastel temple]

i think it's the other way around

[stark charm]

Its not easy to simplify it as a tool used for discriminating

[pastel temple]

religion changes to suit local culture

[stark charm]

Yes they are dependent on eachother

[surreal kindle]

y3s

[velvet dagger]

Modulo the existence of a correct religion, that starts out being true Nitrite

[surreal kindle]

https://tenor.com/view/star-wars-democracy-i-love-democracy-gif-13935227

[velvet dagger]

But once the religion grows the flow of influence can and does flip

[pastel temple]

hmm

i really don't know

[stark charm]

You are a prime example

[velvet dagger]

So if we're to assume Christianity was wrong

Then the local culture in the area influenced its development

[pastel temple]

of what?

[dire mulch]

I don’t like how parent force religion on there kids. To the point of making them feel like they don’t belong in the family.

[stark charm]

Do you believe you have a strong influence on the direction of christianity as an individual? What about your entire friend group/social group?

[velvet dagger]

But then once it became huge, the tenets of Christianity as they stood at some point in time would then influence other cultures

[stark charm]

The answer should be no. Even though your social group counts as a local culture

[dire mulch]

For some reason parents refuse to believe at some point in there kids life they will start thinking for themselves.

[pastel temple]

as an individual, no, but i doubt christianity looks the same in russia vs in italy or osmething

[stark charm]

Thats precisely my point

Once it grows to a certain point the influence religion puts on a culture outweights the converse of culture influencing religion.

[velvet dagger]

I will also say that Christianity is one of the trickier examples here because of how diffuse it gets

[stark charm]

Only for big social issues does culture influence religion in my opinion

[pastel temple]

well islam is also vastly different between say iraq and tunisia

[stark charm]

Not as different as every schism of christanity

[velvet dagger]

Yes but because Islam has more well-defined tenets I think there's a stronger notion of "the correct practice of Islam"

For example

Christmas

[pastel temple]

yeah because islam is very resistant to change

[surreal kindle]

@velvet dagger I think it would be cool if we had a channel for politics etc?

[pastel temple]

and yet it still does get interpreted differently

[velvet dagger]

This was something iirc created by the Catholic Church to resemble the festival of lights in pagan cultures to make them more likely to convert

[surreal kindle]

So u can discuss those things just like math

[velvet dagger]

But Islam has incredibly strict rules about adding stuff to the religion

[dire mulch]

When people forget that Christianity and Islam all comes from the same tree.

[velvet dagger]

If a given country decides to add a holiday to Islam

You wouldn't say that the religion has evolved, rather you would say the country has deviated from Islam

[stark charm]

Where?

[pastel temple]

i agree that religion has an influence on culture, on top of culture having an influence on religion, i just don't know which one has more weight

[stark charm]

I can most definitely say its religion dependent

But generally religion on culture is stronger

[pastel temple]

well i was about to say that it's also culture-dependent

[dire mulch]

Abraham.

[stark charm]

Im asking where did anyone forget they are abrahamic?

[pastel temple]

if a people is united through something other than religion it will have less importance

[dire mulch]

Oh I meant it generally.

[stark charm]

Sometimes?

[pastel temple]

what's the question

okay, it's because you said "generally"

[sick burrow]

@ Several Sloths can we please not have this

[velvet dagger]

Regarding the tree, pretty much you have the three Abrahamic religions. I think they all agree God comes to Moses. Islam's take is to be skeptical as to whether the Torah that you find nowadays is faithful to what was revealed to Moses, I think Christianity takes that wholesale

And yeah I'm not team politics channel, such discussions very often go down the drain so I'm more inclined to have case by case and ideally with a moderator presence.

[sick burrow]

dami were you there for #econ-discussion

like a year ago

[stark charm]

Out of all religions to have existed. Their influence on culture is stronger than culture’s influence on them. This falls apart once you look at larger timescales though

[pastel temple]

islam claims with certainty that previous books have been tampered with

[sick burrow]

that conversation that started with math education and ended with Max explaining the necessity of communism

[velvet dagger]

I feel like I've seen cases made both ways, not sure if there's a reliable narration or a Quranic verse in that vein Nitrite

[sick burrow]

and the mods couldn't shut it down since the majority of the convo was blue and yellow names

[stark charm]

Are yellow names immunity😱

[sick burrow]

so Namington just renamed #math-discussion to #econ-discussion

[velvet dagger]

At least in a given citation of a subset of the Torah, you'd neither believe nor disbelieve its veracity if it doesn't go against what's known Islamically

But yeah Jesus is the weird case. I think, but someone who's more knowledgeable about Judaism can correct me, that the Jewish take is that he's neither a prophet nor divine. Islam takes him as a prophet but not divine (and that any claims that he called himself divine were fabricated), Christianity as divine (I'm being vague because I think the details are a bit sect-dependent)

[stark charm]

Yes

Christanity overall has that jesus is divine and man and as far as I understand it arent clear on the true divine identity of Jesus. While judaism believes he is a human in history

[fresh oriole]

actually it does. It contains actual category theory

[stark charm]

That was my first impression

[pastel temple]

after a not so quick search, i'm finding some verses that talk about falsification of at least the torah

[velvet dagger]

Which?

[stark charm]

But then I started reading it. There is no way in hell anyone uses this as a resource for learning music theory. And I would feel bad for anyone who knows music theory and some category theory for trying to parse through the terse trash.

[pastel temple]

al nisa' 46

[stark charm]

Or maybe I am being too critical of the writing?

[pastel temple]

the use of the word يحرفون indicates a religious text being falsified

and while you could say it's ambiguous in the text, for all we know that word meant something else back then, or it can have many interpretations, because there is no direct mention of that, in practice, when muslims refer to the quran being pure (a big deal), they use the same word

[velvet dagger]

Hmm, yeah I guess I'm not familiar with the tafsir/linguistics behind that verse, could go either way. Thanks for pointing it out though

[fresh oriole]

It's not "music theory" like learning your key signatures and cadences and stuff. It brings together math, music, semiotics and philosophy and stuff

it proposes an ontology for music

it's really far out and cool

[pastel temple]

can't disagree with this message lol

[fresh oriole]

it is difficult to understand because of all the abstruse academic disciplines it attempts to bring together - maybe not entirely successfully

but it's valiant work

[pastel temple]

i don't know enough in either maths or music theory to understand any of it, but by snooping around i found a composition/music analysis program also by Mazzola, based on the book

but i have no idea how it works so i can't do anything with it

https://github.com/rubato-composer/rubato-composer/releases

fairly recent builds too for something that was made ca. 2006

[fresh oriole]

yeah, it's explained in the book but I didn't get that far

I like his definition of music as a triple of data $C \leftrightarrows M \rightarrow L$

where C is the composer / artist / group, M is the sound / piece

something like that. It's been a while

and L is the listener

[fathom swallow]

ManifoldCuriosity

[bright hill]

I think there is

I know of one verse that falsifies christianity

and another that claims alterations but I'm not sure which people it talks about

[velvet dagger]

Well the Bible as it is today is kind of all over the place, I don't know if even Christians claim it's the same as the "injeel"

[bright hill]

[velvet dagger]

Tbh I don't know which subset of it, if any, is claimed as such. In any event anything in the Bible that talks about Jesus being son of God is, from the point of view of Islam, completely fabricated. Torah is trickier. Nitrite suggested a verse but whether it's general commentary vs specifically a statement that the Torah was tampered with depends on tafsir/linguistics that I'm not aware of

But it's very possible

Also I have an advisor meeting so unfortunately I can't continue this discussion. Peace out guys

[bright hill]

o/

[delicate knoll]

so, what is the big deal with the Euclidean 5th axiom?

[stark charm]

If you alter it you get different geometries

[fair estuary]

How do I say in a math statement that means the smallest number that satisfies a condition?

[delicate knoll]

seriously

man that is huge axiom change

[stark charm]

You can use words like you have or saying smallest such n satisfying P

No need to get more convoluted with notations

[delicate knoll]

"find a the smallest number that satisfies this statement"

or you mean with logic notation?

[fair estuary]

Smallest n satisfying P

[stark charm]

That works

no need for math notation

[fair estuary]

If I throw that at the end is it good enough?

[stark charm]

Yes

Its clear what you are talking about

[fair estuary]

$\forall s \in S = {1,...,p-1}, \gcd(s, p) = 1$, where $p$ is prime and S contains $\mathbb{N}$ and smallest p satisfying $\gcd(s,p)=1$

[fathom swallow]

TheDirtyHandsome

[fair estuary]

Does that work?

[delicate knoll]

$\forall x \in \mathbb{S}(\exists p: (\forall n \in N,((n∣k)⇒(n=1)∨(n=k))) \rightarrow GCD(x,p) = 1$

humm

i need to stduy more logic

[fair estuary]

What does the A without middle line mean?

[delicate knoll]

man, AND logic function

[fair estuary]

Oh ok

Is it the \land that creates that symbol?

$\forall s \in S = {1,...,p-1}, \gcd(s, p) = 1$, S contains $\mathbb{N}$ and p is the smallest number satisfying $\gcd(s,p)=1$

[fathom swallow]

THCampbell

[delicate knoll]

it means the "AND"

[fair estuary]

What does this mean?

[delicate knoll]

for all numbers x in S, there exist a number p, such that is prime, so that GDC(x,p) =1

[fair estuary]

What does mine say?

[fathom swallow]

TheDirtyHandsome

[fair estuary]

$\forall s \in S = {1,...,p-1} = \mathbb{N}, \gcd(s, p) = 1$, and p is the smallest number satisfying $\gcd(s,p)=1$

[fathom swallow]

TheDirtyHandsome

[cyan goblet]

is this acceptable

[deep mango]

That's a 3 stroke marty

[cyan goblet]

:(

also how do you write bb Z

mine looks weird

[deep mango]

Oh I have that one already saved!

i think

[clever knot]

ryc, how was your numbness experience

[deep mango]

it's 2 strokes

a 7

[cyan goblet]

oh ok so im writing it the same as you

[deep mango]

and then an upside down 7

[cyan goblet]

yours just looks better

[deep mango]

it was fun

i ate a little

that was weird

then i went and got poutine after the numbness subsided

my earache experience has not ended and i rate it quite poorly

i also wrote all the greek letters recently

and uppercase

[sleek wing]

capital xi my beloved

[cyan goblet]

my gamma and alpha and beta look mehh

beta is never consistent

[cyan goblet]

i also tend to write π as if its a chinese character

[deep mango]

wow

that's interesting

[cyan goblet]

i know

doesnt even look like pi anymore

[deep mango]

that's not lambda huh

[sleek wing]

I'll do the greek letters but only the ones I rememer

[cyan goblet]

LMFAO

[deep mango]

backwards lambda

[cyan goblet]

i envy ppl who can do a good lambda

[deep mango]

i literally put them all there for you in order

[cyan goblet]

mine are always one of the two

[astral iris]

Kinda looks like a person

[cyan goblet]

i have the chinese character 人 down by muscle memory which means person

so my lambda is just a backwords 人

[astral iris]

Nice lmao

[sleek wing]

I'm not scrolling up + I got bored

[astral iris]

Yeah that character is pretty close

[cyan goblet]

discord doenst do the character justice

[astral iris]

Ren

[sleek wing]

fuck I forgot rho

[clever knot]

what is the ":(" and the :/ about

idk what you call them

[sleek wing]

my xi and zetas

[cyan goblet]

☹️🫤

wait backwards 人 is just 入

lmao

forgot about that character

[fair mural]

why not do the second one every time

[cyan goblet]

i think i do i just forgot it existed

[bright hill]

that looks like japanese え

[bright hill]

you have a pretty hand writing

[cyan goblet]

ye kinda

i got it from the top half of this charactwr

[sleek wing]

there, the entire greek alphabet

[cyan goblet]

oh shit

damn i wonder if the greeks knew their language would be used in logic gates

[sleek wing]

I can't decide if my favourite greek letter is "Astrological symbol for pluto", "the chemical formula for meth", or "Yen"

[clever knot]

Never knew grapes were a greek letter

[cyan goblet]

im a big fan of the tenor clef letter

[sleek wing]

even back then, they knew bro

they just knew

[clever knot]

I see pnp but no npn :/

[sleek wing]

fuck npn

and yo mosfet shittttt

[bright hill]

my favorite is that monstrosity to the right of delta

[clever knot]

op amp

[sleek wing]

do not insult my nabla

[bright hill]

I meant the other monstrosity

[sleek wing]

what the $x$?

[fathom swallow]

Wew "Planks" Tbh

[sleek wing]

wait

[bright hill]

this lel

[sleek wing]

oh lol

OH lowercase delta

yeah I cannot write xi

[cyan goblet]

that is obviously a political cartoon about a man with a bag of money

[bright hill]

that's xi?

[sleek wing]

it's me trying to draw it then baby raging

like how tf am I supposed to draw this...

[limber thunder]

just draw winnie the pooh

[cyan goblet]

i remember the first time i saw $\varrho$ i was convinced “varrho” was its own greek letter that i had never heard of

[limber thunder]

done

[fathom swallow]

anamono

[cyan goblet]

uh oh…

[sleek wing]

varpi or as I like to call it, w

[cyan goblet]

as a chinese i represent his gloriousness

sleep well tonight

for it will be your last rest

[bright hill]

r/therestofthefuckingowl

[limber thunder]

I've heard not one but two profs call the letter phi "varphi"

[cyan goblet]

LOL

[bright hill]

$\varrho$

[fathom swallow]

DarQ

[bright hill]

[limber thunder]

both are millennials incidentally

[fair mural]

latex brained

[sleek wing]

I catch myself writing "_" on paper instead of just subscripting

[bright hill]

[fair mural]

good thing i don’t write my math on paper

[sleek wing]

I do

[bright hill]

ok

bruh

[sleek wing]

no one can steal my secrets

[bright hill]

don't you like

do exercises?

[sleek wing]

tbf I latex my exercises if they're actually needing to be handed in

[deep mango]

i like the gamzee one

[fair mural]

are you talking to me

[cyan goblet]

doing math on paper

these ppl have never used a boogie board

[sleek wing]

I knew you'd get it

[fair mural]

the bad thing is i write really slow

[deep mango]

the fuck is a boogie board

[sleek wing]

I write so quickly it's unreadable

[fair mural]

so idk what i’ll do when i go to college

[cyan goblet]

zoomer etch a sketch

[sleek wing]

IMAGINE TAKING NOTES LMFAOOOOOOOOO

[bright hill]

ye

[fair mural]

i write all my exercises on latex

[bright hill]

[fair mural]

wew catkinged me

[sleek wing]

it's chicken time

[fair mural]

that’s almost good as a tokidoki catking

[sleek wing]

I don't have any chicken

wtf

[dire mulch]

You serious? I am trying to do that.

[bright hill]

do you put the entire argument in your head and then translate it into latex?

[fair mural]

i think of stuff then type it out

[fair mural]

yes

everything

[dire mulch]

How efficient is it?

[fair mural]

i don’t know any other way so i don’t know, although doing it this way i can just store all my work

so that helps i guess

[sleek wing]

quantum have you ever done a row reduction exercise on latex

[fair mural]

i have documents for each book i read

[fair mural]

yes

[deep mango]

i think whether or not it's efficient, it's smart because you will be faster at using latex for when you need to use it

[sleek wing]

how big was the bastard

[fair mural]

let me check

i’ve done multiple

[deep mango]

have you ever seen copy paste?

[limber thunder]

even with that it's a huge mess

[sleek wing]

ooohhh I'm just going to CHEAT

[cyan goblet]

i do all my stuff on ipad

[sleek wing]

it's still unreadable

[deep mango]

sometimes when i'm proving big chains of inequalities in analysis proofs i retype each line just to feel something

[sleek wing]

cause I do it all on one line like a sociopath

[limber thunder]

even with that and macros for matrices and the such it's a huge mess

[dire mulch]

Ok I wanna learn. I have the weekends and I am not doing math.

[bright hill]

ok, wtf

[dire mulch]

So perfect time.

I guess I watch ryu talk then.

[bright hill]

[deep mango]

someone presented a latex workshop on this server and then made a recording

i wonder who

OK whatever i made 100 typos and spent too long typing that

and plegasus said it before me

[limber thunder]

took me long enough to take this pic due to my stupid phone

[bright hill]

that looks neat

[sleek wing]

where's the chemical formula for meth

[dire mulch]

math.

[bright hill]

true

[limber thunder]

also zeta took me a handful tries

[bright hill]

no no

meth

[fair mural]

5 columns, 4 rows

[bright hill]

[fair mural]

i forgot what an nxm matrix means

i forgot what’s rows and what’s columns

[bright hill]

relatable lmao

[cyan goblet]

n rows m columns?

[sleek wing]

awful

[cyan goblet]

i think

[dire mulch]

#linear-algebra message

[sleek wing]

yeah rows first

[dire mulch]

Do this.

[bright hill]

hubberd gave me this mnemonic (which he got from a friend)

you take the elevator then the hallway

[sleek wing]

wait

[bright hill]

I like to imagine my room is in the top left of the matrix

[sleek wing]

yeah ok it's rows first thank god

[cyan goblet]

how do you get to the elevator without walking through a hallway

[bright hill]

you're already in your room?

[cyan goblet]

if ur in ur room then you leave

go down the hall to the elevator

[bright hill]

you see

[deep mango]

wow your gamma, xi, and Xi are so cute

[fair mural]

quantum tunnel into the elevator

[cyan goblet]

true…

[bright hill]

the hotel you're staying at is quite fancy

[fair mural]

what the frick does this mean

[cyan goblet]

another reason wht hubberd sucks

why*

[bright hill]

the elevator is in your room

[deep mango]

xi = lowercase, Xi = uppercase

[bright hill]

hubberd sucks not

[shrewd marlin]

methamphetamine
N-methyl-1-phenylpropan-2-amine

[sleek wing]

yesss yESSS

[fervent pebble]

chem

😡

ew

you ppl should be ashamed

[cyan goblet]

meth is not chem

meth is life

[fervent pebble]

gods i love meth

jk

meth doesn't affect me 😎

[fervent pebble]

:(

[fresh oriole]

it worked for Erdos

and we all wanna be like Erdos mirite

[neat lintel]

i feel like there should be a math standardized testing in pre uni section

[astral iris]

What do you mean

[charred mortar]

…do you mean like all the standardized tests that already exist?

[neat lintel]

for pre uni

so i meant ACT/SAT

[astral iris]

Doesn't that already exist tho

I'm kinda confused lol

[neat lintel]

oh which channel is it

[astral iris]

Oh you mean like a specific channel

No that doesn't exist then

Are you talking about like sat or act math

[neat lintel]

yea

[astral iris]

Ah

I guess you could just post in the pre uni channels

[analog salmon]

This permutation notation is gonna make me lose my mind

why does $\pi(2)=5$ mean that the 5th letter of the plaintext is in the 2nd spot of the ciphertext

[fathom swallow]

cgodfrey

[analog salmon]

that makes no sense

[torn willow]

Is this a textbook? Or is this just your prof

[analog salmon]

professor

[astral iris]

It's the same notation in my discrete math class lol

Confusing

[leaden torrent]

i dont get whats confusing about the notation

you apply the permutation to each element individually

[torn willow]

Well it's the inverse of what you would usually do

[leaden torrent]

and get the image of the permutation

no it isnt?

this is standard notation

[torn willow]

pi(2)=5 would mean 2->5

Here it means 5->2

[leaden torrent]

oh i see

wait no

pi(2) = 5 means that the 2 index becomes the 5 index

it means 2 mapsto 5

this is the standard

[torn willow]

I see that now

[bright hill]

weren't you taking meth medically?

does that mean it wasn't effective?

[leaden torrent]

#chill

[ripe wasp]

its a boring ass saturday evening and i think its the perfect time to open baby rudin for the first time

see what all the fuss is about

wish me luck

[charred mortar]

you'll prolly be fine

can always swap to another book if you dislike his style

[bright hill]

famous last words

first chapter should be ez tho

you'll probably be fine

[charred mortar]

ye it's second chappy that's a bit of a bump usually

[ripe wasp]

okok

[charred mortar]

still nothing too bad, just a bit of a different thing

[ripe wasp]

sometimes when things r very hyped up for me they're usually kinda anticlimactic

like for example

eigenvalues/eigenvectors

i used to think

"wtf does eigen mean" and thought they were some magical thing i could never understand

now i still don't know what eigen means but at least i know what they are lol

same with calculus

just felt like algebra but slightly harder and different

[leaden torrent]

eigen just means "self" in german

[bright hill]

fuck you

calculus is cool

[ripe wasp]

oh lol

[bright hill]

[ripe wasp]

i don’t enjoy calc that much

i have much more fun doing la

[bright hill]

[ripe wasp]

maybe rudin can change that

[bright hill]

analysis and calculus are very different tho lel

[ripe wasp]

ngl i forgot like 60% of the calc i learned

[charred mortar]

tbh my calc has devolved into "can wolfram do it for me"

[toxic schooner]

i want calc to devolve to that for me as well

[hushed turret]

enjoy

[neat lintel]

Oof

Tbh the calculus I use in ML won't require me to even learn u substitution

it's same in most real world examples ig

U gotta code it

Or use a computer

But u will require the basic idea of that topic

Even if you don't know how to compute them

[neat lintel]

Your teacher has failed you, put on a Vader mask, join the dark side and do what you gotta do. . . .

Write an scathing, organized and well thought out review on rate my professor!

[neat lintel]

Can you give me an example? I'm self teaching calc after I finish this full stack course and I can use a solid example of what I'm going to be doing with ML. Don't know much about the tech stacks or how the tech applies to reality : All I really have a concept of is : "Data go brrr."

[neat lintel]

example of like how calculus is used in ML?

Yeah.

Also, fi I applied ML to a website, it would mostly do its labor in the business layer of the stack, right?

[neat lintel]

well a metaphor might be think of an word problem u build up the logic on how u can solve the problem ,those derivatives and integrals will all be calculated use code

Can you simplify that a bit more?

wait. . ..

I think I get it, actually.

[neat lintel]

oh

So ML doesn't know how to solve the problem, but it slowly builds its own logic to solve the problem.

u dont need to learn how to compute derivatives but you need to have a intuitive feel on what it is

it being the word problem? Or derivatives?

[neat lintel]

u build the logic and code does the computations like a calculator

So here is how I'm seeing ML after what you just told me. . . . I just read a chapter, now I'm doing the problems at the end of the chapter. . . And I have to figure out in my head how to use the tools I have been given so far to solve the problem.

That seems extremely open ended. . . .

[neat lintel]

not really

[neat lintel]

dam

like i said you dont need to solve problems

in calculus

but

you need to understand that what a derivative is

that (f(x+h)-f(x))/h

[neat lintel]

does it makes sense now?

[delicate knoll]

lim

[neat lintel]

No? Because the way you describe it, this STILL sounds like reading a chapter in a book, solving a hard problem at the edge of the chapter, and having to know what was IN the chapter to solve it, and the act of figuring the problem out is basically telling the machine : "Hey, this is a derivative, this is the horizontal rule, this is the vertical rule."

Or is me having to understand just your way of saying : "If you're going to code it, you have to understand it" ?

[neat lintel]

no horizental and vecrtical rule no power rule , this is a derivative and ur done with it

[delicate knoll]

what do you wanna really?

[neat lintel]

i said computing derivatives by hand is not necessary in ML he wants something like an example

u can say

like how is calculus used in ML

mainly for finding the correct set of hyperparameters

you go through a book understand what a derivative is

skip how to compute them

thats really all it takes ig

or maybe just have a rusty idea on how to compute them

What I meant to say was that ML is the process of reading the book and solving a hard problem, but rather than YOU learning the machine is learning and adding logic and tricks to ITS toolkit rather than YOU adding logic and tricks to your toolkit. i.e. learning, but for the machine.

But for you to teach a machine, you have to understand what functions do what and the properties of certain functions.

Am I wrong still?

[leaden torrent]

ML usually isnt training a computer to "use logic" or whatever

it doesnt enforce reasoning

it enforces pattern recognition

thats a totally different thing

[torn willow]

ML is like you trying stupid shit and then identifying what works

And then repeat with that subset to find what works better

[neat lintel]

u still need neural networks which requires lin alg

and calculus

[leaden torrent]

i dont see how that relates to what i said

[neat lintel]

its not only about pattern recognition

[leaden torrent]

im talking from the computers perspective

[neat lintel]

u gotta understand the concepts

[leaden torrent]

not from the coders

[neat lintel]

oh

[leaden torrent]

which i thought was clear from my message

[neat lintel]

i thought coders perspective

man i suck at english ig

[neat lintel]

uh not totally

like i said

understanding what ur model is doing

is necessary

for building a hypothesis

[torn willow]

Well I was talking from the perspective of machine too

[neat lintel]

for what to try next

[neat lintel]

oh bruhhh

Okay, I THINK I understand now.

i am currently working on an ml problem as well btw

So, you're effectively building a sound argument in logic class. There are a huge set of outcomes that you can get, but to avoid getting things like false positives or incorrect stats, (or a failing grade from the professor) you have to have stacks of arguments that build off of one another or can guide the machine to a good set of outcomes.

[torn willow]

Well yea

It's filtering constantly to get a "good" subset

[neat lintel]

not always

thats only for decision trees

that u use arguments

mmmm...Well, alright.

I think trees was as far as I went in intro to ML now that I think about it. . . .

[torn willow]

Well This is the training parr

[neat lintel]

the only mathematicial explaination i can give is

u have data points $(x_n,y_n)$

u have a function $f(x)=mx+c$ and u want that linear to pass through all the points such that it bests indicate their relation

[fathom swallow]

Pi Creature

[neat lintel]

u might see this is a linear regression

[torn willow]

ML gets you somewhere only with a huge amount of data

[neat lintel]

but in ml the way we do this is
we have the datapoints
(1,2)
(3,4)
(5,6)

we try a random value for m and c

and create a loss

how faulty our model is

using a mathematical formula mse and mae

are the major choices

and calculate $\frac{\partial L(m,b)}{\partial m}$

[fathom swallow]

Pi Creature

[neat lintel]

where L(m,b) tells u the loss for that particular for that particular choice of m and b

that derivative tells how much a change in m shall influence the loss

so u can change m by that amount

for b u calculate it with respect to b

and change b by that amount u do this many times to find an optimal value for m and b

@neat lintel so ya this is how much calculus u might expect

u will try to find the global minima of $L(m,b)$

[fathom swallow]

Pi Creature

[neat lintel]

using calculus

this is the main thing

i kind of rushed this part its a topic of ML in itself

called gradient descent

[next schooner]

yeah gradient descent is important

though real homies use BFGS

[bright hill]

@toxic schooner how was the test?

[toxic schooner]

very nice

much better than i expected

[bright hill]

that's good to hear

[toxic schooner]

it was good for me as well

this is relaxing

the worst exam out first

well, except for entrance exams

but we dont count those

[bright hill]

lol

[hushed turret]

nice, well done shyshu

[deep mango]

I didnt want to ask earlier

[bright hill]

ryc was scared

[deep mango]

I just feel like people dont always want to talk about an exam right after they took it

[bright hill]

rlly?

I would've been ecstatic if someone showed any interest at all lel

I just acted based on that

[toxic schooner]

[toxic schooner]

i wont have wanted to talk if it went shit

[toxic schooner]

also chrew

[bright hill]

[toxic schooner]

[sick burrow]

on the topic of exams

my geo exam is

it shouldn't even be hard

it's just Euclidean geo

[toxic schooner]

thats what makes it hard gamma

euclidean geo is

[delicate knoll]

what?

[toxic schooner]

its bad

annoying

tedious

hateworthy

[delicate knoll]

just for you it tedious!

[delicate knoll]

how it can be?

[toxic schooner]

no

its hated by everyone

it sucks

[delicate knoll]

what?

[toxic schooner]

euclidean geometry

[delicate knoll]

what are talking about?

that not make any sense

[delicate knoll]

why?

[toxic schooner]

its annoying

weird

dumb

[dense belfry]

Euclid shaking and crying rn

[neat frost]

Good.

[toxic schooner]

thats what he deserves.

also good morning slurp

[neat lintel]

Euclidean geo 😩😩😋

[delicate knoll]

that seems too much emotional

what are the logical reasons

not those emotional ones,please

[toxic schooner]

its reasons are stupid

at least in school

[leaden torrent]

i thought you were told to keep your memes in #chill

[delicate knoll]

me specifically? sorry, N. but look at the discussion above

[delicate knoll]

i dunno if you are being serious about it or you just dont like the euclidean geometry.

[toxic schooner]

both

[dense belfry]

Lol "what are the logical reasons"

Emotional reasons are logical

[toxic schooner]

exactly emma

and then u just had to send blushy sully

damn it

[dense belfry]

Oh sorry

That actually wasn't intentional

[delicate knoll]

what?

that´s wrong, he reasons just descends to simple opinion of "i dont like euclidean geometry", just that

i thought there were paper or serious math topic about it

[dense belfry]

[fair mural]

you’re allowed to not like something without giving a reason

[dense belfry]

Euclidean geometry is obviously historically very good

For what it's accomplished

[leaden torrent]

Wow

Fuck

Euclid

[delicate knoll]

well but he seems to have above all reasons to say it bad and that´s it.
at first glance i did not understand it as a personal opinion about it.

[dense belfry]

All my friends hate Euclid

[fair mural]

what’s so bad about euclid

[delicate knoll]

that is what i was thought about it "why?"

[dense belfry]

Imagine being Euclid and being shat on on discord 2300 years after your death

[delicate knoll]

...

[dense belfry]

That's actually pretty funny

Are you in New York?

We have Euclid avenue here

[delicate knoll]

so what ?

[dense belfry]

You're so abrasive

[delicate knoll]

are you crying?

[fair mural]

euclidean geometry is just boring

[delicate knoll]

me?

[dense belfry]

Yeah

[delicate knoll]

and?

[dense belfry]

[delicate knoll]

what type of geometry you like?

sully

[fair mural]

euclidean geometry is like the only geometry i’ve had exposure to

[delicate knoll]

so why you sad t he crying emoji? that was strange

[delicate knoll]

hummm.

[dense belfry]

There are 2 types of geometry

Euclidean geometry and non euclidean geometry

[fair mural]

non euclidean and nonsense

[delicate knoll]

do you like euclidean geometry?

[fair mural]

i hope i share that opinion when i get there

[delicate knoll]

well, what we can do?

it is different

hummm

[delicate knoll]

do you like those non euclidean fields?

[delicate knoll]

actually, what that means?

[fair mural]

no clue

[delicate knoll]

oh, well, that´s maybe have to do with my Asperger diagnoses.

well, anyway i am working on it.
deal with people is hard.

[bronze pelican]

Open cry is like evolved shiver

->

[toxic schooner]

[fair mural]

shiver maps to opencry

[clever knot]

😭

[delicate knoll]

why crying?

[clever knot]

nvm

[shrewd marlin]

hello everynyan

for a long time, i used to think that i = sqrt(-1) was imaginary

[fair mural]

it is lol