serious-discussion

[odd narwhal]

it's from like 1996

I have no idea where to look further

[neat lintel]

Try to find the journal it was published in and search it maybe

[odd narwhal]

Good call

[bronze pelican]

Scihub

[odd narwhal]

that's what I meant by other sources lol

[bronze pelican]

Your school library

[odd narwhal]

I'm actuallyn ot sure if it's a paper or a book

idk how to read citations

[odd narwhal]

I think my advisor already tried that

[bronze pelican]

Internet savvy friends

[odd narwhal]

How do I read this

is this a journal or a book

it's asking me for a username and password

thanks tho

I'll try looking around

[neat lintel]

You can probably get a doi and scihub it

[odd narwhal]

Think I found it

Couldn't find a doi

But libgen has it

Tho I thought we're not allowed to talk about those on the discord

[neat lintel]

Just no files I think

Or hope no mods are lurking

[cold needle]

we do not endorse piracy

[timid spindle]

Discord is a us company but we aren't us citizen so does us laws apply to us?

Or local?

[neat lintel]

No but you might get the server banned

[timid spindle]

Some areas have almost 0 piracy regualtu5

[neat lintel]

In theory

[timid spindle]

Ahh so US laws

[neat lintel]

Yea I think it's just to cover their own ass

[cold needle]

its just as per ToS i believe

maybe its different for different countries isk

this is just what ive been told kekw

[leaden torrent]

the police wont bust down your door

but youre still expected to follow us law by discord

[deep mango]

This is a raid! Come out with the manga torrents or we're busting down your door!

[odd narwhal]

[thorn brook]

[deep mango]

[thorn brook]

Holy crap I really do love yuru yuri

[deep mango]

[compact tartan]

$$\thiccsum_{\text{hello world}}$$

[fathom swallow]

mniip

[compact tartan]

discuss

[deep mango]

[compact tartan]

$$\thiccprod_{\text{I have the product as well}}$$

[fathom swallow]

mniip

[compact tartan]

finally I can shitpost about HoTT

\begin{align*}
W \mapsto \thiccsum_{A:\mathcal{U}} \thiccsum_{B:A \to\mathcal{U}} \thiccsum_{s:\thiccprod_{a:A}(B(a)\to W)\to W} \thiccprod_{P:W \to \mathcal{U}} \
\thiccprod_{e:\thiccprod_{a:A} \thiccprod_{f:B(a)\to W}\left(\thiccprod_{b:B(a)}P(f(b))\right)\to P(s(a,f))} \thiccsum_{r:\thiccprod_{w:W}P(w)} \
\thiccprod_{a:A}\thiccprod_{f:B(a)\to W} r(s(a,f)) = e(a, \lambda b.\ r(f(b)))
\end{align*}

[fathom swallow]

mniip

[narrow rock]

[velvet dagger]

Wat

[thorn brook]

[compact tartan]

$$\thiccsymbol{\int}{9/50}{9/50}{1/100}{0}_{a \le x \le b}\delta(x)\dd x$$

[fathom swallow]

mniip

[neat lintel]

Mniip, desist from this blatantly wicked activity immediately

[compact tartan]

$$\thiccsymbol{\lim}{3/10}{3/10}{1/100}{0}_{x \to \infty}$$

[fathom swallow]

mniip

[thorn brook]

Also ryc don’t sully me, yuru yuri is really good

[cold needle]

oh my god

they’re thicc symbols

[sharp mulch]

#latex-testing

[nimble shuttle]

#❓how-to-get-help

[thorn brook]

#how-to-link-how-to-get-help

Or something idk

[sharp mulch]

Doesn't exist anymore

[cold needle]

hmm

[wild lantern]

$$\thiccsymbol{\phi}$$

[neat lintel]

woah, that is a huge thigh gap

[limber perch]

could mean a lot of things

[neat lintel]

we should all remember to maintain our modesty and keep our legs closed

[limber perch]

mniip really just decided to virtually manspread through the texit bot

and he thought that no one would notice

[untold sapphire]

i'm applying to do a phd in HoTT

and i was reading some papers on univalence

in the presence of univalence you don't need choice to prove that every fully faithful and essentially surjective functor is an equivalence

weird

[timid spindle]

Damn

[grim token]

How can I tell if I make an assumption and I lose generality to my proof? Generality meaning it works for all cases of what I am trying to show

[leaden torrent]

did you make a claim that you cant justify from your existing assumptions?

if so, you made a new assumption

[grim token]

new assumption>?

[leaden torrent]

huh

[grim token]

By new assumption do you mean loss of generality assumption?

[leaden torrent]

yes

[grim token]

Yeah I see

[leaden torrent]

whenever you assume something you cant justify, you lose generality

[grim token]

That's hard to learn

When i read a proof it doesn't make sense to me why we can assume certain things

but I just have to think of it from the persepctive of the prompt/theorem/initial assumptions made

[slim meadow]

@bronze pelican did you attend the series by Kristen Lauter live and do you know of a way to contact her?

[bronze pelican]

I did attend some

https://jana-sotakova.github.io/PCMI.html

Idk how to contact her but you can contact the TA from her email on her website

[slim meadow]

yea I could try that

her work sounded super interesting

[dense niche]

I have a dummie question about an infamously difficult problem

so for the 3n+1 conjecture, is there no way to prove that the number of steps for the 4, 2, 1 pattern to repeat is the same as n^(3n+1)?

I cant find a counter example but also induction is illegal since there is nothing to prove it against algebraically.

dang this problem gets really deep really fast

https://en.wikipedia.org/wiki/Collatz_conjecture to the guy who reacted with question mark emoji

[latent forge]

I dont get your question

[dense niche]

ah, I dont really know what im asking. I guess I am asking if there is a function that is known to accurately represent the number of function iterations required for the sequence to go to 4

