serious-discussion

[frigid lark]

@dapper current I doubt it actively uses the internet. It "stores" the information. But it will be interesting if new frameworks are released with new problems people face ... will it be able to answer itself just by reading the documentation ect

[dapper current]

right, i simply meant the second part

[frigid lark]

I am curious if it also can act like a wayback machine.

like telling him to only use informations from certain times of the internet.

[dapper current]

i might try a prompt like that later

[alpine comet]

Same, lol

Looks like a scammer

[frigid lark]

I think it even adds the people and leaves the server before the mods can act.

[alpine comet]

I got a bunch others too. "Sending me money through Paypal and getting spoilt immediately"

Ma'am, you should have gone to business majors.

We the math folks are poor af.

[frigid lark]

I am a cs folk lurking in math folks. but dw

Im poor too

[alpine comet]

It's Ok, welcome to the family

You already know too much Math to be rich.

[frigid lark]

did I tell u?

I got a 1.3 for my defense ;_;

[alpine comet]

Holy shit

[frigid lark]

all is missing is the actual thesis to be graded.

[alpine comet]

Congrats

[frigid lark]

Thank you. But I kept it formal

[alpine comet]

For others, in Germany, 1 is the best and 6 is the worst.

[tight comet]

what defense? phd?

[alpine comet]

Bachelor thesis

[tight comet]

is that some first class honors equivalent

[alpine comet]

Yes

[tight comet]

very nice

impressive.

[alpine comet]

I'm still waitin for my defense grade, ughhh

[tight comet]

https://tenor.com/bXqIM.gif

[frigid lark]

I am like 99% being able to continue with masters.

[tight comet]

Are you continuing?

[frigid lark]

wait, when did you finish?

[alpine comet]

Any ideas where?

[tight comet]

They call that a Diplom right

[alpine comet]

A few days before you

[frigid lark]

oii. gl

[tight comet]

Wait in Germany they do bachelor thesis with a defense?

[frigid lark]

Were you German, I forgot.

[alpine comet]

TUM?

[tight comet]

Oral defense?

[frigid lark]

no not TUM. Heidelberg.

[alpine comet]

I'm 🥖, lol

[frigid lark]

I was accepted to TUM too back in the day, but I declined it.

[alpine comet]

Very impressive

[alpine comet]

Chad

[tight comet]

I think Heidel is ranked a bit higher?

[alpine comet]

I'm hoping I'm coming to Germany next year too. Let's hope my German will be good enough

[slow arch]

are they not the same thing 😐

[frigid lark]

I know the city Heidelberg already. Munich is more like xD cold Germans! (dont take me serious), expensive appartments, too far away from parents, much harder, ect ect.

regarding computer science TUM is the best. regarding physics and medicine its Heidelberg.

[woven whale]

nein

[alpine comet]

Heidel is great in CS. But rankings of EU unis make very little sense. They just don't care about advertisements.

[woven whale]

abstract algebra is group, ring, module, field, galois theory

[slow arch]

are you talking about field theory?

[frigid lark]

you do presentation and answer questions by ur supervisor, to proof you know the topic.

[tight comet]

I suppose, but in Germany there's some German excellence uni thing and Heidel's always been in it

[tight comet]

Very cool

[alpine comet]

So are all the well-known names

[tight comet]

Yes they are all pretty good

[slow arch]

isn't that just field theory. why is it called abstract algebra

[tight comet]

Rings are not Fields

[woven whale]

groups are not fields

[frigid lark]

there is 10 excellence unis here. Among others I know the two unis in munich, heidelberg, karlsruhe, bochum?, aachen?, ...

[tight comet]

The prototypical ring is also not the prototypical field

[slow arch]

rings and groups are a part of fields?

[frigid lark]

aachen for sure

[woven whale]

What

fields are a part of vector spaces

so vector spaces are now fields???

[alpine comet]

Saarland? I'm not sure

I remember they're up there on the chart

[slow arch]

as far as i know yes

[woven whale]

??????????????????????????

go troll somewhere else

[alpine comet]

It's true tho, vector spaces are built on fields

[slow arch]

" Everyone i don't agree with is a troll"

Very intelligent you are

[woven whale]

it's more like "everyone who clearly just says blatantly wrong things is a troll"

very intelligent I am for sure

[neat lintel]

Did this place turn into reddit

[woven whale]

apples are fruits, does that mean that fruits are apples

a basket contains an apple, is the basket now an apple

[alpine comet]

My prof convinced me to stay and not to deal with the bureaucracy

[slow arch]

It seems like it. Bro seems like he hasn't left his house in years.
Thinks everyone knows field theory

[alpine comet]

I guess she spoke from her experience

[woven whale]

I have no idea what you're saying at this point

we've told you field theory is not group theory

nor ring theory

[frigid lark]

not in the uni excellence list. Konstanz, Dresden, Bonn, Hamburg, Berlin, Tübingen are the other ones

[woven whale]

nor module theory

but you insist that it is

[alpine comet]

Bonn for Maths, but I don't recall others

[frigid lark]

I thought about continuing in my city, but doing some year in Israel or somewhere if I get support by the uni.

[alpine comet]

Actually Bonn outshines Cambridge in Maths iirc

[tight comet]

Due to MPI Math/Scholze

[alpine comet]

I recommend you to change uni if possible. It's hard, but it's worth it.

[frigid lark]

It does? xD my faculty is also known for being great in maths. we comp.sc. share the building with the mathematicians "Mathematikon".

[alpine comet]

Even before Scholze was a name. I remember reading somewhere that Andrew Wiles complained Cambridge could never be as good as Bonn

[frigid lark]

my first semester is done here. Its chill here, but it lacks many things, many lectures esspecially in master. HD is not good for cs.

[alpine comet]

Tbh, their curriculum is hell scary. I study my ass off, but I didn't dare to join Bonn.

[tight comet]

MPI in the other fields are p good in their respective fields too

[alpine comet]

Yeah, ik. Usually there's no growth if one stays.

[alpine comet]

In bioinformatics, they're Gods.

Like, Gods, I say.

That's why I wanna go to Germany next year. Meeting the Gods is a great honour.

[tight comet]

lol uhh only thing I'll say is, it might not be too healthy to have too much adoration for people in the sciences (not just ppl in sciences, but in general)

But yes there's a lot of impressive people/impressive work

[alpine comet]

Also, it's an ironic story why I learned German, but somehow it becomes useful

🤷

[frigid lark]

I adore the people at the haifa university. Great theoretical cs and cryptographers there. But my uni has sadly no cooperation with them. so idk Im gonna see.

my first semester has to be done in Heidelberg, cus I didn't expect to finish this early. and I can just continue without "real" application my masters. So I have no gap.

[tight comet]

Yeah Israeli CS/Cryptography is insane. Interesting how like I think Hungarian combin is more 'advanced' but they don't take it to crypto except LLL (? correct me if I'm wrong)

[frigid lark]

LLL?

[tight comet]

https://en.wikipedia.org/wiki/Lenstra–Lenstra–Lovász_lattice_basis_reduction_algorithm

Basically Hungarians don't seem to take combinatorics to a cryptographic level

it's very pure... they...count.....things

[frigid lark]

combinatorics is actually pretty important. maybe they just didnt care about the field yet.

[tight comet]

I mean, they are the best in combinatorics typically speaking

[frigid lark]

@tight comet @alpine comet Imma head back to program some webscraper to steal me tickets at the resale, cus I missed the actual sale. enjoy your day/night

[tight comet]

o,o

[dense nacelle]

im dumb.

[alpine comet]

So am I

Got u mate

[brittle socket]

Its discussy what do you expect lol

[storm sage]

LLL is crazy

[frank orchid]

@velvet dagger What did I do to make chat chaotic?

I didn't mean to mess up chat....

Did I do something wrong?

[velvet dagger]

It's chaotic but not bad

[little vine]

I didn't see the whole thing but you didn't do anything wrong

From what I saw

[velvet dagger]

The topic in general invites energy. But that energy is currently controlled

And thus it's fine imo

[frank orchid]

Fair enough.

[frank orchid]

TBH this seems to be how chat is most of the time anyway.

Chat seems to talk about some bizarre abstract algebra property anyway.

[little vine]

I for one like it when there's actual discourse instead of just lulz in discussy

What's the diamond next to my name mean?

@frank orchid @frank orchid there's a book titled literally "Why Buddhism is True." It's more of an agnostic approach to meditation and enlightenment, you'll probably find that the philosophy of Buddhism isn't necessarily tied to a God though a lot of Buddhist may disagree with that. Anyway, it might encourage you to try mindfulness meditation which everyone should do, no matter what religion they are

[frank orchid]

What's going on here?

[reef carbon]

here? hopefully nothing

[crimson nebula]

yeah

[reef carbon]

@crimson nebula so putting aside your tone of voice, which i read as kind of rude,

you're saying that if the graph of a function f: R -> R is connected as a subset of R^2, then it's homeomorphic to R?

that's how i am reading this line:

Now, we can use the usualy notion of open sets on this region being a line segment without its ends,
which is left suspiciously unproven in your argument

[crimson nebula]

first, i am not trying to have a rude tone of voice, just simply trying to explain
second, no it wouldnt necessaily be homeomorphic to R, i am simply saying that in this sense, the notion of connectedness on R2 is simply the notion of continuity on R->R

[reef carbon]

if youre not saying the graph of f is homeo to R then what on earth are you talking about with the "usual notion of open set" lol

[alpine comet]

Closed graph theorem?

[reef carbon]

doesn't sound like it

[crimson nebula]

usual notion of an open set to describe connectedness

not homeomorphisms

at least the course i took defines conectedness from open sets

[reef carbon]

okay, so you're just talking about the definition of a connected set as "inexpressible as the disjoint union of two open sets"

i'm kind of confused what your argument is anymore

you sure didn't go into detail

and apparently i don't even understand your claim anymore

[alpine comet]

While this is true, you might need to specify what the topology is in this context

[crimson nebula]

i already did in the other channel

[reef carbon]

do you still claim that, for a function f: R -> R, if the graph of f is connected, then f is continuous?
is this your claim or is your claim something else?

[alpine comet]

Is it the usual one on R^2? on R? Or the subset topo?

[crimson nebula]

a line segment without its endpoints

my argument is this: suppose a map f:R->R is continuous, then the region {(x,f(x)):forall x in R} is a connected region

[reef carbon]

wait

thats the OTHER way around??

[crimson nebula]

my argument is specifically <->

both ways

[reef carbon]

both ways ok great

but im asking about the other way around

connected graph => continuous

[crimson nebula]

yeah, thats true

[reef carbon]

do you have a proof on hand

[crimson nebula]

i can write one up

one sec

[reef carbon]

so you didn't have a proof all this time

kind of a shame, that

[crimson nebula]

no, its a well known fact

[reef carbon]

is it tho

doesn't feel well-known to me

proving cts => graph connected is easy: if f is continuous then its graph is homeo to R by the map x ↦ (x, f(x))

and since R is known to be connected, so is the graph of f

[alpine comet]

wait, this is true?

Because it also depends on the domain of f

[reef carbon]

f: R -> R

as it has been all along

[crimson nebula]

okay, but i dont keep proofs just laying around, i think its best to memorize this kind of stuff instead of simply holding onto it

[reef carbon]

even if you dont know the proof letter for letter surely you at least recall the general idea or plan

[crimson nebula]

the gist is this, since we may not express the region {(x,f(x)):x in R} as an arbitrary disjoint set, this holds as we get arbitrarily close, therefore the two-sided limit must also lie in this "neighborhood" which also may not be expressed as two disjoint sets

since we may not express the limit as two disjoint sets, the limit must converge to said point

therefore if we contain that point, (which we do because it was given as a connected region), the limit converges and is equal to that point

an immediate result of our rule that the same input gives us the same output

[reef carbon]

since we may not express the region {(x,f(x)):x in R} as an arbitrary disjoint set,

ok you're talking out of your ass

[crimson nebula]

i meant suppose

[reef carbon]

no offense but you sound like a greenhorn undergrad

[crimson nebula]

"no offense but..."

i dont see how its so hard to believe

[alpine comet]

Hohoho, ok, both of you

[crimson nebula]

i also dont see why you need to insult me so often

[alpine comet]

Being an undergrad doesn't mean not knowing math, so pls don't bring it up. We all chase the truth, there's no ranking.

But, on the other hand, things can be trivial for one and not the other. I'm also confused atm xD.

[reef carbon]

this entire thing is confusing the hell out of me