that would defeat the whole point though

[latent forge]

No there isnt

[dense niche]

Hmmm, I still think it is an interesting observation that n^(3n+1) is the number of steps to go to 4 in many cases

[latent forge]

But that isnt true?

[dense niche]

yea, I couldnt find a counter example tho

[latent forge]

Have you tried?

[dense niche]

not a proof, just a random observation that makes the conjecture even harder

yes, not very much lol

not dedicating much time to a problem that is known to be harder than my math level

[limber perch]

why the fuck is colatz so popular

[latent forge]

veritasoyum

[rose dock]

Easy to understand

[reef spruce]

I am kinda bored

Can anyone say what number is the biggest prime number?

[reef spruce]

I mean the biggest prime number reaveled yet

[candid oak]

product of all prime numbers plus 1

[sly thistle]

what no

this isnt true

this isnt necessarily prime

take for example

2x3x5x7x11x13+1

[neat lintel]

,w largest known prime

[fathom swallow]

Results provided by WolframAlpha

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

Requested by 88ddda#7872

[sly thistle]

this aint prime

it has a prime factor not of the ones we used to obtain it

but it aint prime

[light needle]

hi alepp

[sly thistle]

hello

[light needle]

im reading diamond shurman

[sly thistle]

wiat

really?

[light needle]

mhm

[sly thistle]

where u up to

[light needle]

started yesterday, gonna try finishing ch1 today

1.2 exercises

[sly thistle]

pog

[light needle]

now u go read neukirch kek

[sly thistle]

read the paper kek

[light needle]

smh

[sly thistle]

lol

ur right i should read

i kinda forgot

[light needle]

so did u read all of diamond and shur

[sly thistle]

yeee

[light needle]

nice

[sly thistle]

i have a conspiracy about something in d&s

basically in one part they define a diamond operator

dw about what it is rn

but basically i searched online

couldnt find any mention of the diamond operator before the book was published

theory: fred diamond invented the notation just to put it in his book and name it after himself

[light needle]

oof

[sly thistle]

its really funny tho

cause it kinda looks like a diamond

<> like these are the operators brackets

and it kinda looks like a diamond

[light needle]

wikipedia seems to refer to diamond and shurman

[sly thistle]

yes

[sly thistle]

thats my point

[light needle]

oof makes sense

[sly thistle]

consider

diamond and shurman came out in janurary 2005

on arxiv i search diamond operator

diamond operator is also used in programming so we get lots of false positives

[light needle]

java moment

[sly thistle]

what do i find for the oldest diamond operator? in 2004

but this is another false positive

wait nvm

its from 2005 as well

godamnit

[light needle]

oof

[sly thistle]

and it also aint the right diamond operator

https://arxiv.org/abs/math/0503091 this aint the right diamond opeator

[light needle]

this looks very cursed lol

[sly thistle]

oldest diamond operator i can find with the same use as in diamond and shurman?

https://arxiv.org/abs/1507.00495https://arxiv.org/abs/1507.00495

2015

cursed

[light needle]

mfw called diamond operator

but not shurman operator

sadge

[sly thistle]

well thats the thing

it looks like a diamond too

i reckon fred diamond's like "imma make an operator, and name it after myself. and make it look like a diamond. how delightfully devilish does diamond device!"

anyways have fun reading, imma probably start neukrich soon (tm)

[light needle]

yeah kek

[velvet dagger]

@sly thistle I found a hint about that diamond operator stuff

One source was written up 2006 and doesn't cite DS

And it does talk about diamond operators

https://www.google.com/url?sa=t&source=web&rct=j&url=https://math.uni.lu/wiese/notes/ModF.pdf&ved=2ahUKEwj53-jyorPyAhXOmGoFHZ41AzI4ChAWegQIBhAB&usg=AOvVaw27EzHXSZwsnas2vhZF4Kpv

[unborn trellis]

I can ask jerry shurman :^) he is one of my letter writers

[vivid halo]

oh nice

[bronze pelican]

"I dominate the undergraduates" - Kevin Buzzard

https://youtu.be/Dp-mQ3HxgDE?t=1217

[narrow rock]

🐝

[sly thistle]

but thats still later

[sly thistle]

could you ask him if they created the diamond operator in diamond and shurman? (probably a dumb question dont actually ask)

[sly thistle]

2006 is still later than DS, but thanks

[velvet dagger]

It's later but he didn't cite DS

Like, it's not 10 years later such that oh he heard it from X who heard it from Y who heard it from DS

[sly thistle]

yeha i get what you mean

he also directly states its cause it looks like a diamond

im still not entirely satsified cause its still after 2005, but its definitely making my theory less probable

[bronze pelican]

DS? more like DEEZ SNUTS

[cinder zephyr]

I got research at my school, thank god
but
they want me to write a bio for the prof's research group site
how tf do I do that

[latent forge]

i wish

[velvet dagger]

"We dem boiz"

[cinder zephyr]

ok ty

mission accomplished 😎

[latent forge]

I have google but cant. Why does irreducible f(x) in F[x] iff F[x]/<f(x)> is a field

[slim meadow]

the ideal generated by f in F[x] is maximal if and only if f is irreducible

[mild nebula]

And, for any ring R, and a maximal ideal f, R/f is a field

[pure sun]

uhhhh i guess that's technically true

but i think there's a more precise statement you probably want to be making

[mild nebula]

I know you're a super genius so I definitely am interested in what you have to say. But, I don't know what I'm missing

[pure sun]

oh i wouldnt go that far haha

just that the only maximal ideal in a field is (0)

and F/(0) is indeed isomorphic to F

[mild nebula]

Oh kekw

[pure sun]

which is a field

maybe you meant just like "for any ring R" or something

[mild nebula]