but ok i suppose y'all can and should call me a bitch and a crazywoman for failure to be """civil""" or whatever

[crimson nebula]

i never did

[alpine comet]

I am sensing circular reasoning tbh, like you're trying to force a result out since you know it's right

[crimson nebula]

me?

its just something the second chapter of my topology class went over

[reef carbon]

i didnt say you DID.

[alpine comet]

My man, we all did topo. I barely remembered what I did, last night I had to spend an hour on one sentence.

Things aren't fresh for everyone.

[crimson nebula]

im not saying any of that

all im saying

connected <-> continuous

[alpine comet]

It's all good and well if you wanna bring up intuition, but if it doesn't go well, you'll need to formalise the statement.

[reef carbon]

and all this while i have been calling into question whether the rightward implication is true, and you've not produced a proof thereof.

[alpine comet]

And tbf, I wasn't convinced with your sketch of the proof

[reef carbon]

but no, of course my being a bitch overpowers that.

[crimson nebula]

well, i was going to and you told me to just give me the gist so i did

[reef carbon]

your "gist" was incoherent.

[alpine comet]

Calm down, both of you.

[crimson nebula]

im not really losing my temper over this

im just chilling, really

[alpine comet]

Alright, how about we have 15 mins of break so that Cycadellic can find the proof and type it down, or summarise, or whatever, and we'll come back to this?

This is not helping for anyone involved.

[crimson nebula]

i suppose -> is not necessarily true as we could think up some crazy function that doesnt satisfy continuity

(x,sin(1/x)) i suppose would be connected yet not continuous

[alpine comet]

Ah ha, now you see

[alpine comet]

I think this is the textbook example. I saw this function twice, but never recall that it exists.

[crimson nebula]

Okay well

Suppose we were locally compact

Then <->?

Compact*

[alpine comet]

I guess if f has compact domain, then it's all good

But it's just my feeling. We always need proofs when it comes to topology.

[crimson nebula]

Yeah

Cause topology has to be the quirky one ig

Almost never intuitive

[alpine comet]

Well, it is in many cases, and that's why I fell in love with it.

But it's a bitch sometimes.

[crimson nebula]

Do you know anything past point-set?

[alpine comet]

I know some about algebraic topology, but in noooo ways am I an expert.

[crimson nebula]

How is that one?

Heard its got even longer proofs to do

[alpine comet]

Fun, lots of fun. You deal less and less with sets and the boringness of sets.

[alpine comet]

It's more complicated. You'll need your intuition at its best. But it's also really enlightening.

[crimson nebula]

How does it even work if it does away with sets?

[alpine comet]

You abstract everything.

[crimson nebula]

But like, my understanding is thing<->set

At least in an unrestricted comphrehension

[wanton coyote]

TDA is neat

[alpine comet]

Yes

[wanton coyote]

we abstract the simplicial complex

[alpine comet]

It's one way to see it, but it's good to see things in a different way. I see thing as objects (technically manifolds or surfaces).

[crimson nebula]

Necessarily?

Like boolean objects too?

[alpine comet]

Well, believe it or not, yes 😄

[crimson nebula]

What does connectedness even mean to {t,f}

[alpine comet]

It's just that I have strong geometric intuition. One of the many great things I have from HS days.

[crimson nebula]

Or, are we generalized past connectedness here?

[alpine comet]

{t, f}?

[crimson nebula]

The space of simply true and false

[wanton coyote]

there's connectedness in the boundary sense and connectedness in the path sense

[alpine comet]

Well, you can still apply the discrete topo, but it's next to useless in this case

Then the connected components are singletons

[crimson nebula]

Yeah i suppose

What are the prereqs for algebraic top

[alpine comet]

Algebra and point-set topo

But, it's really useful to have tensor algebra, differential geometry, and graph theory under your belt.

[crimson nebula]

Yeah, i was gonna say i see tensors all the time when i see it

[alpine comet]

They give good examples

Also many definitions stem from that. All those vector bundles, for instance

Wait, that's diff geo, lol

Ok, curvilinear complexes. Now that's homotopy theory.

[crimson nebula]

No clue what that means

I know what curvilinear means

[alpine comet]

It's an abstract simplicial complex, where the straight lines are curvy.

[wanton coyote]

alpha-shape complex and alpha complex are same thing right

[alpine comet]

Basically it's when you have an homeomorphism between a simplicial complex and a topo object.

[alpine comet]

No clue mate 😄

[wanton coyote]

fuck

i'm pretty sure they are

[alpine comet]

I'm not an expert on this

[crimson nebula]

Gonna be really honest

You lost me at simplicial complex

[wanton coyote]

simplicial complex is like, triangles and shit

[alpine comet]

Think of simplexes, but glued together

[wanton coyote]

^

or just

floating around

but you call that 'set' a simplicial complex

[crimson nebula]

Ok

So just

A set of then is a simplicial complex

[alpine comet]

This is where you approximate a hair strain by a line, a disc by a triangle, and a ball by a tetrahedron

[wanton coyote]

i.e. if you have vertices 0 1 and a line connecting them, that's represented as

{0, 1, {0,1}}

[alpine comet]

Lmaoo, Idk if you wanna go down that path

[crimson nebula]

So i guess this is motivated by the trapezoidal way to approximate integrals?

[wanton coyote]

uhh

[alpine comet]

No, it's simpler than that

It's motivated by that you can approximate circle by polygons.

[crimson nebula]

Yeah

Kind of the same thinking there tho

[alpine comet]

But here you don't have the notion of area example

Just the idea of the general shape

[crimson nebula]

Yeah of course

But i had the biggest use in top is to generalize the integral

[wanton coyote]

it extracts the topological properties of the shape

[alpine comet]

What? Lmfaoooo, no

[crimson nebula]

Interesting

[alpine comet]

The biggest use is to detect holes

[wanton coyote]

^

[crimson nebula]

Yeah

I know

I did point set

Ive just heard that the higher level top can do that, so i just took it at that

[alpine comet]

You can sort of justify Stokes' theorem with algebraic topo via de Rham's correspondence, but it's not the main interest.

Holy hell, it turns out I do know some math after all

[crimson nebula]

Wildin

How long have you been studying, im curious

[alpine comet]

I'm in my final year of undergrad

So, 3y

[crimson nebula]

Interesting

Final year for me is 4

Howd you learn alg top in undergrad?

[alpine comet]

EU is quirky sometimes

[alpine comet]

Oh, we don't have classes on those fancy things. I study by myself.

[crimson nebula]

The highest my college offers is calc of variations and matrix theory

Right

How long have you been doing that

[alpine comet]

Uh, since forever?

Classes are boring anyway

[crimson nebula]

I agree

I am a freshman

[vagrant ocean]

I am waiting for this feeling to happen to me.

[leaden torrent]

@glacial glacier no unsolicited ads.

[neat lintel]

how much math is considered to be "grad level math" for the g+ role?

[vast surge]

I think it's basically just, if you're doing anything beyond the "standard" undergrad curriculum.

There's definitely upper-level undergrads in g+

[neat lintel]

any good math people here

[vast surge]

Unfortunately, I don't think so.

[neat lintel]

oh that’s bad

nobody will help me in the help thing so i am sad

[vast surge]

Which one are you in?

[woven whale]

I was rejected from g+

[neat lintel]

[neat lintel]

what does the application process consist of?

[tall minnow]

be someone who studies graduate-level maths

[alpine comet]

Be good

[neat lintel]

I don't ask who qualifies

what do they do to determine if you study graduate level math or you "are good"?

for example

they might do an online interview

or

give a test

[vast surge]

When I applied it was just one question, "what math have you done lately" or something, and I just listed some math that I've done that was beyond the curriculum of the standard undergrad curriculum

[alpine comet]

I'm pretty sure things I listed are in standard undergrad in some uni, so there are no hard and fast rules

[neat lintel]

a honors course at some top university

yea they're a different breed

[alpine comet]

I never get that honour system either, kekw

[winged token]

how do i get g+

[vague lion]

you know, there's a great joke about non-constructive proofs

[bright hill]

wtf is the hospital scene from evangelion

I made up my mind, I'm not watching that shit

I don't care about being spoiled

why do I keep seeing that scene mentioned?

I regret everything

this isn't even funny

I thought it would be

[open aspen]

[zealous garden]

NO! There is no hope

[bright hill]

Join the pre-uni gang

🗿

[vast surge]

I don't think it's appropriate to describe it here. It's a massive low-point for the character, and something he spends the rest of the time hating himself for, (Shinji is not a good person) but I totally get it if it's something you just don't want to deal with. Something similar happened fairly early on in Lord Foul's Bane which made me quit that book.

[zealous garden]

I feel I must watch Evangelion now, it must be good if it has a scene that makes people quit

[zealous girder]

is anyone not weird here

omg @zealous garden hai

[zealous garden]

Hey @zealous girder !

[zealous girder]

how. r u

u hav to answer me so i can talk about myself

[languid egret]

🤨

[zealous garden]

I'm alright I suppose, having some motivation and energy struggles lately.

[zealous girder]

aw

what’s up

in general

[zealous garden]

I'm not entirely sure I just feel exhausted in my day to day

And I keep trying to pull more out but it's just fumes

[zealous girder]

ill ask before i say anything

do u wanna just tell me about it or do u want me to like say a possible idea to fix it

bc i usually do the wrong one here lol

[zealous garden]

Emotionally I'm good, but the motions are a real drag at the moment

You can do whatever you want, I don't expect anything from you or for you to hold anything back

[zealous girder]

oki oki

what do u do on a day 2 day?

[zealous garden]

At this point, I go to work, get home, I'll shitpost and read papers for maybe half an hour to an hour before I fall asleep

[tiny bison]

Hey guy, I have a big end of year test coming up and I’m having trouble remembering all the old stuff we’ve learned, how do you guys deal with that?

[zealous garden]

Pass out is more accurate

[tiny bison]

I’ve been stressing

[zealous garden]

Then I'll wake up a few hours later, spend a good bit actually waking up, get dinner, and get ready for bed so I can make it to work in the morning

[zealous girder]

hm

let me like. contemplate

[zealous garden]

And nowhere in all the sleeping do I seem to get enough energy to make it through a whole day

[zealous girder]

what’s ur work actually

[zealous garden]

I'd rather not say, but it's lightly physical

I'm on my feet a decent bit, but not a lot of heavy lifting

And there's plenty of time to sit too if I need to, but I usually don't

[vast surge]

Hello

How is everyone's day, here in discussy 2?

[zealous garden]

Pretty alright day

I wish I got more done

[zealous girder]

sorry i

disappeared

[zealous girder]

like heavy lifting

[zealous girder]

okay okay

i’ve been here

how long is a work day

[zealous girder]

chill

[zealous garden]

Typically 5-9 hours

[zealous girder]

i’m vibing to my second favorite music artist

[zealous girder]

9 hours of physical labor is insane??? wtf lmao

[zealous garden]

No it's not?

[zealous girder]

it is to me

idk

well

depends how intense

if it’s light maybe not

[zealous garden]

12 hour work days aren't abnormal

[zealous girder]

well yea not for physical labor

but anyways

it doesn’t sound too long

just a bit wild for like, factory shit

[zealous garden]

It's not, that's what I find perplexing

[zealous girder]

i mean i worked in a food processing factory once for 8 hours and i was found passed out on the job

[zealous garden]

If I were working long days at a physically exhausting job I'd understand my general exhaustion most days.

[zealous girder]

yea

well

5-9 hours probably isn’t too bad but i understand why you’d be exhausted anyways

it’s labor

[languid egret]

I worked 16 hours once 😜

[zealous girder]

hm

well i don’t want to be like

the guy who recommends a medication!!!

but i’m going to be anyways

have you ever tried any sort of sleeping medications like

and if so do they help

[zealous garden]

I could probably still run 3-4 miles too, like I physically have the energy, if that makes sense.

[zealous girder]

no yea i get it

some physical exhaustion but mostly mental?

[languid egret]

I have the same problem. I sleep 8-9 hours but still low energy. I have Apple Watch now and I know the problem I have is my body can’t go into deep sleep. I’m stuck in REM or light sleep most of the night. I only get 20 percent of deep sleep I need

[zealous garden]

Not really, I've used melatonin at most whenever I was in high school

[languid egret]

@zealous garden

[zealous girder]

well

id say to maybe? give it a try

up to you

it helps me some

[languid egret]

So basically my body can’t switch to deep sleep

[zealous girder]