Mb. Yes, fix'd.

[latent forge]

ok

the ideal is maximal because irreducible works like a prime number sorta

bad explanation lol

[ember finch]

Not a bad way of thinking about it. Z and F[x] are very similar

[mild nebula]

It's worth thinking on a bit. What if you could reduce the polynomial? Would the ideals generated by the factors relate to the ideal generated by the poly?

[latent forge]

yes?

[ember finch]

The product/intersection of the ideals related to the irreducible factors will be equal to the ideal generated by the element

[latent forge]

Like the ideals generated by polynomial is built up of the ideals generated by the factors, not sure how much more i can get from that

[ember finch]

Well, the corresponding prime powers of irreducible elements, rather

[mild nebula]

Oh I wasn't thinking that deep haha. Is that true?

Instead, I meant that if f = ab, then <a> contains <f>

[latent forge]

yeah

[mild nebula]

It turns out this is the only way to contain <f>. Irreducible → maximal ideal

[latent forge]

ok i sorta see why

So f=ab for irreducible implies a is in ideal gen by f or b is in ideal gen by f

wait a minute lol

irreducible implies f cant be reduced into nonconstsnt polynomial

[ember finch]

If f=ab then (f) is a subset of (a) and (b). (Not the other way round)

Also this holds even when f is reducible

[latent forge]

ur saying <f> is in intersection of ideals

[ember finch]

Kaynex is saying that the only ideals that contain (f) are (a) st f=ab for some b, as f is irreducible, it must be maximal.

[ember finch]

Yes

[latent forge]

i dont see how it shows irreducible implies maximal. maximal means its the biggest ring wrt inclusion right

biggest ideal that isnt the ring

[ember finch]

Yes

[mild nebula]

I admit I'm skimming over details haha. It's just the logic that helped me click into it

[latent forge]

Is it becsuse irreducible means if f=ab then a or b is constant polynomial?

[mild nebula]

If f has a factor, that factor's ideal contains <f>, so it isn't maximal

[latent forge]

oh ok

if f is irreducible then every other ideal is absorbed into ideal generated by f

[ember finch]

You use that to prove it, but it isn’t immediate. Basically, the sketch of the proof is that all ideals of F[x] are generated by one polynomial (try showing this). Then if (f) is contained in (a) f=ab for some b. Hence if f is irreducible try showing that (f)=(a) or (a)= F[x]. From this we see that (f) is maximal when f is irreducible

[mild nebula]

Can't say that. There's ideals that aren't subsets of <f>. They contain elements that <f> doesn't have.

<f> being maximal means:
If an ideal contains <f>, it is either the whole ring, or <f> itself

[latent forge]

All ideals of F[x] generated by one polynomial is hard for me.

I think my problem is that Im trying to think of specific examples

But whatever that ideal is it has to be maximal right?

Oh wait

you mean PID

like all ideals are principal

[ember finch]

Yes I meant that it is a PID

[latent forge]

thanks for helping and explaining

i think i will continue tomorrow and start brushing up on algebra with dummit and foote also

[ember finch]

Np

[latent forge]

you are both a very good explainers

[neat lintel]

[vast surge]

Does anyone know how to scan a QR code that's on my computer? I have a pdf that has a QR code I have to follow, but my only camera is my laptop camera (I don't have a mobile phone, instead using a program on my computer to make and place phone calls if I need to)

[clever knot]

have you tried screenshotting it
and then sending it to some site
im sure those exist

[vast surge]

I have a screenshot but I can't find a website that can do that

[clever knot]

maybe this

https://zxing.org/w/decode.jspx

or selecting "decode from file"

on this site

https://app.bytescout.com/qr-code-reader/qr-code-reader.html

[vast surge]

Thanks

Uh, neither seem to be working

The first one just returns a bunch of hexadecimal, the second one I've uploaded the file and it's just doing nothing

[limber perch]

maybe the screenshot isn’t good quality?

[vast surge]

Now that I look at it, it's a really big QR code

[vivid halo]

that shouldn't be an issue

[vast surge]

I wouldn't be surprised if it's like 256x256 pixels or something

[vivid halo]

yea that shouldn't be an issue

[vast surge]

This one won't let me upload the full image: https://qrscanner.org/scan-qr-code-from-image

[vivid halo]

even if you chop off like 10% of the QR code

it should still work

[vast surge]

It's barely letting me upload 10% of the QR code

It's a very big QR code

Oh wait now it's working

Sort of

[clever knot]

what does the qr code even about?

i mean maybe someone can try it assuming it isn't some activation thing

[vast surge]

It should bring up my medical records

Proof of vaccination in particular, because I lost my original vaccine card

[clever knot]

oh...

[vast surge]

I managed to get a website that just looks like a bunch of code

[clever knot]

i mean did you capture just the screenshot of local area?

[vast surge]

Yeah

Literally just the QR code; I measured it to the pixel

[clever knot]

idk then i mean maybe the site is dead

or whatever it resolves to

[vast surge]

I mean, I think what I'm doing is right. I don't think it's meant to be read by any QR code reader, but only by a specific program

I'll just find a friend with a phone later and ask them I guess

[clever knot]

i mean they do have different types of qr codes but i would assume any online program would accept the various types if they were being called a qr code reader

[vast surge]

I don't really use enough QR codes to really be able to say

[neat lintel]

maybe the website that gave you hex can be transformed back to ascii

[neat lintel]

very odd

[clever knot]

where is the qr code from?

you said it was something about old medical records or something?

[vast surge]

Like, a month old

[clever knot]

they put that stuff on qr codes

[vast surge]

It's on my excelsior card

[clever knot]

i only assume it would just bring you to some website to login to

[vast surge]

Which is a NY government thing that says "yeah you've been vaccinated for covid"

https://epass.ny.gov

[clever knot]

hmm

maybe the qr code is just one it doesn't support

those are some dense looking qr codes

[vast surge]

Yeah.

Anyway I'm going to go to the grocery store to buy some coathangers for breakfast. I'll be back later

[vast surge]

I wound up getting donuts for breakfast; I'll probably use the coathangers to hang my coats

[odd narwhal]

Donuts?

You.mean COFFIS CUPS?

[sleek wing]

I do enjoy a good coffis cups

especially with sprinkles

[south summit]

Courtesy of tinky dinky

Is that a thing in Swedish too

Tinky be Swedish

Oh wait it's a very old thing

I only searched for toki's whole message earlier and thought that was the first

[leaden torrent]

#point-set-topology message

gadsen flag pfp

so probably usa?

[light needle]

lmaooo almost same pfp as me

[sick burrow]

You know what confuses me? People who scroll past the channel labeled #❓how-to-get-help and ask their middle school homework questions here

[south summit]

sorry

[toxic schooner]

[distant vortex]

Agreed. Something I just thought about now. Wouldn't it help if the channel was right at the top and not in a category? Because if you don't have the category expanded, you can't see the channel because there aren't new messages in it. I mean it probably wouldn't help because people are idiots, just a thought I had.

[burnt dune]

linear algebra is so sad

like it makes you sad

you will never have intuition and abstractness together like this again

haha

its true

[deep mango]

It's sad because it's good?

And that's just not true

Linear algebra isn't intuitive at all

Dynamical systems is the field with the best combined score of abstractness and intuition

[broken scaffold]

i might not have gained much intuition from spending 2 hrs putting things into reduced row echelon form

[clever knot]

i did

[deep mango]

[clever knot]

although i havent finished yet but looking at the row space and left null space

how did that help you solve a linear system or really tell you about it

if you were just concerned with valid solutions the system if it had any

[deep mango]

To be fair, they lie on completely orthogonal axes.

Oh yeah?

Name a field which attains both as well as dynamics does.

I feel like these are not actually orthogonal

[autumn raft]

I loved linear

[deep mango]

But you fell out of love with it?

Idk you're gonna get a terrible negative correlation here

[clever knot]

speaking axes and abstraction it is weird that we accept x,y,z and find that comfortable to call a basis but when working in another basis at least to me it feels weird

[deep mango]

Ok how about this

[clever knot]

maybe just easier to do calculation with the "standard" x,y,z?

[deep mango]

Pdes is no abstraction, no intuition

Fin dim linear algebra is no abstraction, full intuition

Modern alg geo is full abstraction, no intuition

[clever knot]

who gets to say what is intuitive or not

[deep mango]

And alg top / general top is full abstraction, and a good amount of intuition

I'm placing things in quadrants

Well sure

What?

Ok

What are the opposites?

I just mean "abstract vs concrete" and "intuitive vs unintuitive"

Unintuitive is a little unsatisfying

Yes!

Wait

Hmm

That means real analysis should be sort of concrete but full counterintuitive

Maybe pdes is not fully counterintuitive

There is a compcrank section of this plot, somewhere in mid-concrete mid-counterintuitive that has elementary number theory, combo, and finite probability

I take issue with both of those

Maybe C*

Functional analysis at the level of studying lebesgue spaces and space of continuous functions and spaces of measures

Feels concrete and doesnt have too many super weird results

[leaden torrent]

i have a very important question

if i like subway sandwiches (like the restaurant)

do i have bad taste

i suspect the answer is yes

[broken scaffold]

this is actually a deep question in culinary studies

I fear we are in the same position

and that the answer is yes 😔

[leaden torrent]

what fast food are you allowed to like while preserving your taste

the generic "faux-asian" restaurants like panda express/edo/whatever are probably fine as long as you admit theyre americanized

wendy's i guess?

[broken scaffold]

nope

Dick's

[leaden torrent]

probably smoothie joints

i cant pass up a good smoothie

five guys?

and that general "aesthetic"

[broken scaffold]

nope

it has to be a chain that nobody in the room knows

for example

[leaden torrent]

yeah slim im not denying that

i like fake trashy chinese food

[broken scaffold]

Clyde's

[leaden torrent]

wayyyy too much

[broken scaffold]

basically people names

Bob's

[modest rune]

I think that taste is much more about being able to distinguish good food than it is about only eating good food

[broken scaffold]

these are ok fast food to say you like

[leaden torrent]

i mean you say that

im sure burger king tries to taste good

but anyone who admits to liking burger king

[broken scaffold]

^

[leaden torrent]

loses 50 respect points

[modest rune]

I think you can like fancy and trashy food

[broken scaffold]

I see slim wants to grand slam their point about american chinese food and nobody is disagreeing, bc it is agreeable

[modest rune]

If you’re worried about your taste not being high brow enough that’s just like insecurity imo

[leaden torrent]

no im not?

[broken scaffold]

no

[leaden torrent]

anyway how does burger king stay in business

side question

is burger kings ANYONE's first choice

[broken scaffold]

they didn't where I'm from

[leaden torrent]

for a restaurant

[modest rune]

Best veggie burger of any cheap fast good

Good

Food*

[leaden torrent]

huh

ill admit im not based enough to go full vegan

[modest rune]

Impossible whopper is pretty food

Good

Fuck me

[leaden torrent]

but if they have good fake burgers then thats fair

[broken scaffold]

full vegan is not a based position.

I primarily eat mosquitos

[leaden torrent]

the duality of man:

fast good
*food

pretty food
*good

[modest rune]

Yeah yeah

My hair is dripping

Onto my keyboard

On my phone

[leaden torrent]

does this make eating steak moral

[modest rune]

Yes

[leaden torrent]

since steak farming is one of the most inefficient uses of resources in america