like, it’ll make me have more energy after i wake up

like you’ll still be tired right when you wake up

but not throughout the day

at least

well i shouldn’t say you will be

[languid egret]

Light sleep and REM sleep is all I get and that’s not enough

[zealous garden]

suasua

[zealous girder]

but i was

was wa

swaswaswab

[languid egret]

That might be your problem too @zealous garden

[zealous girder]

if u want to feel mentally awesome say some cool sounds

such as toinkus

[zealous garden]

That sounds very plausible jigglypuff

[zealous girder]

or

[languid egret]

I’m getting a sleep study

[zealous girder]

flwonka

and such

[languid egret]

There are medicines that help you to get into deep sleep but doctor wants to make sure

[zealous garden]

I will say my sleep is not always of quality, and lately disrupted

Not every night but many nights

[zealous girder]

deep sleep is a lie made by big sleep to sell more

thing

[zealous garden]

Nah, I used to plan my sleep and alarms to sleep cycles and it was great for like the month I managed it

[zealous girder]

honestly i wish alarms worked for me so badly

i just cannot do it for some reason they just don’t wake me up

what i’ve done to solve it

i call my gf and she screams at me in the morning to wake me up

[zealous garden]

They wake me up, but the me that wakes up refuses to listen when I tell him to get up

[languid egret]

Do you wake up from your sleep a lot? Does a subtle noise wake you up? @zealous garden

[zealous girder]

😭

[zealous girder]

ooh wait

something that can maybe work

but maybe also is a bad idea

have something you REALLY REALLU REALLY need to do right as you wake up

like idk

sometimes i’d take my retainers out at night so i’d freak out in the mornings and be awake immediately

😭

maybe something silly like this could work?

[zealous garden]

Idk if subtle noises do, but I often wake up thirsty or to go to the bathroom, and I rather often (1-4/10) wake up very early and can neither fall back asleep nor coax myself out of bed

[zealous girder]

like i’m just pulling some shit out of my ass here but idk

[languid egret]

I’m pretty sure that’s your problem too @zealous garden light sleeper

[zealous girder]

there’s also like noise cancelling headphone if you want

personally make me uncomfy

coukd definitely see it working for some

[zealous garden]

Hmm

My solution is to quit my job and move to a different city

Then the novelty of my new every day life will short circuit my ADHD and everything will be fine

[zealous girder]

average netflix show

what kind of city do you live in and where would you go

[zealous garden]

I just want the energy and motivation to do more math and CS

[zealous girder]

i do not have ethical solutions for this

[zealous garden]

erdösmaxxing

[zealous girder]

you need to pythagoramaxx

[torn willow]

I believe that's a thing that happens

[zealous girder]

just be homeless

it’s awesome

i promise being homeless is really cool. nobody tries to stab you

[torn willow]

I honestly love breaking down the bullshit my cs profs do

[zealous girder]

or so i’ve heard

[torn willow]

And extracting the important parts

[zealous girder]

your cs professor is being funny

[zealous girder]

also unironic maybe weird dumb stupid you shouldn’t even consider solution

live in a portable home

novelty is definitely not a bad thing

[languid egret]

I’m graduating in a month

From DS and DF double major

[zealous girder]

awesome

i’m not

[languid egret]

😆

[zealous girder]

i am but a. college freshman

[languid egret]

Noice

[languid egret]

I’m a data science and digital forensics student

[zealous girder]

cat

[zealous garden]

You can get a lot by exploiting ADHD

[zealous girder]

i do Numba Theoy

and Linguism

and a little Computa Scient

[languid egret]

I do a lot of Machine Learning

[zealous girder]

and possibly some Bugs

[languid egret]

And Artificial Intelligence

[zealous girder]

and maybeeeeeeeeeeeeeeeeeeeeee sometging communism

but it’s a. secet

[torn willow]

Like we had a "RE to DFA" conversion algorithm

It was full of useless bullshit

So I just cut down 90% of algorithm and used only the important parts

[zealous girder]

this is usualy what i try to do

take anything that means anything as literally as possible

and just ignore the rest

[torn willow]

Well that has been my problem with my cs algo class. It's just complicating things that could have been written in a simpler way

And also useless work

[winged token]

r

[frank orchid]

I'm trying to memorize my notes(for a class) so I can do my final exam.
The final exam is in 22 days, but my issue is for about 3-4 days I tried memorizing my notes and didn't get the results I desired. I ended up memorizing like 21 notes but not fully why is this?

I tried you know reviewing it over and over again I did active recall and everything, but I can never memorizing everything perfectly do I just have to keep going?

[neat lintel]

599-942-0990

[frank orchid]

?????//

[vagrant ocean]

Why memorize notes? What class? Just practice problems.

[neat lintel]

what is this like history

[torn willow]

Yeah it's a business subject

So it's worse than history

[frank orchid]

Well the problems are papers and questions.

The exam is questions so yea i'll do papers but the issue is questions.

[vagrant ocean]

I don’t know what “papers” and “questions” means. Do you mean the questions on the exam are just you knowing arbitrary facts? And they are not related to you solving problems?

[quasi phoenix]

usually chemistry involves just memorizing random reactions and orders, at least high school chemistry

[neat lintel]

can anyone teach me pre cacl or help me clear my doubts?

[neat lintel]

nah man its intrestin

except for some

[winged token]

omg

[uncut socket]

@crimson nebula And like mentioned, it's better for the OP to show their work, due to the fact that they could be asking for the step by step work and just copying what you have

[crimson nebula]

Alright

[cyan goblet]

real

[neat lintel]

a

b

[neat lintel]

i put a new 40 on da jep

[wind pollen]

I need some advice; currently I’m a junior in high school, and am taking Calc 2.
My plan was to take calc 3, stats, and a business class (deals with accounting stuff) over the fall. Then over the next year’s spring, I would take linear algebra and differential equations.

I learn today that for my college, linear is a pre req for differentials, so I can’t take both at the same time. I can change stats and linear, however is taking calc 3 and Linear a good idea? keep in my mind that I’ll also be doing college apps during that same semester...

[woven whale]

it's not that much

[wind pollen]

taking linear and calc 3 at the same time?

[woven whale]

yeh

is it proof based linear algebra or computational based

[wind pollen]

Honestly not completely sure, but I think it’s computational

[regal night]