[modest rune]

Almost as inefficient as educating namington

[leaden torrent]

idk, at least chickens lay eggs?

tf do we get from milk

strong bones

who cares

cheese

the italians make better cheese

why bother to compete

[broken scaffold]

there's a krzgat on this

[leaden torrent]

is everyone intentionalyl spelling things bad

[broken scaffold]

it's sussy yea

[leaden torrent]

wait wtf its a myth

we were fucking indoctrinated with it

as canadian kids

[broken scaffold]

ya bc im not actually going to attempt to spell krzgat

[modest rune]

Its not a myth

[leaden torrent]

so many commercials

on it

[modest rune]

Calcium is good for bones

[broken scaffold]

watch the krzgat

it's sussy

[modest rune]

But milk isn’t exactly the best source of calcium

[broken scaffold]

^

[modest rune]

Yeah

[leaden torrent]

ah i see

does anyone outside of canada know the weird ass canada milk ads im talking about

[broken scaffold]

most of the world is lactose intolerant ( me, I'm most of the world)

[leaden torrent]

holy shit im feeling so nostalgic

rn

[broken scaffold]

you guys have bagged milk so I can't be surprised

[leaden torrent]

got milk yeah

wait is that not

canada-only

i always thought it was since they used the "100% canadian milk" symbols

[broken scaffold]

america

[leaden torrent]

i guesss they adapted them for canada?

[broken scaffold]

holy shit got milk was a scam

[leaden torrent]

i distinctly remember them having this logo

oh man that ad campaign is weird

it like

transparently was meant to normalize every meal having a hearty meat

and it worked

insane how much ads can shape our basic cultural norms

same thing with like, diamonds having value because of artifical scarcity and branding

[broken scaffold]

steakanator. it's what's for dinner

[ember finch]

Wasn’t having meat if possible part of western culture before ads as well?

[leaden torrent]

im sure it was, but it was meant to reinforce that

is my point

tobacco ads are yikes yeah

especially ones that lied about it being good for your health

like not just "allegations of lung cancer are overblown" but "nah it actually has benefits"

the point of the former is to downplay, the point of the latter is to confuse and overwhelm

[ember finch]

I remember a vintage coke add saying that it would help you lose weight or some shit

[leaden torrent]

well

OG coke would

your teeth as well

i suppose modern coke also helps you lose your teeth, but more slowly.

wait wtf

i knew it used to be legal but i didnt know it used to be such an industry

"worth its weight in snow" LMAO

i could so imagine a sleazy drug dealer saying this

not realizing that snow is literally free

[ember finch]

Is this cocaine or snuff powder?

[leaden torrent]

its products for cocaine consumption

also wow thats bougie as shit

$25 for a spoon back when coke was legal

after inflation thats just

a fuckton

[broken scaffold]

idk if we did coke it might seem like a good idea

[leaden torrent]

also

is this Ivory Snow related to the detergent company

is this a Nintendo-style origin story

[broken scaffold]

i wrote a paper on it at one point

been too long

and I mean like the paper was about cocaine

not that I wrote the paper on cocaine

[cold needle]

[fallen delta]

wouldn't matter if you were on cocaine to write it

[bronze pelican]

totally not edited

[modest rune]

you coulda edited in a period

[blazing pawn]

What are you talking about Max? of course there's a period

[blazing pawn]

pty repost this with my edited in period so i can pin again

[blazing pawn]

What do you mean weirdly kerned

Its literally pixel for pixel identical to the other period

its actually not pixel for pixel i adjusted about 2-3 pixels to offset for that

Ur just making up fake problems to cope with the supremacy of my editing skills

Empty2's cope.

Hmm

[limber perch]

does nG has a folder of 20 servers dedicated to the sully emote

cuz if so based

[broken scaffold]

[blazing pawn]

Those are my sullies

smh

[stray kite]

how do you guys take notes in class?

[naive goblet]

Hi, I was just wondering in Gauss' elimination method in linear algebra, how can we do stuff like do (1-2)row1 + row2 and still have row1 be completely unchanged?

[latent forge]

Can you elaborate?

Are you asking for why you are allowed to do the manipluations for gaussian elimination?

[naive goblet]

yeah why are we allowed to manipulate it like that

[latent forge]

You can write each row as a system of linear equations

And when you are solving systems of linear equations you can subtract,add one equation by another

Also with linear equations you can multiply the entire equation by a constant and it remains true

ill give an example

A matrix like
1 1 3
3 2 1
2 6 4
turns into this system of equations
x+y=3
3x+2y=1
2x+6y=4

[naive goblet]

okay

I'm following along so far

[latent forge]

With a system of linear equations we are looking for the set of all x and y that satisfy each equation

so x+y=3 and 3x+2y=1 both need to be true

[naive goblet]

yeah

[latent forge]

now tell me if it seems like a jump but, because of this we can subtract one equation by the other

[naive goblet]

sure, but wouldn't that affect both of those equations?

not just 1

[clever knot]

eollich

[latent forge]

The way I understand you can subtract one equation by the other because the variables need to satisfy both equations.
With a simpler example say you have this:
x+y=6 (equation 1)
x-y=4 (equation 2)
We can solve for x in equation 2. This gives us x=4+y
We can then substitute this into the first equation to get 4+y+y=6 and solve for y and then for x.

However we can also make the substitution using equation 2, of 0=4+y-x
And if we look at equation 1 we can rewrite it as x+y-6=0
We can substitute for 0 and get x+y-6=4+y-x

[clever knot]

i believe it is just elimination?

[latent forge]

We can then subtract the RHS from the LHS and that is tantamount to subtracting one equation from the other.

[latent forge]

He is asking for a justification of elimination I think.

Its more obvous by explaining by substitution

[naive goblet]

hmm

[clever knot]

it is really just substituion

is just*

in a way

so when you "add" the 2 equations

it is no different then just plugging (x-y) to both ends of eq 1

and the n subbing in the original value of x-y

like you could say also (x+y) + (x-y) = (x+y) + (x-y)

which would be summing the terms on the left side of eq and eq 2

and then subbing in their values

(x+y) + (x-y) = 6 + 4

at least this how i have looked at what exactly is going on when you do elimination

[naive goblet]

got it

thank you guys so much

[latent forge]

👍

[cold needle]

there will never be any pins in discussion 2.

[nimble shuttle]

.pin

[cold needle]

hello

does anyone know how long it takes to grade like

40 exams for a babby differential equations course

i guess this varies a lot but im willing to hear anyones experience if theyve done grading

im highkey worried this is gonna be a timesink

[rancid meadow]

r they paying you

[cold needle]

yes i get pai

d

yeah i think so it's like for babby ode stuff like the whole "ok this is this kind of ode i do these 3-4 steps and i get a result"

nah no proofs

okay this is good to hear

dam

[astral marsh]

We demand justice for chmonkey

Sign the petition

Down with the tyrannical hierarchy

DOWN WITH THE MODS

[steel mantle]

you cannot escape our rule

[astral marsh]

didn't ask + ratio

[steel mantle]

ratio

[astral marsh]

reverse ratio

[brave hollow]

mods abusing power , what a surprise , I told you anarchy was the only way

[cold needle]

i see

i better be paid well

at minimum it should be 10 dollars an hour

[rancid meadow]

no

[cold needle]

thats what i saw from before

[rancid meadow]

wtf

10/hr is cursed

[cold needle]

other TA stuff at university

[rancid meadow]

america moment.

[cold needle]

oh is that too high

[neat lintel]

wtf

[rancid meadow]

its so low

[cold needle]

oh

um

shit

[rancid meadow]

metal its literally specialized work

[cold needle]

okay

oog

[rancid meadow]

the pay is standardized at ur uni probably so you dont have a choice

[cold needle]

yeah no chance to negotiate on that kekw

yeah ill see

[neat lintel]

[cold needle]

they said it's assembly exams

so like 8 to 10 pm

or something

not too many right

okay thats good

okey

sounds good to me

ive got a decently empty schedule i think

[neat lintel]

Tteppa Waters

[cold needle]

i was scared because like i took a course over the summer and the one grader had to deal with like 40 kids and an exam every week and he was getting things graded like every 1.5 weeks or so and he seemed very pressed for time and all

very scary

but it was more rigorous ode stuff and was a pretty hard class (frq exams and all)

so makes sense

yeah it was a wild summer

6 weeks ODE speedrun

kekw

makes sense

this is good to know

mm thank you for the advice/feedbacks

less scared about time and more kekw about how im gonna be paid lol

didn't know that 10 per hr was very low i am new to getting money for things

[neat lintel]

[cold needle]

i see

this is a true Florida moment lmfao

[clever knot]

here i believe it is 8.80

but doesn't make $10 any better of a wage

still sounds pretty low

[sharp mulch]

#❓how-to-get-help

[mild moss]

thanks

sorry, first day

[bronze pelican]

https://youtu.be/ljJudppxau4

[neat lintel]

I’m getting $10/hr

[fallen delta]

nice

[neat lintel]

C’est la vie

[waxen gate]

Hi

Has anyone from here done IMC? And possibly obtained a medal in there?

[slim meadow]

I participated once when I was studying abroad, but didn't get a medal

[bronze pelican]

Zoph participated in IMC?

Wait what's IMC

[slim meadow]

It's kinda like Putnam in Europe

[bronze pelican]

Did you do it at BSM?

[slim meadow]

Yeah

[neat lintel]

bees muts

[odd narwhal]

Oh my uni is trying to assemble a team

[neat lintel]

uniteam

unite

unite 'em

I think I just did smth

[terse flax]

no

[neat lintel]

[odd narwhal]

For the IMC

[neat lintel]

the math Olympiad?

you should join

wait no

that's IMO

lol

[odd narwhal]

I'm not gonna join either way

I don't like maths competitions

And the prof running it is a jerk

[bronze pelican]

This is so cursed

[sleek wing]

Just put the T on the other side

[light needle]

lmfaoo wtf yamin

[odd narwhal]

Small letters for matrices

Is arguably more cursed than the transpose

[deep mango]

This is not abnormal in some fields

People in pdes seem to like putting transposes on the left

[surreal sapphire]

as to distinguish it from exponentiation

[modest rune]

I was thinking you meant g raised to the turnstile until i you put it on the left

[unborn escarp]

In my last mock sat reading test I answered more questions correctly but I got a lower score

Why?

[modest rune]

Did you grade one of them wrong

No real answer

The scores and Qs are weighted I think

Depending on how hard the question/test is that year

So like

More answers on an easier test can be lower than fewer harder

[latent forge]

They are curved

Depending on how year scored

[modest rune]

I also don’t know how transparent

The curving process is

[latent forge]

They tell you curve for PSAT at the end

In the letter for the score

[modest rune]

Not making national merit was my greatest failure

[cold needle]

same

[brave hollow]

did you add that?

[cold needle]

yes

just now

[thorn brook]

pog

[cold needle]

p

[bronze pelican]

w

[unborn escarp]

I didn't grade it myself

This website did

[brave hollow]

gle it yourself

[blazing pawn]

Oh

[cold needle]

oog

[blazing pawn]

this makes it look like i was replying to ICG

I just wanted to post oog

[cold needle]

oog

[unborn escarp]

Has anyone tried this site dashboard before?

I hope I can get to 1370 in 7 weeks

[thorn brook]

wtf is oog?

[brave hollow]

new emoji

[thorn brook]

oog

[fathom swallow]

DootDooter

[cold needle]

oog

[bronze pelican]

a ba

[cold needle]

pe

[odd narwhal]

why th

[latent forge]

w

[nimble shuttle]

w

[ancient flame]

$w_{o_{o_{g^{w^{o^{o^{g}}}}}}}$

[fathom swallow]

gmod

[ancient flame]

woo gwoog

[odd narwhal]

$\sfrac{\sfrac{\sfrac{w}{o}}{\sfrac{o}{o}}}{\sfrac{\sfrac{o}{o}}{\sfrac{o}{g}}}$

[fathom swallow]

ShiN

[cold needle]

[odd narwhal]

w what's this

[cold needle]

oogwoog

[inner finch]

oogwoogy

[broken scaffold]

hahaha oog

[bronze pelican]

Kevin Buzzard is such a good teacher

[narrow rock]

🐝

[neat lintel]

I really like these

[bronze pelican]

"Any questions? Thats what you're supposed to say in America, right? Americans say that all the time"

[latent forge]

what does kevin mean by that

[neat lintel]

where

i wish to move

[bronze pelican]

[latent forge]

the world went silent

how to end a conversation 101 by ultraproduct

ban now pls

😓

Estonian category theory

[devout nacelle]

Ultrapuns

[sly thistle]

You need Togo get better material

[latent forge]

we

its just this boomer

[devout nacelle]

Ultra has mentioned 11 countries so far

[astral marsh]

I think it's time to Finnish this conversation

[neat lintel]

I’m Hungary for Turkey

[sly thistle]

Booo

[latent forge]

This conversation wants me to associate with youth in asia

[frozen merlin]

this one is creative

[sly thistle]

It’s not creative

[frozen merlin]

oh my bad

[strange goblet]

this is the first time

[frozen merlin]

never heard it before

[strange goblet]

discussion 2 is more active than discussion 1

[neat lintel]

Iran to it as soon as it opened

[latent forge]

No Chad would participate in this tomfoolery

[sly thistle]

Which country is Tom?

[astral marsh]

Okay, but there's people who are Moroccan

[latent forge]

lol noobs

how are you pronouncing iraq

how is that supposed to mean sense lol

[sly thistle]

I-rock

[latent forge]

😓

[neat lintel]

oof

[bronze pelican]

When you don't get the pun

[sly thistle]

We shouldn’t have to exspain everything

[astral marsh]

It's about Punama

They need to get Ottaway

Copenhagen

I can't really think of anymore, Alaska friend

[sly thistle]

Sorry I was taking a break but i vilna do it again

Well when I have class I kosovo

[sharp mulch]

https://services.math.duke.edu/~jtwong/math551-2019/lectures/ComplexVariables2_techniques.pdf

Quick reference on computing contour integrals

For anyone else studying for complex analysis quals

And suffering from contour integration

[latent forge]

this is proof mathematicians have too much time on their hands

make terrible puns

[stable ginkgo]

hello does someone have a "cool" name for a map from a set to a smaller set consider like a quotient group map

etc etc

[neat lintel]

pi

[stable ginkgo]

im not looking for a math related term necessarily i need a name for an app im making

[neat lintel]

I guess I don't know what you mean

I think "Sylvester" is quite a cool name, if that's what you mean

[stable ginkgo]

ok so the idea is well take different subjects and write alot of the important formulas and concepts from the chapters and make small lists

so it can be helpful for students to read through for revision etc

i need a math term which can denote this concise representation of all these chapters

[dense jewel]

18-9 is unsolvable.
https://www.youtube.com/watch?v=dCmhCCk_TUw

[broken scaffold]

lmao

[frozen merlin]

a compression?

a cover, maybe?

[crystal stream]

[sharp mulch]

[analog salmon]

what a chad thing to do

my professor uploaded their tex notes, but not a pdf version

you have to compile yourself lmao

[summer nest]

[neat lintel]

good

if youre not using tex youre not gonna make it either way

[ancient flame]

gg

[neat lintel]

i recognize that hair

[stable ginkgo]

oo nice thanks for the suggestions

[frigid lark]

Anyone uses jupyter notebook?

[neat lintel]

Who is messing with the channels

[sleek wing]

lol

[brave hollow]

this is so dumb

[neat lintel]

[cold needle]

shows how mature they are.

[velvet dagger]

Wao

[jovial ember]

Wao

[mild nebula]

Wao

[neat lintel]

[vast surge]

Please change the name back

[odd narwhal]

This is unhealthy

[vast surge]

I hate this

[odd narwhal]

Change it back

[vast surge]

@ moderators please change it back

[sleek wing]

change it to discussion-too

or discussion-to

[vast surge]

Change it to discussion-3. When people ask what happened to discussion-2, we will not answer them.

[leaden torrent]

Idk, mods seem to think its funny to rename their channels with higher numbers as if there are those many. shows how mature they are.

[cold needle]

its the same number

pls

just word

[vast surge]

I see the new rename

[jovial ember]

This isn’t even fucking right lmfao

It would be ni in this case

Futatsu is for saying you have two of something

[sharp mulch]

Lol

二

[modest rune]

We have two of something

[sharp mulch]

两

[modest rune]

Two discussion channels 🙂

[jovial ember]

You’re numbering this as the second one tho

You’d say you have futatsu discussion channels

[leaden torrent]

chmonkey i know

[jovial ember]

But they’re channels 1 and 2

[modest rune]

No the 2 in discussion 2 exists to explain that we have 2 discussion channels not to number them

[leaden torrent]

i made it incorrect intentionally

to expose the weebs

[jovial ember]

Racial immunity to weeb labels

Glad I made my char a half-Japanese

[leaden torrent]

i feel like "otaku" is even worse than "weeb"

[sharp mulch]

Does anyone even say otaku anymore

[modest rune]

Oh by the way

Ange

You were right

[leaden torrent]

its still like

a character archetype

ange

like tsundere

[modest rune]

I stayed up til 3am last night

Reading the orv

Web novel

[leaden torrent]

you dont hear it much in speech but you hear it a lot in media

[sharp mulch]

[leaden torrent]

and media discussion

[modest rune]

Its good

[sharp mulch]

Is very good

[modest rune]

I’m addicted

[jovial ember]

I don’t think there’s western people that use it

[sharp mulch]

Lol

[jovial ember]

Like “I’m not a weeb I’m an otaku” as much

Probably because being weeby has gotten more trendy recently

[modest rune]

I got to the scene where they fight || the disaster of floods and that part was just so good ||

[sharp mulch]

[jovial ember]

I hate that still

Put your tongue back in your mouth

[sharp mulch]

[modest rune]

|| my man dropped a hundred racks to beat a dokkaebi ||

[sharp mulch]

[sleek wing]

hahah wtf

changing the channel's lanugages? really goes to show how mature this server is

[light needle]

oh hey @bronze pelican I have been looking at the lectures from this, they are p good https://ctnt-summer.math.uconn.edu/

conrad does modular fforms and infinite galois theory memes

[bronze pelican]

Hey

They're doing the summer school next year again

[light needle]

yeah i should apply

[bronze pelican]

I did it in 2020 , online

[vast surge]

Huh it's available for undergrads

[light needle]

oh nice

[vast surge]

I mean it says "advanced undergrads" but hopefully I'll be advanced enough for them to consider me

[light needle]

im looking at the lectures from 2020 i think kek

Remember the modular form stuff i sent u banana

it was from this

[vast surge]

The stuff you sent me this morning?

[light needle]

ye

Then i started listening to his infinite galois memes

[vast surge]

(that I still need to go through)

[light needle]

v nice

[vast surge]

Oh also I emailed my professor about the independent study a few minutes ago and then immediately started panicking

[light needle]

oof nice

i signed up for a nt reading seminar

prof still hasnt emailed back

[vast surge]

My prof hasn't emailed back either but I did mine like 30 minutes ago and it's like 7pm right now so if I hear back it'll be tomorrow or Friday

[terse flax]

or u can just go to they home

[vast surge]

Oh my god I only have like 2 more courses to go and I'd have all the prerequisites for a math B.S. If I get the independent study it would be 1 more. And I've only done 2 years.

Nothing below a B, and that was during the covid semester

[clever knot]

what would pre reqs for a math bs be?

[vast surge]

Let me find the specific requirements

[clever knot]

idk just sounds like a weird phrase

are they not just requirements ?

[vast surge]

Yeah I meant requirements

Not pre requisites

They both have the letters "req" in them

Anyway, it's:
Intro proofs
Multivariable calculus
Linear Algebra
Intro Analysis
Abstract Algebra I
3 more math classes at the 200 level or above
2 more math classes at the 300 level or above
2 Compsci Courses
3 more courses from math, physics or compsci that count towards their majors

[modest rune]

some majors do have prereqs to be fair

i think its rare but sometimes major courses have prereqs that aren't part of the major

[clever knot]

i mean i know you have the general education classes but i guess maybe 1 major requires x foreign language credits while another major doesn't require any

but idk if that is even a prereq more so that is just a requirement of the major

[blazing pawn]

did namington have a weeb moment and rename the channel

[modest rune]

more like if a math major didn't require calculus explicitly but all math classes required calculus

[blazing pawn]

Its double weeby to do futatsu instead of ni

[modest rune]

i think my major did explicitly require calc tho

[vast surge]

Plus the geneds

[modest rune]

it was intentional is was the most boring convo ive read

[blazing pawn]

tragic

retvrn

[vast surge]

I've already done intro proofs, multi, linear, abstract, 2 more math classes at the 200 level, intro physics I and this semester I'm in intro analysis, intro compsci and one more 200 level class

[clever knot]

ik you don't get credit for it but surely some people already come in with knowledge of multivariable , calc, or maybe differential equations?

but i guess that just helps you with those classes unless you are some how able to talk the school into letting you take some exam to get credit

or something along the lines

[vast surge]

You can skip ahead of calc 1 and calc 2 if you learned the material already but you can't skip past multivariable as far as I know

And multivariable is a prerequisite for diffeq

[leaden torrent]

honestly

the fact that most anime fans self-identify as "weebs"

and dont think of it as partiuclarly rude

is a great example of the effectiveness of reclamation

[clever knot]

i thought you would only need calc 1 and 2 for differntial equations?

[leaden torrent]

interesting that a similar thing never happened with 4chan's... dubious method of naming things

probably because 4chan is a cesspit that couldnt make anything less offensive if it tried

(and it never tries)

[clever knot]

namington

do you have the knowledge on this

[leaden torrent]

uh brandon

[clever knot]

i mean i guess it might vary by school but do you really need multivariable calc for differential equations?

[leaden torrent]

we used like

week 1 of multivar

very extensively

partial derivatives and shit

but thats it

[clever knot]

hmm

[leaden torrent]

we didnt use any double integrals or stokes' theorems or anything like that

YMMV though

[vast surge]

Yeah we didn't use a lot of multi in my class, just some stuff about vector fields and partial derivatives

[clever knot]

what is the difference between partial diffential equations and the other one?

[leaden torrent]

i have come to learn that my ODE course was very peculiar

[vast surge]

It was still listed as a prerequisite though

[leaden torrent]

as far as ODE courses go

and apparently a lot of ODE courses have you like

actually solve ODEs

[vast surge]

PDEs have partial derivatives, ODEs have ordinary derivatives

[jovial ember]

Partial differential equations are in multiple variables