Certain parts of calc-3 and linalg overlap. And an understanding of certain [introductory] parts helps with calc-3 concepts. And they're often taken as corequisites, so it shouldn't be a problem.

[wind pollen]

but that with college apps, is that still doable?

[regal night]

Depends on the course rigor. I have no clue wht a hs linalg course might look like.

[haughty lintel]

you can prolly do apps over the summer

well, at least get a good portion done

[wind pollen]

it won’t be from a hs, it’ll be from a community college

[wind pollen]

that’s true

[regal night]

well even college courses sometimes differ in terms of rigor. is there a way for u to access the course syllabus?

[lavish slate]

If space-time had a mobius curve, what would causality be?

[frank orchid]

This is information management 2 the questions are about business knowledge.

[vale plover]

there's a dude at my college selling the feynman lectures on physics for $124.95

[tall minnow]

sounds overpriced and useless

[fossil bolt]

It’s free online…

[rapid briar]

[winter shore]

Bro thinks he can get me to listen to him talk about a boat for 124.95

[wind pollen]

that's true, and no, I don't have access to the syallabus

[barren niche]

Does anyone have the formula for basic rates

[fathom swallow]

gnu

[vast yacht]

Yeah im not gonna tell u tho

[split pawn]

lol

[neat lintel]

it's free online lol

It's also free if you use some street smarts

[jolly cradle]

Hi

What alternative is there to smoothdraw 3

Its pointer is buggy
Smoothdraw 4 and onenote don't produce smooth lines

[jolly cradle]

Terribly jagged

[jolly cradle]

The best I can do is $0.05

[brittle socket]

Tikz

You can zoom as much as you want and it will still appear smooth

[fiery stirrup]

Hello, I´am very desparate about Maplesoft. Can someone go on call with me and help? I need basic things but I can´t find online help.

[split pawn]

Which app exactly

[frank orchid]

When it comes to the prestige movie or Bordon the bad guy? I’m not sure as the better twin does seem to show love to his wife, but the trick seems to cause him to almost commit adultery. Was Bordon really the hero of this movie or the sympathetic villain?

[jolly cradle]

Eh

I've started with krita

Tho it's bothersome to get a brush for normal writing and not calligraphy

[shut ermine]

I thought all the characters here were kinda grey

[tall minnow]

onenote is for note-writing

it's a different concern from drawing

[vocal jewel]

Math became so boring

I don't want to hear about the Basel problem anymore

[crimson nebula]

[vocal jewel]

I will make nightmares about it

Anyways

Who is the smartest mathematician for you ?

[alpine comet]

Who wants to stay in Basel anyway? Let's go to Konigberg

[crimson nebula]

smartest?

uh

[vocal jewel]

Pay me

[crimson nebula]

no clue

[vocal jewel]

And I come

[crimson nebula]

i know euclid, archimedes, and euler were wildin tho

[alpine comet]

smart is not a good word

[vocal jewel]

Euclid

[crimson nebula]

especially euler

[vocal jewel]

Sorry Einstein

[crimson nebula]

dude was nuts

[vocal jewel]

What is a good word

[alpine comet]

Diligent, creative, stubborn. Anything but smart.

[crimson nebula]

there is this joke

[vocal jewel]

Euclid and Archimedes were not that smart

[crimson nebula]

usually they name theorems after the second person to prove them because usually euler is the first

[vocal jewel]

Diligent*

Like everyone who study math can do what they did before

Is my sentence correct ?

[alpine comet]

Yeah, but they were the first.

[crimson nebula]

well

[vocal jewel]

I can't even speak clearly

[crimson nebula]

we all are capable of doing it

[alpine comet]

Just because it's straightforward doesn't mean it's easy.

[crimson nebula]

thats how you can learn it

[vocal jewel]

You seem to be a chess pro player

[crimson nebula]

we take many concepts in math for granted

wanna know a really hard problem?

[vocal jewel]

Show me

[deep mango]

Archimedes was a total ding dong

Euclid was smart though. At least as smart as those IMO kids

[vocal jewel]

Who is Archimedes tho

[crimson nebula]

how do we find a method to make objects that have a start and never end? we want these concepts to mean the exact same thing in all contexts so no confusion arises

[vocal jewel]

What did he do

[vocal jewel]

Objects ?

[crimson nebula]

yeah

we need this kind of thinking to verbally communicate quantity

basically

[deep mango]

Uhhh... Archimedes principle states... uhhh

[crimson nebula]

thats what numbers do

but

[vocal jewel]

Any kind of objects ?

[crimson nebula]

think about how hard that problem is to solve

any object

as long as we can start then never stop

[vocal jewel]

Oh yeah maybe

I didn't even know

[crimson nebula]

and each of them needs to be different than all the others

all the other infinitely many

more than 4k years ago someone had to solve this problem

[vocal jewel]

I don't understand what do you mean by "an object that never stops"

[crimson nebula]

numbers

[vocal jewel]

Oh

[crimson nebula]

how do we make a system of numbers basically

[vocal jewel]

I thought you meant objects

Like

A hand spinner

[crimson nebula]

lol

[vocal jewel]

A chair

A table

Idk

[crimson nebula]

mathematically, its only the amount that matters

thats why we can say 1=true and 0=false

[vocal jewel]

Yeah

[crimson nebula]

then by this rule * is and

[vocal jewel]

Aren't the reals numbers already infinite?

[crimson nebula]

yeah

but

[vocal jewel]

So what is the problem

[crimson nebula]

its a bigger infinity

[vocal jewel]

Oh

[crimson nebula]

oh earlier?

[vocal jewel]

Wait what

[crimson nebula]

i was talking about how we take numbers for granted

earlier

its actually a very hard problem to solve

but since we all know how to do it, it seems obvious

[vocal jewel]

Oh

It looks like a philosophical question

[crimson nebula]

well

i mean

math has to start at philosophy

consider true

to make math we need definitions

things we say are true

how do we define true?

well, we cant

without true statements, we cant make definitions

[vocal jewel]

You want me to define true ?

I think I can

[crimson nebula]

true cannot be defined mathematically

because we need true statements to make a definition

otherwise there is no guarantee the definition is a true definition

[vocal jewel]

Oh in maths

[crimson nebula]

yeah

[vocal jewel]

I thought you meant true like idk

True=1

Like when I have L=[3,8,9]

Saying L[1]==8

Returns True

[crimson nebula]

exactly

[vocal jewel]

So true can be defined as the accordance with fact or reality without fabrication or exaggeration

Wait I'm going too far

[crimson nebula]

we can say that that statement is equivalent to true

right

but

not even necessarily

[vocal jewel]

I'm totally crazy

[crimson nebula]

why do we care about reality when were on paper?

[elfin hatch]

Truth is when a statement corresponds with reality

[crimson nebula]

the real mathematician just always accepts axioms as true

no matter how crazy

[elfin hatch]

Do not get so caught up in the specifics of measurement that you forget what you're measuring

[vocal jewel]

There are false axioms tho

[crimson nebula]

no

cannot

[vocal jewel]

Oh yeah no

There is no false axiom

[elfin hatch]

It depends

on how you define axiom

[vocal jewel]

Because then, we cannot call it an axiom

[crimson nebula]

we have to define axioms true

we have to start somewhere

[elfin hatch]

An axiom may be defined as a self evident principle that is not empirically verifiable but is simply held to be true

[crimson nebula]

yeah

[surreal sapphire]

[elfin hatch]

e.g. 2+2 = 4 cannot be proved, but is self evident

[crimson nebula]

it can

if we assume at least some statement is true

[elfin hatch]

how can it

[crimson nebula]

depends

[surreal sapphire]

what

[crimson nebula]

we can do peano

[surreal sapphire]

2+2=4 can very much be proved

its not an axiom either

[vocal jewel]

Every theory can be proved

[crimson nebula]

we need to make the counting numbers in voneumann

[surreal sapphire]

but also axioms can be proved

[elfin hatch]

hmm I haven't learned anything about peon

[vocal jewel]

But every practical experience can't be proved

I'll show you a simple example

[crimson nebula]

nope, godels incompleteness theorem says otherwise

[vocal jewel]

You take 2 apples

[surreal sapphire]

this is self evident

[vocal jewel]

1 apple + 1 apple = 2 apples right ?

[crimson nebula]

theres the von nuemann ordinals

[vocal jewel]

In theory

[crimson nebula]

lets be more clear

lemme teach you

[vocal jewel]

But in reality

[crimson nebula]

{} empty set

[vocal jewel]

1 apple + 1 apple isn't equal to 2 apples

[crimson nebula]

{{}} different set

[elfin hatch]

I do not understand most of this 😭

[crimson nebula]

{{{}},{}} different set

[surreal sapphire]

this is my point

this is an axiom

it is not self evident

[vocal jewel]

The new Euler

[crimson nebula]

this isnt my idea

[surreal sapphire]

axioms are more chosen for utility (at least nowadays)

[crimson nebula]

this is how von nuemann did it

[elfin hatch]

To those who understand it, it is self evident

[surreal sapphire]

no

[elfin hatch]

analogously to those who speak it's language

[surreal sapphire]

i understand this fine

i have no opinion on its validity

but its useful and i prefer doing math with it

[vocal jewel]

It's not that complicated tbh

Even me

I understood it

Me

Can you imagine

[crimson nebula]

@vocal jewel heres the idea
S(x)=x+1 = x union {x}
this means
0={}
1={0}={{}}
2={0,1}={{{}},{}}
3={0,1,2}={{{{}},{}}},{{{}},{}}}
...

[vocal jewel]

Yeah I get u

[crimson nebula]

now we say 0 is in N0, that is a counting number

[vocal jewel]

Wait no

I don't

Oh yeah yeah

It's good

[crimson nebula]

and we say if n is in N, S(n) is in N

in these three definitions, we have defined all numbers

[vocal jewel]

You mean

That 1={{}}

[crimson nebula]

yeah

[vocal jewel]

1+1=2
Means that
{{}}+{{}}={{{}},{}}

[crimson nebula]

mathematically we just care about quantity, this doesnt mean we can exactly replace them

its an isomorphism

[vocal jewel]

Too complicated

For no reason

I think I'll keep my 1+1=2

[crimson nebula]

basically it keeps the structure but we cany plug it directly in

although we can if you want to

[vocal jewel]

I don't understand this term

I don't know what it means

[crimson nebula]

thats fine

i can explain

suppose i had two sets {a,b,c} and {1,2,3}

they are the same size right?

[vocal jewel]

Yeah

[crimson nebula]

i can make a rule that says
a~1
b~2
c~3

so now

i can do a+b=c

[vocal jewel]

Yes

[crimson nebula]

it keeps everything all the inital numbers had

all the structure

it works in the exact same way

but we clearly know that a and 1 are actually different

one is a letter the other a number

[vocal jewel]

It is how numbers work for u ?

[crimson nebula]

but by the rule, they are in a sense =

[vocal jewel]

In your point of view

[crimson nebula]

thats the axiomatic approach

[vocal jewel]

Ok

Lemme expose you

My axiomatic approach

Can I ?

[crimson nebula]

go for it

[vocal jewel]

Suppose we have 2 balls

In theory

We have 1 ball + 1 ball = 2 balls

Right ?

[crimson nebula]

right

[vocal jewel]

Let x be the first ball

And y the second ball

We have x+y=2x or x+y=2y

Right ?

[crimson nebula]

right

[vocal jewel]

In theory

But

In the real life

It doesn't work

Because the x ball

[crimson nebula]

thats because + abstracts past the meaning of distinguishing the balls

• has no concept of the balls being different in this context

[vocal jewel]

ball x can be one atom less than ball y

And it won't be correct

[crimson nebula]

its simply a statement about quantity

not quite

remember

actually

define your +

[vocal jewel]

I'm talking about real life right now

[crimson nebula]

how does + work to you

in this context

not to you

this ball context

define +

[vocal jewel]

• is an addition

[crimson nebula]

right

[vocal jewel]

We add the 2 balls

[crimson nebula]

then + only cares about the count

likewise 2 is the same way

2*

they only tell you the count

not that you have 2 x balls

rather that you have 2 balls

which 1 ball was x

so x+y=2x works

if we wanted + and 2* to care about the style of the ball, we need to add that structure

or the specific ball

one way is to use ordered sets

[vocal jewel]

Wait what

Ok I'm lost

[crimson nebula]

well thats how i would do it axiomatically to make the + and 2* care about what specific ball it is

call ball 1 (1,0) call ball 2 (0,1)

let (a,b)+(c,d)=(a+c,b+d)

now your + cares about the type of ball

[vocal jewel]

You have a perfect interpretation of the axioms

[crimson nebula]

set theory is useful like that

[surreal sapphire]

at some level mathematics is just a formal symbol manipulation game

[vocal jewel]

I couldn't even do it

[surreal sapphire]

it doesnt care about "real life"

[vocal jewel]

Everyone

[surreal sapphire]

it makes no statements about real balls

[vocal jewel]

But who cares about "math life"

[crimson nebula]

exactly this

[vocal jewel]

Wait

I don't know which unit do you use

To count water for exemple

[crimson nebula]

you have to make one

[surreal sapphire]

thats a physics issue

not a mathematical one

[crimson nebula]

are we counting particles or volume?

[vocal jewel]

I mean

In the real life

In your water bottle

[surreal sapphire]

then its an engineering problem

[crimson nebula]

so, volume and mass

well

[vocal jewel]

It's written 1 fl Oz ?

Or 1 what

[crimson nebula]

i would do volume and mass

[vocal jewel]

Like what is the unit that you use to count water

[crimson nebula]

cause volume changes at temps

[vocal jewel]

In physics

[crimson nebula]

im not sure if this necessarily applies to incompressible fluids tho

[vocal jewel]

Forget it

[solid snow]

liters or m^3

[vocal jewel]

Where are you from sir @crimson nebula

[crimson nebula]

us

[vocal jewel]

It's too complicated

It's currently 11pm

For me

[crimson nebula]

lol

go to sleep

[vocal jewel]

I think I'll go

I need to sleep

[crimson nebula]

gn

[vocal jewel]

I'm tired

[vocal jewel]

Thank you sir

What time is it for u

[crimson nebula]

5

pm

[vocal jewel]

Eh

You're good

Like

Anyways

Good night

[ocean harbor]

same here

[crimson nebula]

@stoic barn i noticed the minus last second

[stoic barn]

ya

[crimson nebula]

We need complex numbers

y has to be imaginary to get the -y^2

[fathom tendon]

Do any of you guys have it where each step in a proof is intuitive and makes sense, but the connection of the beginning and the final result don't seem intutitve

Like for example, we proved the cosine form for a dot product in my math class today, and each step made perfect sense and were intuitive. But it still doesn't make much sense in my brain how (x_1 * x_2) + (y_1 * y_2) = |v||w|cos(theta)

[river moon]

wdym "proved the cosine form for a dot product"?

it's the definition of dot product

[slow arch]

prove it

[river moon]

later you prove that actually in the orthonormal basis the dot product also can be computed using the sum of pairwise products of components, it's not the definition of dot product

[zealous garden]

I feel like that depends on where you get it

[fathom tendon]

Oh in the textbook that my class uses, it began with the sum of products definition in one of the early chapters and now it used that to show the cosine form

[river moon]

well the sum of pairwise products is not the scalar product if you change your coordinate system from standard one to something else

it relies on the fact that each vector has it's basis decomposition and standard basis is orthonormal meaning each basis vector is orthogonal to the rest, you get some expression that depends on the coefficients of vectors v, w and scalar products of your basis vectors

scalar products of basis vectors either work out to be 1 or 0 which simplifies a ton of things and you get your sum of pairwise products of coordiantes, but it's not the case in a different coordinate system

[fathom tendon]

Ov that’s a lot of big words lol

Yeah it’s just a hs precalc class so I guess the vectors we are working with fit those things

[little vine]

It's law of cosines

[zealous garden]

The big issue with trying to define the dot product from coordinates is you need an orthonormal basis to make it easy like that, but you use the dot product to define orthonormal

[fathom tendon]

What’s orthonormal

[zealous garden]

Orthogonal (cos = 0) and normal (magnitude = 1)

[burnt dune]

orthogonal and normal

[fathom tendon]

Ok, our textbook just gave us the dot product from the sum of products basically as an axiom lol, it didn’t explain it, or we skipped over that and didn’t see it

[zealous garden]

So two nonzero vectors are orthogonal iff the dot product is 0, and a vector's magnitude is (the square root of) the vector dot product with itself

[fathom tendon]

Wait why do you need the second part of that

[river moon]

$(a,a) = |a||a| \cos(0) = |a|^2$ therefore $\sqrt{(a,a)} = |a|$

[fathom swallow]

Transparent_Elemental

[rocky shuttle]

Given a dot product, the cosine form you mentioned is actually just the definition of the angle theta between two vectors.

[simple tree]

Does $\mathbb{P}$ generally have a more specific definition than "the space of all polynomials"? Is there a specific standard basis with this notation?

I am grading for a linear algebra class, and I don't have access to their textbook.

[fathom swallow]

Carl

[simple tree]

oops, didn't mean to TeX the whole thing

[brave leaf]

Well I can answer one question: it does the whole TeX thing for your entire message if you include ",tex" at the beginning of your message or if you include any sort of math mode, for your other question, well.... yep it is one of the questions of all time 😃👍 try going to a help channel then you'll get some people who can help more than my incompetent self could

Also don't barge into a random help channel just paste your question into and open one like #help-24 or smthn

@simple tree

[deep mango]

I don't think there's a standard basis, but you could consider the monomial basis I guess ({1, x, x^2, x^3, ...})

@simple tree

However, packaging this basis with mathbb P is probably not a good idea because there turn out to be many extremely important polynomial bases

(the various sequences of "orthogonal polynomials")

[simple tree]

Alright, sounds good. Thanks!

[neat lintel]

I am severely annoyed you didn't use bra ket notation

$\langle \psi | \psi\rangle = |\psi|^2$

[fathom swallow]

whatevermanjustcallmeanything

[tall minnow]

bra-ket is for physics people who don't know superior linear algebra or riemannian geometry notation

[neat lintel]

I like physics idc

[fresh stag]

imagine being anti linear in the first entry 🤮

[neat lintel]

Phy superior

[neat lintel]

Cope

[brittle socket]

At least have some courtesy smh

Oh well its discussy, im not surprised at the presence of these people

[slow arch]

how do you take the logarithm of 4e^x

if you want to get x

is it just

[brittle socket]

!help

[quasi jetty]

Please read #❓how-to-get-help

[slow arch]

No

[brittle socket]

Read channel description then

[slow arch]

I can't read